Checking Nested Properties Using Bounded Model Checking and Sequential ATPG.

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

Browse the full VLSID paper archive.