Verification of Interacting Sequential Circuits.

Abhijit Ghosh Srinivas Devadas A. Richard Newton

Published in: DAC (1990)

Keyphrases

asynchronous circuits
model checking
face verification
tunnel diode
delay insensitive
analog circuits
formal analysis
lateral inhibition
verification method
person identification
signature verification
data sets
evolutionary algorithm
search algorithm
bayesian networks
artificial intelligence
genetic algorithm