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
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