Model Checking Based on Sequential ATPG.

Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita

Browse the full CAV paper archive.