Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming
Vemuri R., Kalyanaraman R. IEEE Transactions on Very Large Scale Integration (VLSI) Systems3 (2):201-214,1995.Type:Article
Date Reviewed: Jul 1 1996

Verification of the correctness of hardware designs is getting more attention thanks to some highly visible design flaws in certain products. As hardware description languages, such as VHDL, are used in design, the problem becomes more like software verification, but it is easier because of a more constrained design space and fewer lines of code.

This paper reports on a system that generates design verification tests from VHDL code. First, paths through the code are enumerated. Then, constraints for variables in each path are generated. Constraints can be generated for both the single- and the multiple-process cases. Finally, a constraint solver is used to generate the verification tests.

Fault simulation is used to validate the effectiveness of the tests. When one test per path is generated, fault coverage is relatively low, except for control-dominated designs. When more than one test per path is generated (up to 500), fault coverage increases to the 90s.

The procedure seems plausible, and the results are good. The limitation of any path enumeration method, namely the large number of potential paths, is addressed well. Unfortunately, due to the lack of any metric of design verification coverage better than stuck-at fault coverage, the true effectiveness of this technique in discovering design errors is not known.

Reviewer:  S. Davidson Review #: CR119414 (9607-0497)
Bookmark and Share
 
Languages And Compilers (B.1.4 ... )
 
 
Verification (B.6.3 ... )
 
 
VHDL (B.6.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Languages And Compilers": Date
Speed tunable finite state machine compiler: ZEPHCAD
Sato H., Sugiura Y., Fujita M. Microprocessors & Microsystems 14(1): 17-20, 1990. Type: Article
Feb 1 1991
Embedded controller FORTH for the 8051 family
Payne W., Academic Press Prof., Inc., San Diego, CA, 1990. Type: Book (9780125475709)
May 1 1991
Introduction to microprocessors and microcontrollers
Crisp J., Newnes, 2004.  288, Type: Book (9780750659895)
Aug 6 2004
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy