The evolving use of Formal Model Checking in SoC Design Verification

This article from Verification Horizons, describes how formal methods went from being used opportunistically to a central place in the verification methodology of the RAPID SoC. Though not without a learning curve, formal did help the Oracle team achieve its verification goals of finishing on schedule and achieving first pass silicon success.

Read more.

2015-03-23T05:45:55+00:0023rd March, 2015|Blog, Thought Leadership|