Using Model Checking to Prove Constraints of Combinational Equivalence Checking Author(s): Xiushan Feng, Joseph Gutierrez, Mel Pratt, Mark Eslinger, and Noam Farkash Location: United States Year: 2010 Type: Paper Download