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