Hi again, friends. Here we are. This is the last episode of our series on formal verification best practices. As the last step, let’s discuss signing .
If you are joining me now in this formal verification blog series, welcome! In episode 1, we looked at best practices to set up formal verification on .
In the first two episodes of this blog series, we saw how we put in place an efficient formal testbench for a cache, how we found a genuine bug, reproduced .
In our first episode from last week we focused on best practices when setting up formal verification on a component. Our setup is now ready with protocol .
This blog is the first of a series where I will show how to use Formal Verification (FV) with a pragmatic, realistic, predictable, and efficient approach. .