96 search results - page 1 / 20 » Espresso-Signature: A New Exact Minimizer for Logic Function... |
DAC
1993
ACM
13 years 9 months ago
1993
ACM
TCAD
1998
13 years 4 months ago
1998
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
CF
2008
ACM
13 years 7 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
ASYNC
1998
IEEE
13 years 9 months ago
1998
IEEE
None of the available minimizers for exact 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to heuristic...