Title :
Debugging of behavioral VHDL specifications by source level emulation
Author :
Koch, Gernot ; Kebschull, Udo ; Rosenstiel, Wolfgang
Author_Institution :
Forschungszentrum Inf., Karlsruhe Univ., Germany
Abstract :
We present an approach to accelerate the validation speed of behavioral VHDL system specifications through the use of hardware emulation. The method allows source level debugging of behavioral, algorithmic VHDL in a way similar to source level debugging known from software programming languages. We can set breakpoints in the source code and evaluate the contents of variables by reading the registers of the circuit when a breakpoint is reached
Keywords :
computer aided software engineering; computer debugging; development systems; formal specification; formal verification; hardware description languages; logic CAD; logic design; behavioral VHDL specification debugging; breakpoints; hardware emulation; source level debugging; source level emulation; validation speed; Acceleration; Application software; Circuits; Computer languages; Emulation; Formal verification; Hardware; Software algorithms; Software debugging; Superluminescent diodes;
Conference_Titel :
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Conference_Location :
Brighton
Print_ISBN :
0-8186-7156-4
DOI :
10.1109/EURDAC.1995.527415