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

Full description

Bibliographic Details

Published in:	2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) pp. 1 - 8
Main Authors:	Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.11.2018
Subjects:	Adders Algebra Computer architecture Computer science Explosions Logic gates
ISSN:	1558-2434
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!