Verification of arithmetic circuits using binary moment diagrams.

Randal E. Bryant Yirng-An Chen

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

asynchronous circuits
non binary
multiple valued
model checking
vlsi circuits
high speed
neural network
genetic algorithm
artificial intelligence
floating point
face verification
formal methods
arithmetic operations
hand drawn
quantum computing