학술논문
Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors
Document Type
Conference
Author
Source
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors VLSI in computers and processors Computer Design: VLSI in Computers and Processors, 1995. ICCD '95. Proceedings., 1995 IEEE International Conference on. :532-537 1995
Subject
Language
ISSN
1063-6404
Abstract
Simulation is still the primary, although inadequate, resource for verifying the conformity of a design to its functional specification. Fortunately, most errors in the early stages of design involve only the control flow in the circuit. We define the functional coverage of a given sequence of verification vectors as the amount of control behavior exercised by them. We present a novel technique for automatically extracting the control flow of a design on the basis of the underlying mathematical model. Significantly, this extraction is independent of the circuit description style. The Extracted Control Flow Machine (ECFM) is then used for estimation of functional coverage and to provide information that will help the designer improve the quality of his or her tests.