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

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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 Sept 200310 Sept 2003

Conference

ConferenceInternational Workshop on Automated Debugging
Country/TerritoryBelgium
CityGhent
Period8/09/0310/09/03

Cite this