VHDL - Fehlersuche in VHDL-Programmen

Publikationen

Publikationen pro Jahr 2001 2003 2003

• 4 Beitrag in einem Konferenzband
• 2 Artikel

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2003

  Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

  Peischl, B. & Wotawa, F., 2003, DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., S. 175-180 (DX Woskshop Series).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Debugging VHDL Designs Using Temporal Process Instances

  Peischl, B., Wotawa, F. & Köb, D., 2003, Developments in Artificial Intelligence. Chung, P. W. H., Hinde, C. & Ali, M. (Hrsg.). Berlin, Heidelberg: Springer, Band 2718. S. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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

  Wotawa, F. & Peischl, B., 2003, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., S. 197-210

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs

  Peischl, B. & Wotawa, F., 2003, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. ., Band 14. S. 181-186 (DX Workshop Series).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung