Episode 11: Role of constraints in formal verification
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise
Categories:
One of the biggest challenges with formal verification is scoping out what constraints are needed, and how they will be coded in formal verification for efficient predictable results. In this podcast, we discuss the role of constraints in formal verification.
