On Resolution Proofs for Combinational Equivalence.

Satrajit Chatterjee Alan Mishchenko Robert K. Brayton Andreas Kuehlmann

Published in: DAC (2007)

Keyphrases

theorem proving
consequence finding
high resolution
low resolution
sampling rate
computer vision
special case
real time
data sets
information systems
high speed
image resolution
asynchronous circuits
formal proof