Design of experiments for effective pre-silicon verification of automotive electronics.

Monica Rafaila Christoph Decker Georg Pelz Christian Grimm

Published in: FDL (2009)

Keyphrases

formal verification
functional verification
high speed
computer aided
design tools
data mining
case study
design process
model checking
design methodology
verification method