472 search results - page 1 / 95 » Functional simulation using binary decision diagrams |
ICCAD
1997
IEEE
13 years 8 months ago
1997
IEEE
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 simulatio...
ASIAMS
2009
IEEE
13 years 9 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
ISMVL
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
ISCAS
1994
IEEE
13 years 8 months ago
1994
IEEE
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
