176 search results - page 36 / 36 » Timed Verification of Asynchronous Circuits |
157
Voted
ICCAD
2001
IEEE
16 years 17 days 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...