An Efficient Equivalence Checker for Combinational Circuits.

Yusuke Matsunaga

Published in: DAC (1996)

Keyphrases

logic circuits
database
high speed
asynchronous circuits
data sets
computer vision
social networks
image segmentation
multiscale