A Portable Co-Verification System Which Generates Testbench Automatically.

Takahito Nakajima Shigeru Namiki Shuhei Kinoshita Naohiko Shimizu

Published in: FPT (2007)

Keyphrases

feature extraction
digital images
automatically generated
computer vision
image sequences
lightweight
neural network
decision trees
evolutionary algorithm
model checking
face verification
verification method