Login / Signup
The RESCUE Approach - Towards Compositional Hardware/Software Co-verification.
Paula Herber
Published in:
HPCC/CSS/ICESS (2014)
Keyphrases
</>
hardware software
hardware and software
hw sw
embedded systems
design methodology
multi core processors
hardware software partitioning
model checking
hardware design
low cost
high performance computing
neural network
information systems
response time
open source
field programmable gate array