Token-Aware Completion Functions for Elastic Processor Verification.

Sudarshan K. Srinivasan Koushik Sarker Rajendra S. Katti

Published in: J. Electr. Comput. Eng. (2009)

Keyphrases

functional verification
model checking
high speed
verification method
parallel processing
face verification
high end
real time
data sets
data mining
genetic algorithm
temporal logic
fingerprint verification