![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | Qiang Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham: Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core. ICCD 2005: 461-463 | |
| 1 | Jacob A. Abraham | [1] |
| 2 | Qiang Qiang | [1] |
| 3 | Daniel G. Saab | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page