Formal Model Checking: From Oblivion to a Pillar of Success

Formal Model Checking: From Oblivion to a Pillar of Success

Ram Narayan

09 June 2015

This session will describe how formal methods went from being used opportunistically to a central place in the verification methodology of the RAPID SoC to help the Oracle team achieve its verification goals of finishing on schedule and achieving first pass silicon success.


Venue : San Francisco, CA

External Link: https://verificationacademy.com/sessions/dac-2015/Formal-Model-Checking-From-Oblivion-to-a-Pillar-of-Success