Simulation-based Parallel Sweeping: A New Perspective on Combinational Equivalence Checking.

Tianji Liu, Evangeline F. Y. Young

Browse the full DAC paper archive.