DocumentCode :
1513871
Title :
OCCOM-efficient computation of observability-based code coverage metrics for functional verification
Author :
Fallah, Farzan ; Devadas, Srinivas ; Keutzer, Kurt
Author_Institution :
Fujitsu Labs. of America Inc., Sunnyvale, CA, USA
Volume :
20
Issue :
8
fYear :
2001
fDate :
8/1/2001 12:00:00 AM
Firstpage :
1003
Lastpage :
1015
Abstract :
Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it is not computationally feasible to exhaustively simulate designs. It is important, therefore, to quantitatively measure the degree of verification coverage of the design. Coverage metrics proposed for measuring the extent of design verification provided by a set of functional simulation vectors should compute statement execution counts (controllability information) and check to see whether effects of possible errors activated by program stimuli can be observed at the circuit outputs (observability information). Unfortunately, the metrics proposed thus far either do not compute both types of information or are inefficient, i.e., the overhead of computing the metric is very large. In this paper, we provide the details of an efficient method to compute an observability-based code coverage metric that can be used while simulating complex hardware description language (HDL) designs. This method offers a more accurate assessment of design verification coverage than line coverage and is significantly more computationally efficient than prior efforts to assess observability information because it breaks up the computation into two phases: functional simulation of a modified HDL model followed by analysis of a flowgraph extracted from the HDL model. Commercial HDL simulators can be directly used for the time-consuming first phase and the second phase can be performed efficiently using concurrent evaluation techniques
Keywords :
flow graphs; formal verification; hardware description languages; observability; OCCOM; controllability; flow graph; functional simulation; functional verification; hardware description language design; observability-based code coverage metric; statement execution count; Analytical models; Circuit simulation; Computational modeling; Controllability; Data mining; Error correction; Hardware design languages; Information analysis; Observability; Performance evaluation;
fLanguage :
English
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
0278-0070
Type :
jour
DOI :
10.1109/43.936381
Filename :
936381
Link To Document :
بازگشت