A Survey of Formal Techniques for Hardware/Software Co-verification.

Kun Liu Weiqiang Kong Gang Hou Akira Fukuda

Published in: IIAI-AAI (2018)

Keyphrases

hardware software
hardware and software
formal methods
hw sw
embedded systems
hardware software partitioning
high performance computing
design methodology
formal specification
hardware design
model checking
multi core processors
low cost
real time
computer systems
data processing
software engineering