Click here to close now.


News Feed Item

OneSpin Solutions Introduces Unique, Formal-Based Observation Coverage Solution to Magnify Verification Closure Precision

Quantify's Patented Technology Drives Coverage Accuracy Across Existing Verification Flows

SANTA CLARA, CA -- (Marketwired) -- 02/19/14 -- OneSpin Solutions™, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today announced Quantify™, patented software already proven in integrated circuit (IC) development environments to increase the precision with which verification coverage may be measured.

"While coverage measurement has been an essential element of the verification process, established methods have shortcomings that lead to the increased risk of post-production bugs and elongated engineering schedules," says Dr. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "Quantify represents a new approach that leverages formal technologies to provide a significantly more reliable mechanism for verification teams to get practical, measurable coverage metrics."

Quantify leverages Observation Coverage, an effective metric that measures whether code changes in a design block will be caught by a specific verification environment. Its algorithm is efficient, rigorous and accurate, surpassing previous commercial offerings using a similar technique. Quantify also can analyze designs to pinpoint unreachable, redundant or dead code, or over-constrained design areas, as well as components that remain unreached, to identify simulation coverage issues.

The solution may be used to provide overall management coverage metrics to assess verification progress, and as a mechanism to identify and repair coverage holes during test development.

Verification Coverage

Verification coverage is a measurement of the progress of hardware verification based on the proportion of design code tested. The measure is commonly used to assess verification progress and to identify remaining untested areas in a design. A lack of adequate verification coverage indicates considerable risk of potential design problems.

Most commercial coverage tools focus on design code stimulation for simulation to ensure that areas of a design are activated during verification, but do not validate that a code error will be observed. Observation Coverage solves this issue by analyzing the reaction of the verification environment to code changes. However, existing Observation Coverage methods, based on either "Cone of Influence" (COI) or Mutation Analysis, can be inaccurate and require a significant amount of compute time.

Introducing Quantify

Quantify is a state-of-the-art coverage analysis technology and is used today in various verification flows with impressive results. It provides a number of accuracy and efficiency advantages over existing Control Coverage solutions, as well as other forms of Observation Coverage. Algorithms used by Quantify execute faster than those leveraged in other Observation Coverage-based solutions, and can be further accelerated through parallel operation.

As part of OneSpin 360 DV-Verify™ product line, Quantify augments the Assertion Based Verification formal engine to create a closed-loop, coverage-driven verification flow. It analyzes manual or automatically produced assertion sets against corresponding register transfer level (RTL) blocks and provides direction as to untested and untestable areas of the design, accelerating verification closure for these blocks.

Quantify may also be used to provide control coverage information for simulation and formal environments. It will identify code that may not be reached and why during simulation and design areas that may be over-constrained in a formal environment. Quantify can be used as an independent coverage arbiter of environments using simulation and formal solutions supplied by other companies. Its general qualitative and quantitative measurements can quickly assess overall verification progress toward closure against a verification plan.

"We have seen some of our customers leverage OneSpin's Quantify coverage technology with impressive results, providing a significant level of insight into their verification progress," remarks Dr. Mike Bartley, CEO and founder of Test and Verification. "As we explore more effective verification management solutions through our asureSign™ tool, we expect to leverage the OneSpin technology to provide vital, timely feedback for this process."

Quantify is easy to setup and use, and provides for an incremental use-model where coverage results from multiple runs may be merged. An Application Programming Interface (API) allows integration with coverage databases, such as Accellera's Unified Coverage Interoperability Standard (UCIS), and verification management tools.

Quantify is shipping now as part of OneSpin 360 DV-Verify. Pricing is available upon request.

To learn more about OneSpin Solutions' Quantify, visit:

OneSpin at DVCon

Quantify and the entire OneSpin Product Family will be demonstrated in Booth #404 during DVCon Monday, March 3, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 4-5, from 2:30 p.m. until 6 p.m. DVCon will be held at the DoubleTree Hotel in San Jose, Calif.

Information about DVCon can be found at:

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions was founded in 2005 as a spin-off from Infineon Technologies AG. Its award-winning formal verification software is based on more than 300 engineering years of development and application service experience. OneSpin's comprehensive product line enables design teams to avoid costly design respins, while dramatically cutting their verification effort, costs and engineering schedules. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in Santa Clara, Calif. Corporate headquarters is in Munich, Germany. Email: [email protected]. Website:

OneSpin, OneSpin Solutions, OneSpin 360, OneSpin 360 DV-Verify, the OneSpin logo and Quantify are trademarks of OneSpin Solutions GmbH. asureSign is a trademark of Test and Verification Solutions, Ltd. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
Email Contact

More Stories By Marketwired .

Copyright © 2009 Marketwired. All rights reserved. All the news releases provided by Marketwired are copyrighted. Any forms of copying other than an individual user's personal reference without express written permission is prohibited. Further distribution of these materials is strictly forbidden, including but not limited to, posting, emailing, faxing, archiving in a public database, redistributing via a computer network or in a printed form.

