OneSpin Solutions introduced Quantify MDV, which is an enhancement to the OneSpin 360 MV product family. The Quantify MDV formal metric-driven verification (MDV) solution automatically analyzes and measures formal verification progress and quality in register transfer level (RTL) designs. Quantify MDV is available now as part of the standard 360 MV product line, which starts at $25,000 for a one-year time-based license.
Cadence Design Systems introduced over 600 new capabilities to improve verification productivity for ASIC and FPGA designers. The capabilities, along with support for the Accellera Universal Verification Methodology (UVM), will expand the scope of metric-driven verification (MDV) to help engineers achieve faster, more comprehensive verification closure and Silicon Realization.