Integrating Logic Analyzer Functionality into VHDL Designs.

Günter Knittel Stefanie Mayer Christian Rothländer

Published in: ReConFig (2008)

Keyphrases

modal logic
logic programming
design principles
asynchronous circuits
integrated circuit
multi valued
classical logic
automated reasoning
sound and complete axiomatization
nonmonotonic logics
defeasible logic
hardware design
logical framework
database
data acquisition
signal processing
information systems
data sets