loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 International Conference on Computer Design
Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core
San Jose, California
October 02-October 05
ISBN: 0-7695-2451-6
ASCII Text
x 
 
Qiang Qiang, Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham, "Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core," Computer Design, International Conference on, pp. 461-463, 2005 International Conference on Computer Design, 2005.
 
 
BibTex
x
 
@article{ 10.1109/ICCD.2005.36,
author = {Qiang Qiang and Qiang, Chia-Lun Chang and Daniel G. Saab and Jacob A. Abraham},
title = {Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core},
journal ={Computer Design, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2451-6},
pages = {461-463},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Design, International Conference on
TI - Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core
SN - 0-7695-2451-6
SP461
EP463
A1 - Qiang Qiang,
A1 - Qiang, Chia-Lun Chang,
A1 - Daniel G. Saab,
A1 - Jacob A. Abraham,
PY - 2005
KW - null
VL - 0
JA - Computer Design, International Conference on
ER -
 
Qiang Qiang, Electrical Engineering and Computer Science, Case Western Reserve University Cleveland, Ohio, USA
Qiang, Chia-Lun Chang, Electrical Engineering and Computer Science, Case Western Reserve University Cleveland, Ohio, USA
Daniel G. Saab, Electrical Engineering and Computer Science, Case Western Reserve University Cleveland, Ohio, USA
Jacob A. Abraham, Computer Engineering Research CenterThe University of Texas at Austin Austin, TX, USA

This paper presents the ATPG performances of verifying USB2.0 IP core. Using the USB protocol and typical properties, the ATPG-based bounded model checking mechanism is revealed. Heuristics to accelerate the ATPG search are presented and their impacts are analyzed. We feel that results from this case study are applicable to serial communication circuits of the same family and can be scaled to industrial-sized circuits.

Citation:
Qiang 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, pp.461-463, 2005 International Conference on Computer Design, 2005
Usage of this product signifies your acceptance of the Terms of Use.