Use a synchronous design flow, add a test suite, and associated corrections.