Evolving the Use of Formal Model checking in SoC Design Verification

Verification is widely accepted as the long pole in the project schedule and SoC design teams are tasked with verifying increasingly complex designs. This article from Mentor Graphics describes how formal methods went from being used opportunistically to a central place in the verification methodology of the SoC.

Read More