Hardware-software Co-verification in an Undergraduate Laboratory.

Hardy J. Pottinger Daryl G. Beetner

Published in: MSE (1999)

Keyphrases

hardware software
chemical engineering
hardware and software
hw sw
embedded systems
design methodology
model checking
multi core processors
hardware software partitioning
high performance computing
hardware design
low cost
computer systems
artificial intelligence
information systems
formal methods