Neil Johnson, Senior Product Engineering Manager, Siemens EDA
Formal is scary… or at least that’s what I always thought. This talk 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.
3 Key Points:
User first time experience with formal
Recommendations for starting with formal property checking
Formal property checking in a unit testing style
Neil Johnson is a long time verification engineer with a history in product development as both a full-timer and a consultant. He now works with Siemens as a Senior Product Engineering Manager responsible for Questasim.
DVCLUB Europe is made possible through the generosity of our sponsors.