Verification of Arithmetic Circuits with Binary Moment Diagrams.

Randal E. Bryant Yirng-An Chen

Published in: DAC (1995)

Keyphrases

asynchronous circuits
model checking
high speed
arithmetic operations
floating point
analog circuits
graphical representation
non binary
delay insensitive
data structure
low cost
hamming distance
face verification
vlsi circuits
high level synthesis