Faster projection based methods for circuit level verification.

Chao Yan, Mark R. Greenstreet

Browse the full ASPDAC paper archive.