Special Section on Test and Verification of VLSIs.

Seiji Kajihara Michiko Inoue

Published in: IEICE Trans. Inf. Syst. (2008)

Keyphrases

special section
special issue
model checking
award winning
real time
case study
test data
databases
machine learning
artificial intelligence
face recognition
statistical tests
formal analysis
test generation