788 search results - page 15 / 158 » Symbolic Equivalence Checking |
113
Voted
PLPV
2009
ACM
15 years 10 months ago
2009
ACM
110
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
101
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
253
Voted
ISQED
2002
IEEE
15 years 8 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...