92 search results - page 1 / 19 » Reducing BDD Size by Exploiting Structural Connectivity |
GLVLSI
1999
IEEE
13 years 8 months ago
1999
IEEE
ICCD
2001
IEEE
14 years 1 months ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
APN
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
DSD
2003
IEEE
13 years 9 months ago
2003
IEEE
With shrinking feature size of silicon fabrication technology, architects are putting more and more logic into a single die. While one might opt to use these transistors for build...
ISMVL
2000
IEEE
13 years 8 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...