Polynomial Formal Verification: Ensuring Correctness under Resource Constraints : (Invited Paper)

Recently, a lot of effort has been put into developing formal verification approaches by both academic and industrial research. In practice, these techniques often give satisfying results for some types of circuits, while they fail for others. A major challenge in this domain is that the verificatio...

Celý popis

Podrobná bibliografie

Vydáno v:	2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) s. 1 - 9
Hlavní autoři:	Drechsler, Rolf, Mahzoon, Alireza
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 29.10.2022
Témata:	binary decision diagrams complexity Computer architecture Design automation polynomial formal verification Scalability symbolic computer algebra Task analysis Time complexity Tutorials Upper bound
ISSN:	1558-2434
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!