Tag Archives: metric-driven verification

OneSpin Quantify MDV Formal Metric-driven Verification Solution

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.

Continue reading