|By Marketwired .||
|February 19, 2014 11:00 AM EST||
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 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.
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:
Public Relations for OneSpin Solutions
Skeuomorphism usually means retaining existing design cues in something new that doesn’t actually need them. However, the concept of skeuomorphism can be thought of as relating more broadly to applying existing patterns to new technologies that, in fact, cry out for new approaches. In his session at DevOps Summit, Gordon Haff, Senior Cloud Strategy Marketing and Evangelism Manager at Red Hat, discussed why containers should be paired with new architectural practices such as microservices rathe...
Aug. 28, 2015 06:00 AM EDT Reads: 350
U.S. companies are desperately trying to recruit and hire skilled software engineers and developers, but there is simply not enough quality talent to go around. Tiempo Development is a nearshore software development company. Our headquarters are in AZ, but we are a pioneer and leader in outsourcing to Mexico, based on our three software development centers there. We have a proven process and we are experts at providing our customers with powerful solutions. We transform ideas into reality.
Aug. 28, 2015 04:45 AM EDT Reads: 421
In their Live Hack” presentation at 17th Cloud Expo, Stephen Coty and Paul Fletcher, Chief Security Evangelists at Alert Logic, will provide the audience with a chance to see a live demonstration of the common tools cyber attackers use to attack cloud and traditional IT systems. This “Live Hack” uses open source attack tools that are free and available for download by anybody. Attendees will learn where to find and how to operate these tools for the purpose of testing their own IT infrastructu...
Aug. 28, 2015 04:30 AM EDT Reads: 319
Any Ops team trying to support a company in today’s cloud-connected world knows that a new way of thinking is required – one just as dramatic than the shift from Ops to DevOps. The diversity of modern operations requires teams to focus their impact on breadth vs. depth. In his session at DevOps Summit, Adam Serediuk, Director of Operations at xMatters, Inc., will discuss the strategic requirements of evolving from Ops to DevOps, and why modern Operations has begun leveraging the “NoOps” approa...
Aug. 28, 2015 03:15 AM EDT Reads: 310
SYS-CON Events announced today that IceWarp 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. IceWarp, the leader of cloud and on-premise messaging, delivers secured email, chat, documents, conferencing and collaboration to today's mobile workforce, all in one unified interface
Aug. 28, 2015 03:00 AM EDT Reads: 336
The Internet of Things (IoT) is about the digitization of physical assets including sensors, devices, machines, gateways, and the network. It creates possibilities for significant value creation and new revenue generating business models via data democratization and ubiquitous analytics across IoT networks. The explosion of data in all forms in IoT requires a more robust and broader lens in order to enable smarter timely actions and better outcomes. Business operations become the key driver of I...
Aug. 28, 2015 12:30 AM EDT Reads: 330
Organizations from small to large are increasingly adopting cloud solutions to deliver essential business services at a much lower cost. According to cyber security experts, the frequency and severity of cyber-attacks are on the rise, causing alarm to businesses and customers across a variety of industries. To defend against exploits like these, a company must adopt a comprehensive security defense strategy that is designed for their business. In 2015, organizations such as United Airlines, Sony...
Aug. 28, 2015 12:00 AM EDT Reads: 377
With the proliferation of connected devices underpinning new Internet of Things systems, Brandon Schulz, Director of Luxoft IoT – Retail, will be looking at the transformation of the retail customer experience in brick and mortar stores in his session at @ThingsExpo. Questions he will address include: Will beacons drop to the wayside like QR codes, or be a proximity-based profit driver? How will the customer experience change in stores of all types when everything can be instrumented and a...
Aug. 27, 2015 06:15 PM EDT Reads: 382
It’s been proven time and time again that in tech, diversity drives greater innovation, better team productivity and greater profits and market share. So what can we do in our DevOps teams to embrace diversity and help transform the culture of development and operations into a true “DevOps” team? In her session at DevOps Summit, Stefana Muller, Director, Product Management – Continuous Delivery at CA Technologies, answered that question citing examples, showing how to create opportunities for ...
Aug. 27, 2015 05:45 PM EDT Reads: 437
As more and more data is generated from a variety of connected devices, the need to get insights from this data and predict future behavior and trends is increasingly essential for businesses. Real-time stream processing is needed in a variety of different industries such as Manufacturing, Oil and Gas, Automobile, Finance, Online Retail, Smart Grids, and Healthcare. Azure Stream Analytics is a fully managed distributed stream computation service that provides low latency, scalable processing of ...
Aug. 27, 2015 05:45 PM EDT
Everyone talks about continuous integration and continuous delivery but those are just two ends of the pipeline. In the middle of DevOps is continuous testing (CT), and many organizations are struggling to implement continuous testing effectively. After all, without continuous testing there is no delivery. And Lab-As-A-Service (LaaS) enhances the CT with dynamic on-demand self-serve test topologies. CT together with LAAS make a powerful combination that perfectly serves complex software developm...
Aug. 27, 2015 04:15 PM EDT
WebRTC has had a real tough three or four years, and so have those working with it. Only a few short years ago, the development world were excited about WebRTC and proclaiming how awesome it was. You might have played with the technology a couple of years ago, only to find the extra infrastructure requirements were painful to implement and poorly documented. This probably left a bitter taste in your mouth, especially when things went wrong.
Aug. 27, 2015 02:45 PM EDT Reads: 381
As more intelligent IoT applications shift into gear, they’re merging into the ever-increasing traffic flow of the Internet. It won’t be long before we experience bottlenecks, as IoT traffic peaks during rush hours. Organizations that are unprepared will find themselves by the side of the road unable to cross back into the fast lane. As billions of new devices begin to communicate and exchange data – will your infrastructure be scalable enough to handle this new interconnected world?
Aug. 27, 2015 02:15 PM EDT
In today's digital world, change is the one constant. Disruptive innovations like cloud, mobility, social media, and the Internet of Things have reshaped the market and set new standards in customer expectations. To remain competitive, businesses must tap the potential of emerging technologies and markets through the rapid release of new products and services. However, the rigid and siloed structures of traditional IT platforms and processes are slowing them down – resulting in lengthy delivery ...
Aug. 27, 2015 02:15 PM EDT Reads: 510
Whether you like it or not, DevOps is on track for a remarkable alliance with security. The SEC didn’t approve the merger. And your boss hasn’t heard anything about it. Yet, this unruly triumvirate will soon dominate and deliver DevSecOps faster, cheaper, better, and on an unprecedented scale. In his session at DevOps Summit, Frank Bunger, VP of Customer Success at ScriptRock, will discuss how this cathartic moment will propel the DevOps movement from such stuff as dreams are made on to a prac...
Aug. 27, 2015 01:00 PM EDT Reads: 164