City Research Online

Method for Measuring Architectural Test Coverage for Design Verification

Aharon, A., Fournier, L., Gluska, A. , Lichtenstein, Y. & Malka, J. (1998). Method for Measuring Architectural Test Coverage for Design Verification. Aharon, A., Fournier, L., Gluska, A., Lichtenstein, Y. & Malka, J. patent no. 5724504


A technique that applies the task coverage exercised within a behavioral model of the design to the design itself, while simulating one or more test sequences. Since the behavior model is an accurate and complete program representation of the architectural specification of the hardware design, the test case coverage of the architecture is implied by the measurement of how well the behavioral model code has been exercised. The completeness of the coverage is determined by the test coverage criteria selected, including, for example, statement coverage, branch coverage, or path coverage. The more detailed the criteria, the greater the number of tests.

Publication Type: Patent
Additional Information: Source: United States PAtent and Trademark Office,
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Bayes Business School > Management
[thumbnail of US5724504.pdf]
Text - Published Version
Download (1MB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login