News

Student tutors for the course Data Modelling wanted (winter term 2021/22)


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

You can find us here.




Using Model-Based Reasoning for Locating Faults in VHDL Designs

Authors: M. Stumptner, F. Wotawa
Paper: Stum00m (2000)
Citation: Künstliche Intelligenz, 2000.
Resources: Copy  (In order to obtain the copy please send an email with subject  Stum00m  to dke.win@jku.at)
BibTeX


Abstract:

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.