Debugging of behavioral VHDL specifications by source level emulation.

Gernot Koch Udo Kebschull Wolfgang Rosenstiel

Published in: EURO-DAC (1995)

Keyphrases

levels of abstraction
model based diagnosis
high level
database
information systems
databases
lower level
operating system
execution traces
control flow
specification language
finite state machines
hardware implementation
higher level
case study
information retrieval
real time