A Design-for-Verification Technique for Functional Pattern Reduction.

Chien-Nan Jimmy Liu I-Ling Chen Jing-Yang Jou

Published in: IEEE Des. Test Comput. (2003)

Keyphrases

functional verification
optimal design
model checking
engineering design
temporal logic
pattern matching
image processing
relational databases
user interface
case study
data sets
computer aided
website
design decisions
data mining
formal verification
pattern detection
real world