Markus Stumptner, Franz Wotawa,
"Using Model-Based Reasoning for Locating Faults in VHDL Designs"
, in Künstliche Intelligenz, 2000
Original Titel:
Using Model-Based Reasoning for Locating Faults in VHDL Designs
Sprache des Titels:
Englisch
Original Kurzfassung:
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:
Englisch
Journal:
Künstliche Intelligenz
Erscheinungsjahr:
2000
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Stum00m) and agree to use the paper for scientific purposes and private use only!