4 search results - page 1 / 1 » Speeding up Variable Reordering of OBDDs |
ICCD
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
GLVLSI
2000
IEEE
14 years 3 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
DAC
1999
ACM
14 years 3 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
VLDB
2004
ACM
14 years 4 months ago
2004
ACM
Data-driven animation has become the industry standard for computer games and many animated movies and special effects. In particular, motion capture data recorded from live actor...