Digital System Verification: A Combined Formal Methods and Simulation Framework