Using Model Checking to Prove Constraints of Combinational Equivalence Checking Author(s): Xiushan Feng, Joseph Gutierrez, Mel Pratt, Mark Eslinger, and Noam Farkash Download
