Generation of Test Vectors for Sequential Cell Verification

Santanu Bhowmick Sanjay Bhattacherjee G. N. Nandakumar

Published in: CoRR (2011)

Keyphrases

model checking
test generation
test data
real time
databases
neural network
real world
information retrieval
genetic algorithm
e learning
search algorithm
vector space
generation method
asynchronous circuits
verification method
immune response