176 search results - page 36 / 36 » Timed Verification of Asynchronous Circuits |
ICCAD
2001
IEEE
14 years 3 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...