doi dblp Digital System Verification: A Combined Formal Methods and Simulation Framework Lun Li | Mitchell A. Thornton 2010