Using Model-Based Reasoning for Locating Faults in VHDL Designs

Model-based reasoning has seen successful application in hardware oriented and physical domains and many models of physical devices are currently available. In the software domain is still ongoing work. 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.