Formal Model Checking: From Oblivion to a Pillar of Success
Formal Model Checking: From Oblivion to a Pillar of Success
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