Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the Fifth International Workshop on Automated Debugging (AADEBUG)
Publisher.
Pages197-210
Publication statusPublished - 2003
EventInternational Workshop on Automated Debugging - Ghent, Belgium
Duration: 8 Sep 200310 Sep 2003

Conference

ConferenceInternational Workshop on Automated Debugging
CountryBelgium
CityGhent
Period8/09/0310/09/03

Cite this

Wotawa, F., & Peischl, B. (2003). Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach. In Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG) (pp. 197-210). ..

Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach. / Wotawa, Franz; Peischl, Bernhard.

Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., 2003. p. 197-210.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Wotawa, F & Peischl, B 2003, Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach. in Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., pp. 197-210, International Workshop on Automated Debugging, Ghent, Belgium, 8/09/03.
Wotawa F, Peischl B. Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach. In Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). . 2003. p. 197-210
Wotawa, Franz ; Peischl, Bernhard. / Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach. Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., 2003. pp. 197-210
@inproceedings{ad21f2a6f6ac4f8ab387d76082b86208,
title = "Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach",
author = "Franz Wotawa and Bernhard Peischl",
year = "2003",
language = "English",
pages = "197--210",
booktitle = "Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG)",
publisher = ".",

}

TY - GEN

T1 - Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach

AU - Wotawa, Franz

AU - Peischl, Bernhard

PY - 2003

Y1 - 2003

UR - http://arxiv.org/abs/cs.AI/0311001

M3 - Conference contribution

SP - 197

EP - 210

BT - Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG)

PB - .

ER -