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
The vision of a connected smart home is becoming reality with the application of integrated wireless technologies in devices and appliances. The use of standardized and TCP/IP networked wireless technologies in line-powered and battery operated sensors and controls has led to the adoption of radios in the 2.4GHz band, including Wi-Fi, BT/BLE and 802.15.4 applied ZigBee and Thread. This is driving the need for robust wireless coexistence for multiple radios to ensure throughput performance and th...
SYS-CON Events announced today that Secure Channels will exhibit at the 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. The bedrock of Secure Channels Technology is a uniquely modified and enhanced process based on superencipherment. Superencipherment is the process of encrypting an already encrypted message one or more times, either using the same or a different algorithm.
19th Cloud Expo, taking place November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA, will feature technical sessions from a rock star conference faculty and the leading industry players in the world. Cloud computing is now being embraced by a majority of enterprises of all sizes. Yesterday's debate about public vs. private has transformed into the reality of hybrid cloud: a recent survey shows that 74% of enterprises have a hybrid cloud strategy. Meanwhile, 94% of enterpri...
SYS-CON Events announced today that Tintri Inc., a leading producer of VM-aware storage (VAS) for virtualization and cloud environments, will exhibit at the 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. Tintri VM-aware storage is the simplest for virtualized applications and cloud. Organizations including GE, Toyota, United Healthcare, NASA and 6 of the Fortune 15 have said “No to LUNs.” With Tintri they mana...
Fifty billion connected devices and still no winning protocols standards. HTTP, WebSockets, MQTT, and CoAP seem to be leading in the IoT protocol race at the moment but many more protocols are getting introduced on a regular basis. Each protocol has its pros and cons depending on the nature of the communications. Does there really need to be only one protocol to rule them all? Of course not. In his session at @ThingsExpo, Chris Matthieu, co-founder and CTO of Octoblu, walk you through how Oct...
What are the new priorities for the connected business? First: businesses need to think differently about the types of connections they will need to make – these span well beyond the traditional app to app into more modern forms of integration including SaaS integrations, mobile integrations, APIs, device integration and Big Data integration. It’s important these are unified together vs. doing them all piecemeal. Second, these types of connections need to be simple to design, adapt and configure...
Creating replica copies to tolerate a certain number of failures is easy, but very expensive at cloud-scale. Conventional RAID has lower overhead, but it is limited in the number of failures it can tolerate. And the management is like herding cats (overseeing capacity, rebuilds, migrations, and degraded performance). Download Slide Deck: ▸ Here In his general session at 18th Cloud Expo, Scott Cleland, Senior Director of Product Marketing for the HGST Cloud Infrastructure Business Unit, discusse...
“We're a global managed hosting provider. Our core customer set is a U.S.-based customer that is looking to go global,” explained Adam Rogers, Managing Director at ANEXIA, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
Is your aging software platform suffering from technical debt while the market changes and demands new solutions at a faster clip? It’s a bold move, but you might consider walking away from your core platform and starting fresh. ReadyTalk did exactly that. In his General Session at 19th Cloud Expo, Michael Chambliss, Head of Engineering at ReadyTalk, will discuss why and how ReadyTalk diverted from healthy revenue and over a decade of audio conferencing product development to start an innovati...
In his general session at 18th Cloud Expo, Lee Atchison, Principal Cloud Architect and Advocate at New Relic, discussed cloud as a ‘better data center’ and how it adds new capacity (faster) and improves application availability (redundancy). The cloud is a ‘Dynamic Tool for Dynamic Apps’ and resource allocation is an integral part of your application architecture, so use only the resources you need and allocate /de-allocate resources on the fly.
What happens when the different parts of a vehicle become smarter than the vehicle itself? As we move toward the era of smart everything, hundreds of entities in a vehicle that communicate with each other, the vehicle and external systems create a need for identity orchestration so that all entities work as a conglomerate. Much like an orchestra without a conductor, without the ability to secure, control, and connect the link between a vehicle’s head unit, devices, and systems and to manage the ...
Apache Hadoop is a key technology for gaining business insights from your Big Data, but the penetration into enterprises is shockingly low. In fact, Apache Hadoop and Big Data proponents recognize that this technology has not yet achieved its game-changing business potential. In his session at 19th Cloud Expo, John Mertic, director of program management for ODPi at The Linux Foundation, will explain why this is, how we can work together as an open data community to increase adoption, and the i...
If you had a chance to enter on the ground level of the largest e-commerce market in the world – would you? China is the world’s most populated country with the second largest economy and the world’s fastest growing market. It is estimated that by 2018 the Chinese market will be reaching over $30 billion in gaming revenue alone. Admittedly for a foreign company, doing business in China can be challenging. Often changing laws, administrative regulations and the often inscrutable Chinese Interne...
As ridesharing competitors and enhanced services increase, notable changes are occurring in the transportation model. Despite the cost-effective means and flexibility of ridesharing, both drivers and users will need to be aware of the connected environment and how it will impact the ridesharing experience. In his session at @ThingsExpo, Timothy Evavold, Executive Director Automotive at Covisint, will discuss key challenges and solutions to powering a ride sharing and/or multimodal model in the a...
Let’s face it, embracing new storage technologies, capabilities and upgrading to new hardware often adds complexity and increases costs. In his session at 18th Cloud Expo, Seth Oxenhorn, Vice President of Business Development & Alliances at FalconStor, discussed how a truly heterogeneous software-defined storage approach can add value to legacy platforms and heterogeneous environments. The result reduces complexity, significantly lowers cost, and provides IT organizations with improved efficienc...