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