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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) S. 1 - 9
Hauptverfasser:	Drechsler, Rolf, Mahzoon, Alireza
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 29.10.2022
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!