Is there a crisis in hardware verification?

Carlos M. Roman

Published in: CHARME (1997)

Keyphrases

hardware and software
hardware designs
low cost
model checking
real time
hardware implementation
computer systems
computing power
asynchronous circuits
artificial intelligence
input output
data acquisition
computing systems
circuit design
digital signal processor
parallel hardware