Formal verification guided automatic design error diagnosis and correction of complex processors.

Amir Masoud Gharehbaghi Masahiro Fujita

Published in: HLDVT (2011)

Keyphrases

formal verification
model checking
error detection
functional verification
error rate
complex systems
semi automatic
computer aided
error analysis
user interface
high level
automatic diagnosis
case study
knowledge based systems
rough sets
error correction
model checker