Design Error Diagnosis Based on Verification Techniques.

Guanghui Li Ming Shao Xiaowei Li

Published in: Asian Test Symposium (2003)

Keyphrases

case study
model based reasoning
design space
decision making
knowledge based systems
building blocks
design process
computer aided
model based diagnosis
functional verification
database
optimal design
design principles
human computer interaction
artificial neural networks
learning environment
website