Sciweavers

Share
ICCAD
1997
IEEE

Functional simulation using binary decision diagrams

9 years 5 months ago
Functional simulation using binary decision diagrams
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulation. The area-time trade-o that results from di erent minimization techniques of the BDD is discussed. We propose new minimization methods based on dynamic reordering that allow smaller representations with nearly no runtime penalty.
Christoph Scholl, Rolf Drechsler, Bernd Becker
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where ICCAD
Authors Christoph Scholl, Rolf Drechsler, Bernd Becker
Comments (0)
books