Sciweavers

788 search results - page 17 / 158
» Symbolic Equivalence Checking
Sort
View
77
Voted
ICCD
1991
IEEE
87views Hardware» more  ICCD 1991»
15 years 5 months ago
Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams
Pranav Ashar, Abhijit Ghosh, Srinivas Devadas
CASES
2005
ACM
15 years 3 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
91
Voted
TODAES
1998
42views more  TODAES 1998»
15 years 1 months ago
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee