Industry Expert Blogs
![]() |
How Sonics Uses Formal Verification for SoC Interconnect IPIndustry Insights Blog - Richard Goering , CadenceDec. 04, 2014 |
As a leading provider of highly configurable network-on-chip (NoC) interconnect IP, Sonics Inc. faces a difficult verification challenge: A simulation-only approach takes too long to verify thousands of possible configurations. As described at the recent Jasper User Group (JUG) conference, Sonics found a way to integrate formal Cadence JasperGold Apps into the existing Sonics verification infrastructure and regression environment.