Skip to content

Verdi

Synopsys, September 21, 2023

Efficient Bluespec RISC-V Processor Verification for Highest Coverage Closure: A Comprehensive Case Study

The ability to mix and match multiple ISA extensions and add user-defined ISA extensions makes RISC-V verification more challenging than conventional processor verification. This Synopsys… Read More »Efficient Bluespec RISC-V Processor Verification for Highest Coverage Closure: A Comprehensive Case Study

Synopsys, May 24, 2023

Accelerate Coverage Closure and Debug with Synopsys AI-Driven Verification Solutions

Synopsys Webinar | Wednesday, May 24, 2023 | 10:00 – 10:45 a.m. IST Engineering resources are getting stretched thinner and thinner as design complexity increases.… Read More »Accelerate Coverage Closure and Debug with Synopsys AI-Driven Verification Solutions

Synopsys, July 27, 2022

AI-Driven Verification: Saving Time with Verdi Regression Debug Automation

Analyzing the thousands of failures from daily regression runs is a manual, tedious, and error-prone process. The process can significantly impact quality-of-results, time-to-results and cost-of-results.… Read More »AI-Driven Verification: Saving Time with Verdi Regression Debug Automation