loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Asian Test Symposium (ATS'03)
Xi?an, China
November 16-November 19
ISBN: 0-7695-1951-2
ASCII Text
x 
 
Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue, "Property Classification for Functional Verification Based," Asian Test Symposium, pp. 503, 12th Asian Test Symposium (ATS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ATS.2003.1250871,
author = {Ming Zhu and Jinian Bian and Weimin Wu and Hongxi Xue},
title = {Property Classification for Functional Verification Based},
journal ={Asian Test Symposium},
volume = {0},
year = {2003},
issn = {1081-7735},
pages = {503},
doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.2003.1250871},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asian Test Symposium
TI - Property Classification for Functional Verification Based
SN - 1081-7735
SP
EP
A1 - Ming Zhu,
A1 - Jinian Bian,
A1 - Weimin Wu,
A1 - Hongxi Xue,
PY - 2003
KW - null
VL - 0
JA - Asian Test Symposium
ER -
 
Ming Zhu, Tsinghua University
Jinian Bian, Tsinghua University
Weimin Wu, Tsinghua University
Hongxi Xue, Tsinghua University

Based on the advantages of simulation and model checking with CDFG structure, classified properties are proposed and defined for simulation, CDFG matching, and model checking respectively.

With ITC99 benchmarks, the designed properties are verified, and the experimental results show that different properties should be verified distinguishingly.

Citation:
Ming Zhu, Jinian Bian, Weimin Wu, Hongxi Xue, "Property Classification for Functional Verification Based," ats, pp.503, 12th Asian Test Symposium (ATS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.