The Case for Low-Power Simulation-to-Implementation Equivalence Checking Author(s): Himanshu Bhatt, John Decker, and Hiral Desai Year: 2012 Type: Presentation Download