Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core.

Qiang Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham

Browse the full ICCD paper archive.