Error traces in model-based debugging of hardware description languages.

Bernhard Peischl Franz Wotawa

Published in: AADEBUG (2005)

Keyphrases

description languages
program slicing
description language
hardware designs
low cost
error detection
execution traces
real time
hardware implementation
web services
domain specific
domain independent
semantic web services