71 search results - page 1 / 15 » Fast Spectrum Computation for Logic Functions using Binary D... |
ISCAS
1994
IEEE
14 years 9 months ago
1994
IEEE
ISMVL
2000
IEEE
14 years 9 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)...
ISMVL
2003
IEEE
14 years 10 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 ...
ICCAD
1997
IEEE
14 years 9 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...
CPAIOR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...