Abstract/Details

Validation of behavioral hardware descriptions


2003 2003

Other formats: Order a copy

Abstract (summary)

Behavioral hardware descriptions are commonly used to represent the functionality of a microelectronic system for simulation and synthesis. The manual process of creating a behavioral description is prone to errors, so a significant effort must be made to verify the correctness of the behavioral descriptions. Simulation-based validation and formal verification are two techniques used to verify correctness of designs. We have investigated validation because formal verification techniques are frequently intractable for large designs. The first step toward a behavioral validation technique is the development of validation fault coverage metrics which can be used to evaluate the likelihood of design error detection with a given test sequence.

Design faults can be classified into a variety of classes. The hardest faults are those which present incorrect behavior only in rare corner cases. We developed three fault coverage metrics to target these corner case faults. First, the domain fault coverage detects faults on the domain boundaries by examining the test points near the boundaries since a small domain fault may only affect several points near the boundary. Second, the dataflow fault coverage metric systematically checks the coverage of selected dataflow paths, which can detect faults associated with the dataflow paths. Third, the mis-timed event (MTE) fault coverage metric detects faults that present erroneous behavior only given a critical timing sequence. These new metrics can be also adapted to the validation of hardware-software systems. Experimental results show great potential of these metrics to detect design errors of their specific classes.

Indexing (details)


Subject
Electrical engineering;
Computer science
Classification
0544: Electrical engineering
0984: Computer science
Identifier / keyword
Applied sciences, Behavioral hardware descriptions, Formal verification, Hardware, Validation fault coverage metrics
Title
Validation of behavioral hardware descriptions
Author
Zhang, Qiushuang
Number of pages
107
Publication year
2003
Degree date
2003
School code
0118
Source
DAI-B 64/01, Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
9780493997582, 049399758X
Advisor
Harris, Ian G.
University/institution
University of Massachusetts Amherst
University location
United States -- Massachusetts
Degree
Ph.D.
Source type
Dissertations & Theses
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
3078731
ProQuest document ID
305322349
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
http://search.proquest.com/docview/305322349
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.