The Challenge of Hardware-Software Co-verification.

Panagiotis Manolios

Published in: VSTTE (2005)

Keyphrases

hardware software
hardware and software
embedded systems
hw sw
design methodology
multi core processors
hardware software partitioning
high performance computing
hardware design
response time
model checking
neural network
genetic algorithm
image processing
power consumption