3 search results - page 1 / 1 » Non-miter-based Combinational Equivalence Checking by Compar... |
FMCAD
2004
Springer
14 years 4 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
CP
2008
Springer
14 years 19 days ago
2008
Springer
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...