Using Model-Based Reasoning for Locating Faults in VHDL Designs
Markus Stumptner, Franz Wotawa · 2000
Model-based reasoning has seen successful application in hardware oriented and ... in this paper we describe two kinds of models for programs which are used for locating faults in VHDL designs, suitable for embedding into the VHDL development process and with the actual system description automatically derivable from the code of the program under scrutiny.