An Automata-Theoretic Approach to Hardware/Software Co-verification.

Juncao Li Fei Xie Thomas Ball Vladimir Levin Con McGarvey

Published in: FASE (2010)

Keyphrases

hardware software
hardware and software
hw sw
embedded systems
design methodology
model checking
multi core processors
high performance computing
hardware design
hardware software partitioning
genetic programming