Using Model-Based Reasoning for Locating Faults in VHDL Designs
Sprache des Titels:
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.
Sprache der Kurzfassung:
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (firstname.lastname@example.org). Please include the paper-no. (Stum00m) and agree to use the paper for scientific purposes and private use only!