Effective safety property checking using simulation-based sequential ATPG.

Shuo Sheng, Koichiro Takayama, Michael S. Hsiao

Browse the full DAC paper archive.