loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Symposium on Quality of Electronic Design (ISQED'05)
Domain Strategy and Coverage Metric for Validation
San Jose, California
March 21-March 23
ISBN: 0-7695-2301-3
Luo Chun, Southeast University, P.R. China
Yang Jun, Southeast University, P.R. China
Shi Longxing, Southeast University, P.R. China
Wu XuFan, Southeast University, P.R. China
Zhang Yu, Southeast University, P.R. China
An innovative domain strategy and coverage metric for integrated circuit design validation is proposed. The domain strategy generates test points to examine the borders of a domain to detect whether a design fault has occurred, as either one or more of these borders have shifted or else the corresponding predicate relational operator has changed. The domain coverage metric is applied to measure the completeness and quality of validation approach. The domain strategy and coverage metric have been implemented using VPI (Verilog Procedural interface) and have been applied to validation of industry circuits under design. Our domain coverage tool works smoothly with simulator and vector generator. The results showed that the domain strategy is efficient to generate test points, the domain coverage metric is powerful to find potential boundary faults.
Citation:
Luo Chun, Yang Jun, Shi Longxing, Wu XuFan, Zhang Yu, "Domain Strategy and Coverage Metric for Validation," isqed, pp.40-45, Sixth International Symposium on Quality of Electronic Design (ISQED'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.