Conference

October 17, 2022
Round Table Logo

Rising to the verification challenge of open source

Fast emerging options, like RISC-V, could foster massive growth in design but verification still needs commercial tools, a Semicon West panel found.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , ,   |  Organizations: , , , , , ,
April 9, 2021
FeatIm-spiral-methodology-bug-hunt

Spiral in on silicon bugs in six formal steps

The best paper winner at DVCon 2021 details a comprehensive methodology for making the best use of formal verification for bug hunting
Article  |  Topics: EDA - Verification  |  Tags: , , ,   |  Organizations: ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors