Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process