OneSpin Launches Industry’s First Comprehensive Solution for Automatic Metric-Driven Formal Assertion-Based Verification Coverage Analysis and Measurement

Quantify MDV Eliminates Any Uncertainty about Formal Verification Progress and Quality; Needs No Simulation

MUNICH & TOKYO & SUNNYVALE, Calif. — (BUSINESS WIRE) — May 23, 2011OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today announced Quantify MDV, the industry’s first formal metric-driven verification (MDV) solution that automatically and comprehensively analyzes and measures formal verification progress and quality in register transfer level (RTL) designs. This breakthrough enhancement to the flagship OneSpin 360® MV product family provides precise feedback throughout a project, enabling verification engineers for the first time to answer three key questions quantitatively and accurately:

  • How good are my assertions?
  • How good are my constraints?
  • How much of my verification plan has been completed?

Quantify MDV gives engineers and project management the comprehensive metrics they need to determine exactly how far along they are in their formal verification – without the need for simulation. For the first time, they can assess remaining project time and effort based on accurate measurement rather than educated guesswork. Quantify MDV is available now and OneSpin will demonstrate it at the 2011 Design Automation Conference in San Diego, California, Booth #1505, June 5-10, 2011.

No More Guesswork or Mystique

Quantify MDV removes uncertainty about formal verification progress and quality by comprehensively analyzing and tracking RTL code and assertions throughout the design space. It identifies both verified and unverified RTL code, showing engineers at a glance exactly where to put assertions to fill the verification holes. It also analyzes constraints to identify over-constraining, thus eliminating the need to simulate assertions to detect over-constraining; and it identifies redundant code and verification code, as well as dead code, which is impossible to cover. Quantify MDV’s formal verification metrics can be integrated with testbench metrics to give full visibility into overall verification progress.

According to OneSpin President and Chief Executive Officer Peter Feist, “Prior to Quantify MDV, engineers had no formal verification metrics that accurately quantified verification progress. Crude metrics such as assertion density don’t really measure verification progress or quality; they simply leave engineers guessing about how much of the design has really been covered. Now they don’t have to guess. Also, engineers now can integrate formal metrics with their testbench coverage, giving them full transparency. With a simple keystroke and no learning curve for our new, automated solution, OneSpin puts effective metrics into the hands of engineers and project management, eliminating what was, until now, a significant barrier to formal becoming a mainstream methodology.”

Engineers can use Quantify MDV at any stage in the project – from early verification of RTL sub-blocks to complete block and inter-block connectivity verification, to block design handoff. At any point, they can trade off accuracy and runtime – for example, to find unverified RTL code quickly in the early stages, while opting for greater accuracy as the project progresses to sign-off.

Quantify MDV enables formal verification to be integrated into the verification team’s overall MDV flow by outputting formal metric data in HTML format and for the Unified Coverage Database (UCDB). Verification engineers now can view both formal and testbench progress metrics simultaneously in an integrated report. They also can program Quantify MDV’s output to be compatible with other database formats, enabling the solution’s use in a broad range of verification flows.

“Every member of the verification team can be proficient using the automated Quantify MDV,” Feist added. “It eliminates the mystique, automatically removes uncertainty and reduces engineering effort while delivering superior verification metrics. No one has to be a mathematical genius or have special expertise to use it for accurate assessment of verification progress and quality.”

Quantify MDV supports the industry-leading assertion standard, SystemVerilog Assertions (SVA), for both structural and operation-based assertions. Engineers can use OneSpin’s Timing Diagram Assertion Library (TiDAL) to convert functional timing diagrams to operational SVA. Design language support includes SystemVerilog, Verilog and VHDL.

Pricing and Availability

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.

About 360 MV

OneSpin’s 360 MV product family is the most comprehensive formal assertion-based verification (ABV) solution for RTL designs. In the past five years, 360 MV has been selected four times by prestigious engineering publications and their readers as one of the industry's most innovative and significant products for functional RTL verification. It covers the broadest range of formal ABV applications for formal verification newcomers, experienced users and experts – from fully automatic RTL checks and powerful assertion-based verification all the way to OneSpin’s patented, highest-quality gap-free verification. For more information, please visit .

1 | 2  Next Page »

Review Article Be the first to review this article

Featured Video
Sr. Application Engineer for Mentor Graphics at Fremont, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, California
Senior Software Architect Internet for EDA Careers at San Jose, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Upcoming Events
FLEX 2020 and MSTC 2020 at DoubleTree by Hilton 2050 Gateway Place San Jose CA - Feb 24 - 27, 2020
DVCon U.S. 2020 at DoubleTree Hotel San Jose CA - Mar 2 - 5, 2020
OFC 2020 - The Optical Networking and Communication Conference & Exhibition at San Diego Convention Center San Diego CA - Mar 8 - 12, 2020
DATE '2020 at ALPEXPO Grenoble France - Mar 9 - 13, 2020

© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise