T4: Verification.

R. Raina Jacob A. Abraham A. K. Pujari

Published in: VLSI Design (1997)

Keyphrases

model checking
data sets
face verification
signature verification
formal verification
three dimensional
real time
real world
genetic algorithm
social networks
web services
decision trees
case study
formal methods
functional verification
integrity verification