Implicit Verification of Structurally Dissimilar Arithmetic Circuits.

Published in: ICCD (1999)

Keyphrases

asynchronous circuits
model checking
databases
high speed
logic synthesis
delay insensitive
circuit design
face verification
database systems
arithmetic operations
real time
multiscale
explicit knowledge
artificial intelligence
verification method
multimodal biometrics
electronic circuits
data mining