Searching for "Symbolic Equivalence Checking." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Symbolic Equivalence Checking
- …Symbolic Equivalence Checking ? J.C. Fernandez, A. Kerbrat and L. Mounier VERIMAG, B.P. 53 X…
- Cited by 26 (8 self) – Add To MetaCart
-
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible
- …Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible…
- Cited by 1 (1 self) – Add To MetaCart
-
Functional test generation using constraint logic programming
- …), and equivalence checking. The rest of the paper is organized as follows: Section III explains how to generate a…
- Cited by 9 (0 self) – Add To MetaCart
Showing 1 through 3.
