Login / Signup
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction.
Minh D. Nguyen
Markus Wedler
Bernard Schmidt
Dominik Stoffel
Wolfgang Kunz
Published in:
MBMV (2011)
Keyphrases
</>
hardware software
hardware and software
formal methods
hw sw
embedded systems
design methodology
multi core processors
model checking
high performance computing
formal specification
hardware design
neural network
high level
fuzzy logic
general purpose