Welcome!

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: http://tiny.cc/cnlfbx.

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: www.dvcon.org.

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: www.onespin-solutions.com.

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
Cloud applications are seeing a deluge of requests to support the exploding advanced analytics market. “Open analytics” is the emerging strategy to deliver that data through an open data access layer, in the cloud, to be directly consumed by external analytics tools and popular programming languages. An increasing number of data engineers and data scientists use a variety of platforms and advanced analytics languages such as SAS, R, Python and Java, as well as frameworks such as Hadoop and Spark...
DevOps is often described as a combination of technology and culture. Without both, DevOps isn't complete. However, applying the culture to outdated technology is a recipe for disaster; as response times grow and connections between teams are delayed by technology, the culture will die. A Nutanix Enterprise Cloud has many benefits that provide the needed base for a true DevOps paradigm. In his Day 3 Keynote at 20th Cloud Expo, Chris Brown, a Solutions Marketing Manager at Nutanix, will explore t...
SYS-CON Events announced today that Super Micro Computer, Inc., a global leader in compute, storage and networking technologies, will exhibit at SYS-CON's 20th International Cloud Expo®, which will take place on June 6-8, 2017, at the Javits Center in New York City, NY. Supermicro (NASDAQ: SMCI), the leading innovator in high-performance, high-efficiency server technology, is a premier provider of advanced server Building Block Solutions® for Data Center, Cloud Computing, Enterprise IT, Hadoop/...
This talk centers around how to automate best practices in a multi-/hybrid-cloud world based on our work with customers like GE, Discovery Communications and Fannie Mae. Today’s enterprises are reaping the benefits of cloud computing, but also discovering many risks and challenges. In the age of DevOps and the decentralization of IT, it’s easy to over-provision resources, forget that instances are running, or unintentionally expose vulnerabilities.
Multiple data types are pouring into IoT deployments. Data is coming in small packages as well as enormous files and data streams of many sizes. Widespread use of mobile devices adds to the total. In this power panel at @ThingsExpo, moderated by Conference Chair Roger Strukhoff, panelists will look at the tools and environments that are being put to use in IoT deployments, as well as the team skills a modern enterprise IT shop needs to keep things running, get a handle on all this data, and deli...
In order to meet the rapidly changing demands of today’s customers, companies are continually forced to redefine their business strategies in order to meet these needs, stay relevant and continue to see profitable growth. IoT deployment and development is integral in this transformation, and today businesses are increasingly seeing the value of investing their resources into IoT deployments. These technologies are able increase ROI through projects such as connecting supply chains or enabling sm...
For financial firms, the cloud is going to increasingly become a crucial part of dealing with customers over the next five years and beyond, particularly with the growing use and acceptance of virtual currencies. There are new data storage paradigms on the horizon that will deliver secure solutions for storing and moving sensitive financial data around the world without touching terrestrial networks. In his session at 20th Cloud Expo, Cliff Beek, President of Cloud Constellation Corporation, w...
In his opening keynote at 20th Cloud Expo, Michael Maximilien, Research Scientist, Architect, and Engineer at IBM, will motivate why realizing the full potential of the cloud and social data requires artificial intelligence. By mixing Cloud Foundry and the rich set of Watson services, IBM's Bluemix is the best cloud operating system for enterprises today, providing rapid development and deployment of applications that can take advantage of the rich catalog of Watson services to help drive insigh...
SYS-CON Events announced today that SoftLayer, an IBM Company, has been named “Gold Sponsor” of SYS-CON's 18th Cloud Expo, which will take place on June 7-9, 2016, at the Javits Center in New York, New York. SoftLayer, an IBM Company, provides cloud infrastructure as a service from a growing number of data centers and network points of presence around the world. SoftLayer’s customers range from Web startups to global enterprises.
IBM helps FinTechs and financial services companies build and monetize cognitive-enabled financial services apps quickly and at scale. Hosted on IBM Bluemix, IBM’s platform builds in customer insights, regulatory compliance analytics and security to help reduce development time and testing. In his session at 20th Cloud Expo, Tom Eck, Industry Platforms CTO at IBM Cloud, will discuss how these tools simplify the time-consuming tasks of selection, mapping and data integration, allowing developers ...
Most DevOps journeys involve several phases of maturity. Research shows that the inflection point where organizations begin to see maximum value is when they implement tight integration deploying their code to their infrastructure. Success at this level is the last barrier to at-will deployment. Storage, for instance, is more capable than where we read and write data. In his session at @DevOpsSummit at 20th Cloud Expo, Josh Atwell, a Developer Advocate for NetApp, will discuss the role and value...
With major technology companies and startups seriously embracing Cloud strategies, now is the perfect time to attend @CloudExpo | @ThingsExpo, June 6-8, 2017, at the Javits Center in New York City, NY and October 31 - November 2, 2017, Santa Clara Convention Center, CA. Learn what is going on, contribute to the discussions, and ensure that your enterprise is on the right path to Digital Transformation.
You know you need the cloud, but you’re hesitant to simply dump everything at Amazon since you know that not all workloads are suitable for cloud. You know that you want the kind of ease of use and scalability that you get with public cloud, but your applications are architected in a way that makes the public cloud a non-starter. You’re looking at private cloud solutions based on hyperconverged infrastructure, but you’re concerned with the limits inherent in those technologies.
As enterprise cloud becomes the norm, businesses and government programs must address compounded regulatory compliance related to data privacy and information protection. The most recent, Controlled Unclassified Information and the EU’s GDPR have board level implications and companies still struggle with demonstrating due diligence. Developers and DevOps leaders, as part of the pre-planning process and the associated supply chain, could benefit from updating their code libraries and design by in...
SYS-CON Events announced today that EARP Integration will exhibit at SYS-CON's 20th International Cloud Expo®, which will take place on June 6-8, 2017, at the Javits Center in New York City, NY. EARP Integration is a passionate software house. Since its inception in 2009 the company successfully delivers smart solutions for cities and factories that start their digital transformation. EARP provides bespoke solutions like, for example, advanced enterprise portals, business intelligence systems an...