Panel on design for verification.

Tevfik Bultan Constance L. Heitmeyer John O'Leary

Published in: MEMOCODE (2005)

Keyphrases

knowledge based systems
artificial intelligence
design process
clustering algorithm
face verification
formal verification
learning algorithm
case study
optimal solution
design methodology
optimal design
functional verification