Released on November 9th, 2020
Formal is scary… or at least that’s what I always thought. This web seminar documents an unlikely journey into formal for a verification engineer who’s spent an entire career using simulation. You’ll see the progression from user-friendly formal apps to first steps of formal property checking; the practical idea of exhaustive module level formal verification to the promise of property-driven development. Verification engineers will take ideas for using formal and simulation as complementary technologies. Design engineers will see formal property checking as an effective technique for early detection and elimination of RTL bugs. Turns out formal isn’t scary at all.
What You Will Learn:
- How to get started with formal verification
- An overview of Mentor formal apps
- Important SVA operators for beginners
- Introduction to property-driven development with PropCheck