In reply to Michael54:
Formal Verification.
Once you adopt formal verification, that should be your default choice unless there is something preventing it (and there are a lot of situations where formal won’t work, like not having a complete synthesizable design).
https://verificationacademy.com/courses/assertion-based-verification