Debugging Hardware Designs Using a Value-Based Model

  title={Debugging Hardware Designs Using a Value-Based Model},
  author={Franz Wotawa},
  journal={Applied Intelligence},
In this paper we describe the use of model-based diagnosis for locating bugs in hardware designs. Nowadays hardware designs are written in a programming language. We restrict our view to hardware designs written in a subset of the commonly used hardware description language VHDL. This subset includes all synthesize-able (register transfer level (RTL)) programs, i.e., programs that can be automatically converted into a gate level representation. Therefore almost all VHDL programs are RTL… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 25 references

Applying model-based diagnosis to software debugging of concurrent and sequential imperative programming languages,

  • F. Wotawa
  • PhD thesis, Technische Universität Wien,
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…