An efficient test generation algorithm for behavioral descriptions of digital devices
An efficient test generation algorithm for behavioral descriptions is discussed. It generates tests for behavioral dataflow descriptions of digital circuits written in VHDL. The algorithm accepts input descriptions containing multiple process statements and concurrent signal assignment statements. T...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
Virginia Polytechnic Institute and State University
2015
|
Subjects: | |
Online Access: | http://hdl.handle.net/10919/53723 |