788 search results - page 15 / 158 » Symbolic Equivalence Checking |
96
Voted
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
ICCAD
2005
IEEE
15 years 7 months ago
2005
IEEE
86
Voted
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
72
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
227
Voted
ISQED
2002
IEEE
15 years 6 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...