VHDL - Debugging VHDL Programs (DEV)

Research output

Research output per year 2001 2003 2003

• 4 Conference paper
• 2 Article

Research output per year

Research output per year

Search results

• 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. ., p. 175-180 (DX Woskshop Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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. (eds.). Berlin, Heidelberg: Springer, Vol. 2718. p. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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). ., p. 197-210

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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. ., Vol. 14. p. 181-186 (DX Workshop Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review