788 search results - page 15 / 158 » Symbolic Equivalence Checking |
PLPV
2009
ACM
14 years 3 months ago
2009
ACM
ICCAD
2005
IEEE
14 years 2 months ago
2005
IEEE
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
ISQED
2002
IEEE
14 years 1 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...