On Choosing Test Criteria for Behavioral Level Hardware Design Verification (2000)
| Citations: | 4 - 0 self |
BibTeX
@MISC{Mayrhauser00onchoosing,
author = {Anneliese Von Mayrhauser and Tom Chen and Jan Kok and Chuck Anderson and Anita Read and Amjad Hajjar},
title = {On Choosing Test Criteria for Behavioral Level Hardware Design Verification},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper proposes criteria for the verification of behavioral designs for hardware written in VHDL. The criteria are analogous to testing criteria for software, but were adapted to the specific needs and constructs of hardware designs written in VHDL. We examine the potential value of these criteria with respect to desirable properties for evaluation criteria that were originally developed for software. Then we apply the VHDL criteria to several design examples with varying complexities to demonstrate their practical usefulness. Although, applying software testing techniques to hardware design at the behavioral level is not new, this work, to the best of our knowledge, is the first attempt to analyze the approach from the theoretical point of view and to lay the groundwork for achieving error-free design at the behavioral level. 1. Introduction Since the standardization of VHDL and Verilog hardware description languages and the significant progress in behavioral synthesis, the prob...
