Making your products more Reliable, Safe and Secure

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.

23rd March, 2015|Blog, Thought Leadership|