46 search results - page 2 / 10 » Cycle-based Simulation with Decision Diagrams |
ERSHOV
2001
Springer
14 years 3 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
JSAT
2010
13 years 5 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...
ASIAMS
2009
IEEE
14 years 4 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 ...
ET
2000
13 years 10 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...