Equivalence Checking Using a Structural SAT-Solver, BDD's and Simulation

By: Viresh Paruthi, andreas Kuehlmann

Published in: RC21791 in 2000

This Research Report is not available electronically. Please request a copy from the contact listed below. IBM employees should contact ITIRC for a copy.

Questions about this service can be mailed to reports@us.ibm.com .