Error traces in model-based debugging of hardware description languages

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationInternational Workshop on Automated Debugging
PublisherAssociation of Computing Machinery
Pages43-48
Publication statusPublished - 2005

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this