An Emulation Model for Sequential ATPG-Based Bounded Model Checking.

Qiang Qiang, Daniel G. Saab, Jacob A. Abraham

Browse the full FPL paper archive.