You’ve watched all the Verification Academy videos on getting started with formal verification, and even tried some of the examples…