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

Celý popis

Podrobná bibliografie

Vydáno v:	2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) s. 1 - 8
Hlavní autoři:	Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.11.2018
Témata:	Adders Algebra Computer architecture Computer science Explosions Logic gates
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!