T4B: Formal verification in system-on-chip design: Scientific foundations and practical methodology.

Wolfgang Kunz Dominik Stoffel Joakim Urdahl

Published in: SoCC (2014)

Keyphrases

formal verification
design methodology
model checking
design process
real world
model checker
artificial intelligence
embedded systems
automated verification
knowledge based systems
conceptual model
design space
design space exploration
bounded model checking
functional verification