Latest Stories
Interested in leveraging automation technologies and a cloud architecture to make developers more productive? Learn how PaaS can benefit your organization to help you streamline your application development, allow you to use existing infrastructure and improve operational efficiencies. Begin charting your path to PaaS with OpenShift Enterprise.
SYS-CON Events announced today that MobiDev, a software development company, will exhibit at the 17th International Cloud Expo®, which will take place November 3-5, 2015, at the Santa Clara Convention Center in Santa Clara, CA. MobiDev is a software development company with representative offices in Atlanta (US), Sheffield (UK) and Würzburg (Germany); and development centers in Ukraine. Since 2009 it has grown from a small group of passionate engineers and business managers to a full-scale mobi...
The broad selection of hardware, the rapid evolution of operating systems and the time-to-market for mobile apps has been so rapid that new challenges for developers and engineers arise every day. Security, testing, hosting, and other metrics have to be considered through the process. In his session at Big Data Expo, Walter Maguire, Chief Field Technologist, HP Big Data Group, at Hewlett-Packard, will discuss the challenges faced by developers and a composite Big Data applications builder, foc...
As enterprises capture more and more data of all types – structured, semi-structured, and unstructured – data discovery requirements for business intelligence (BI), Big Data, and predictive analytics initiatives grow more complex. A company’s ability to become data-driven and compete on analytics depends on the speed with which it can provision their analytics applications with all relevant information. The task of finding data has traditionally resided with IT, but now organizations increasingl...
SYS-CON Events announced today that Agema Systems will exhibit at the 17th International Cloud Expo®, which will take place on November 3-5, 2015, at the Santa Clara Convention Center in Santa Clara, CA. Agema Systems is the leading provider of critical white-box rack solutions to data centers through the major integrators and value added distribution channels.
The cloud has reached mainstream IT. Those 18.7 million data centers out there (server closets to corporate data centers to colocation deployments) are moving to the cloud. In his session at 17th Cloud Expo, Achim Weiss, CEO & co-founder of ProfitBricks, will share how two companies – one in the U.S. and one in Germany – are achieving their goals with cloud infrastructure. More than a case study, he will share the details of how they prioritized their cloud computing infrastructure deployments ...
Data loss happens, even in the cloud. In fact, if your company has adopted a cloud application in the past three years, data loss has probably happened, whether you know it or not. In his session at 17th Cloud Expo, Bryan Forrester, Senior Vice President of Sales at eFolder, will present how common and costly cloud application data loss is and what measures you can take to protect your organization from data loss.
Decisions about budgets and resources are often made without IT even having a seat at the table. As technologist we understand the value of DevOps - but do your business counterparts? If they don't, your DevOps initiatives could lose funding before they start. In her session at DevOps Summit, Jeanne Morain, Strategist / Author at iSpeak Cloud, LLC, will provide insights on how to bridge the gap between business and technology leaders. Attendees will learn prescriptive guidance on balancing wor...
Organizations already struggle with the simple collection of data resulting from the proliferation of IoT, lacking the right infrastructure to manage it. They can't only rely on the cloud to collect and utilize this data because many applications still require dedicated infrastructure for security, redundancy, performance, etc. In his session at 17th Cloud Expo, Emil Sayegh, CEO of Codero Hosting, will discuss how in order to resolve the inherent issues, companies need to combine dedicated a...
The modern software development landscape consists of best practices and tools that allow teams to deliver software in a near-continuous manner. By adopting a culture of automation, measurement and sharing, the time to ship code has been greatly reduced, allowing for shorter release cycles and quicker feedback from customers and users. Still, with all of these tools and methods, how can teams stay on top of what is taking place across their infrastructure and codebase? Hopping between services a...
For almost two decades, businesses have discovered great opportunities to engage with customers and even expand revenue through digital systems, including web and mobile applications. Yet, even now, the conversation between the business and the technologists that deliver these systems is strained, in large part due to misaligned objectives. In his session at DevOps Summit, James Urquhart, Senior Vice President of Performance Analytics at SOASTA, Inc., will discuss how measuring user outcomes –...
Clearly the way forward is to move to cloud be it bare metal, VMs or containers. One aspect of the current public clouds that is slowing this cloud migration is cloud lock-in. Every cloud vendor is trying to make it very difficult to move out once a customer has chosen their cloud. In his session at 17th Cloud Expo, Naveen Nimmu, CEO of Clouber, Inc., will advocate that making the inter-cloud migration as simple as changing airlines would help the entire industry to quickly adopt the cloud wit...
While testing is often ignored when it comes to DevOps - it could be the most important aspect of achieving true DevOps success. Without rethinking automated testing from the ground-up, the entire DevOps productivity gain cannot be realized. Large tech companies build their own rapid test automation that runs in minutes across functional, performance, security and other tests. In his session at DevOps Summit, Kevin Surace, CEO of Appvance, will discuss how we learn from these real-world succe...
Apps and devices shouldn't stop working when there's limited or no network connectivity. Learn how to bring data stored in a cloud database to the edge of the network (and back again) whenever an Internet connection is available. In his session at 17th Cloud Expo, Bradley Holt, Developer Advocate at IBM Cloud Data Services, will demonstrate techniques for replicating cloud databases with devices in order to build offline-first mobile or Internet of Things (IoT) apps that can provide a better, ...
SYS-CON Events announced today that VividCortex, the monitoring solution for the modern data system, will exhibit at the 17th International Cloud Expo®, which will take place on November 3–5, 2015, at the Santa Clara Convention Center in Santa Clara, CA. The database is the heart of most applications, but it’s also the part that’s hardest to scale, monitor, and optimize even as it’s growing 50% year over year. VividCortex is the first unified suite of database monitoring tools specifically desi...