The Integration of SystemC and Hardware-Assisted Verification.

Ramaswamy Ramaswamy Russell Tessier

Published in: FPL (2002)

Keyphrases

real time
hardware and software
low cost
model checking
hardware designs
computer systems
hardware implementation
information integration
computing systems
vlsi implementation
asynchronous circuits
databases
case study
data fusion
formal verification
single chip