industry news
Subscribe Now

OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by Delivering OneSpin 360 LaunchPad, First Adaptive Formal Platform

SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today unveiled 360 LaunchPad™, an adaptive formal technology platform that allows third-party companies with limited knowledge of formal technology to develop and deliver formal-based apps.

LaunchPad is a complete formal environment that can be utilized by app developers without in-house formal technology or expertize. It allows domain experts to efficiently create formal-based solutions targeting their field on a proven underlying verification foundation. LaunchPad may be delivered as part of the app by the developer. Or, the app can be included in the OneSpin App Library to operate with the company’s formal product line.

 “LaunchPad is a missing link in the widespread adoption of formal verification, and will extend the reach of powerful formal techniques into new areas,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “The pre-existing platform makes it easier and quicker for domain experts to develop a robust verification solution suitable to their market segment, without the need for acquiring in-house formal knowledge or technology.”

To date, Agnisys Inc. and Tortuga Logic Inc. have integrated LaunchPad into their systems realization and security software solutions, respectively. Both have executed Original Equipment Manufacturer (OEM) agreements with OneSpin. For example, security verification expert Tortuga Logic has delivered LaunchPad as part of its Prospect product line, using an appropriate business model. Other implementations, including Intellectual Property (IP) related developments, will be announced soon.

“Rigorous verification is a critical aspect to fully and exhaustively testing the security facets of a modern semiconductor,” notes Jason Oberg, Tortuga Logic’s president and CEO. “With OneSpin’s LaunchPad, we were able to catapult Prospect, our hardware security solution, into the marketplace with a robust and reliable formal platform, introducing a specific verification solution for a complex, growing need.”

Apps for Specific Verification Problems

The use of focused applications, or “apps,” is an effective way to target powerful, formal-based technology at certain verification problems. These apps provide in-depth, specific verification solutions in an automated fashion, often eliminating the need for end users to write assertions while improving ease-of-use.

Traditionally, apps are built into formal verification tools and, therefore, must be developed and delivered by the formal verification tool vendor who is required to have expertise in the targeted problem area. LaunchPad eliminates this requirement by encapsulating a complete formal platform in a manner that allows its easy integration into a variety of specialized systems by engineers without a formal technology background.

Specialized, formal-based apps can be delivered by application domain experts, increasing the scope of formal verification to a range of disciplines previously closed to the technology. Through the use of SystemVerilog-based standards to create an easy integration methodology, LaunchPad can be applied quickly and in an open manner. Because LaunchPad only works with the integrating app, the business model to the end-user can be set to match the app itself.

“ARV-Formal™ combines OneSpin’s LaunchPad and the Agnisys’ Automatic Register Verification app to ensure register operations in an RTL design under test are formally proven to match an IDesignSpec™ specification,” says Anupam Bakshi, president and CEO of Agnisys. “This visionary development from OneSpin enabled us to create a powerful register verification solution very quickly, and could pave the way for a new spectrum of verification solutions.”

The LaunchPad also has potential for IP development. “Formal verification technology may be leveraged to improve many aspects of IP development and integration,” notes Warren Savage, president and CEO of IPExtreme. “OneSpin’s LaunchPad opens up exciting possibilities in the IP space without the enormous technical and commercial overhead of traditional formal solutions.”

LaunchPad is available now. To learn more, visit http://bit.ly/1HtxKe9

OneSpin Solutions at Design Automation Conference

OneSpin Solutions will demonstrate LaunchPad and its entire formal verification product family at the 52nd Design Automation Conference (DAC) in Booth #3126 June 8-10 at the Moscone Center in San Francisco. Information about DAC can be found at: www.dac.com

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions award-winning formal verification technology is based on more than 300 engineering years of development and application service experience. OneSpin’s comprehensive product line simplifies designer verification, increases intensive block verification coverage, eliminates design refinement problems, and provides automated solutions for many complex verification problems. 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 San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: info@onespin-solutions.com Website: www.onespin-solutions.com

Leave a Reply

featured blogs
Sep 29, 2020
I can easily see this kit at schools and in home-school settings. If I had an older kid or a young adult roaming around the house, I would jump at this little beauty....
Sep 29, 2020
About a year ago, we introduced the Spectre X simulator in the SPECTRE 19.1 base release. Since then, many enhancements have been made in Spectre X in the subsequent SPECTRE 19.1 ISR releases. The... [[ Click on the title to access the full blog on the Cadence Community site...
Sep 29, 2020
Our friends at DesignCon and Design News are launching the DesignCon Back-to-School webinar series.  Experts from DesignCon’s conference will share their insights from the electronics chip, board, and system industries, walking through use cases, defining various tools...
Sep 25, 2020
[From the last episode: We looked at different ways of accessing a single bit in a memory, including the use of multiplexors.] Today we'€™re going to look more specifically at memory cells '€“ these things we'€™ve been calling bit cells. We mentioned that there are many...

Featured Video

Texas Instruments: Pushing Power Further

Sponsored by Texas Instruments

Power is all around us. Every connection, every invention begins with power. Watch this short video to see how we are pushing the limits of power management.

Explore our power density portfolio

Featured Paper

Helping physicians achieve faster, more accurate patient diagnoses with molecular test technology

Sponsored by Texas Instruments

Point-of-care molecular diagnostics (PoC) help physicians achieve faster, more accurate patient diagnoses and treatment decisions. This article breaks down how molecular test technology works and the building blocks for a PoC molecular diagnostics analyzer sensor front end system.

Read the Article

Featured Chalk Talk

Electrification of the Vehicle

Sponsored by Mouser Electronics and KEMET

The automotive technology revolution has arrived, and with it - new demands on components for automotive applications. Electric vehicles, ADAS, connected cars, and autonomous driving put fresh demands on our electrical and electronic parts. In this episode of Chalk Talk, Amelia Dalton chats with Nick Stephen of KEMET about components for the next generation of automobiles.

More information about KEMET Electronics ALA7D & ALA8D Snap-In Capacitors