Using Transformations and Verification in Circuit Design.

James B. Saxe James J. Horning John V. Guttag Stephen J. Garland

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

circuit design
model checking
design automation
digital circuits
formal verification
face verification
signature verification
verification method
high security
concurrent systems
artificial neural networks
image transformations
fingerprint verification