ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...