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