Sciweavers

3457 search results - page 159 / 692
» A Symbol Is Not a Symbol
Sort
View
GLVLSI
1999
IEEE
62views VLSI» more  GLVLSI 1999»
15 years 10 months ago
Symbolic Multi-Level Verification of Refinement
Stefan Hendricx, Luc J. M. Claesen
ICCAD
1999
IEEE
74views Hardware» more  ICCAD 1999»
15 years 10 months ago
Lazy group sifting for efficient symbolic state traversal of FSMs
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...
Hiroyuki Higuchi, Fabio Somenzi
ADAEUROPE
1999
Springer
15 years 10 months ago
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 10 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...