Login / Signup
Formal hardware/software co-verification by interval property checking with abstraction.
Minh D. Nguyen
Markus Wedler
Dominik Stoffel
Wolfgang Kunz
Published in:
DAC (2011)
Keyphrases
</>
hardware software
hardware and software
embedded systems
hw sw
formal methods
design methodology
high performance computing
model checking
hardware design
high level
low cost
multi core processors
neural network
input output
formal specification