鈥淧roving Properties of Digital Systems with Abstraction-Guided Simulation,鈥 2009.