Better Verification Through Symmetry.

C. Norris Ip David L. Dill

Published in: CHDL (1993)

Keyphrases

model checking
symmetry detection
asynchronous circuits
medial axes
formal methods
perspective images
data sets
neural network
information systems
decision making
signature verification
formal verification
high security
verification method
bilateral symmetry
functional verification