71 search results - page 1 / 15 » Fast Spectrum Computation for Logic Functions using Binary D... |
ISCAS
1994
IEEE
14 years 3 months ago
1994
IEEE
ISMVL
2000
IEEE
14 years 3 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 4 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 3 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 5 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...