“Proving Properties of Digital Systems with Abstraction-Guided Simulation,” 2009.