Login / Signup
Applying verification intention for design customization via property mining under constrained testbenches.
Chih-Neng Chung
Chia-Wei Chang
Kai-Hui Chang
Sy-Yen Kuo
Published in:
ICCD (2011)
Keyphrases
</>
case study
user interface
design process
computer aided
web mining
artificial intelligence
social networks
pattern mining
formal methods
real time
optimal design
design methodology
data mining algorithms
software systems
building blocks
collaborative learning
multi agent
data mining