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

Bernhard Peischl; Franz Wotawa

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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs
Publisher	.
Pages	181-186
Volume	14
Publication status	Published - 2003
Event	International Workshop on Principles of Diagnosis - Washington D.C., United States Duration: 11 Jun 2003 → 14 Jun 2003

Publication series

Name	DX Workshop Series

Conference

Conference	International Workshop on Principles of Diagnosis
Country/Territory	United States
City	Washington D.C.
Period	11/06/03 → 14/06/03

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)

Cite this

Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. / Peischl, Bernhard ; Wotawa, Franz.
Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. Vol. 14 ., 2003. p. 181-186 (DX Workshop Series).

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

Peischl, B & Wotawa, F 2003, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. in Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. vol. 14, DX Workshop Series, ., pp. 181-186, International Workshop on Principles of Diagnosis, Washington D.C., United States, 11/06/03.

@inproceedings{213ef40de79840f48d489dea30612b10,

title = "Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs",

author = "Bernhard Peischl and Franz Wotawa",

year = "2003",

language = "English",

volume = "14",

series = "DX Workshop Series",

publisher = ".",

pages = "181--186",

booktitle = "Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs",

note = "International Workshop on Principles of Diagnosis ; Conference date: 11-06-2003 Through 14-06-2003",

}

TY - GEN

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

AU - Peischl, Bernhard

AU - Wotawa, Franz

PY - 2003

Y1 - 2003

UR - http://monet.aber.ac.uk/dx2003/

M3 - Conference paper

VL - 14

T3 - DX Workshop Series

SP - 181

EP - 186

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

PB - .

T2 - International Workshop on Principles of Diagnosis

Y2 - 11 June 2003 through 14 June 2003

ER -

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

Publication series

Conference

Treatment code (Nähere Zuordnung)

Other files and links

VHDL - Debugging VHDL Programs (DEV)

Cite this

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

Publication series

Conference

Treatment code (Nähere Zuordnung)

Other files and links

Projects

VHDL - Debugging VHDL Programs (DEV)

Cite this