Incremental Design and Formal Verification of Microcoded Microporcessors.

Published in: TPCD (1992)

Keyphrases

formal verification
model checking
neural network
design process
engineering design
functional verification
genetic algorithm
computer aided
design decisions
symbolic model checking
case study
user interface
knowledge based systems
model checker
automated verification