Simplified stimuli generation for scenario and assertion based verification.

Luca Piccolboni Graziano Pravadelli

Published in: LATW (2014)

Keyphrases

model checking
real world
face verification
generation process
generation algorithm
real time
relational databases
evolutionary algorithm
signature verification
person identification
functional verification