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

Tianji Liu; Evangeline F.Y. Young

Meta data for Simulation-based Parallel Sweeping: A New Perspective on Combinational Equivalence Checking