PolyCleaner: Clean your Polynomials before Backward Rewriting to verify Million-gate Multipliers

Nowadays, a variety of multipliers are used in different computationally intensive industrial applications. Most of these multipliers are highly parallelized and structurally complex. Therefore, the existing formal verification techniques fail to verify them. In recent years, formal multiplier verif...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) S. 1 - 8
Hauptverfasser:	Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.11.2018
Schlagworte:	Adders Algebra Computer architecture Computer science Explosions Logic gates
ISSN:	1558-2434
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!