industry news
Subscribe Now

OneSpin Solutions Reaches for the Cloud, Driving New Technology, Business Model for Easy Adoption

SANTA CLARA, CALIF. –– May 15, 2013 –– OneSpin Solutions™ (, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today unveiled a new business model based on Cloud Computing designed to give project teams flexibility previously unavailable for electronic design automation (EDA) tools, while eliminating barriers to adoption.

Design security, an issue in previous EDA Cloud Computing attempts, has been solved by leveraging the operational nature inherent in OneSpin’s Formal Verification (FV) software. The end product is simple to use, easy to adopt in a flow and has significant verification performance implications. No upfront investment is required to use the tools, made available on a pay-per-use basis.

“The EDA industry reached for the Cloud before, but this is the first solution that assures design security,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer. “Users with no formal verification knowledge can simply plug-in the technology and receive an instant, significant verification impact. This business model has implications right across the EDA industry.”

The Multiple Applications of the Cloud

The OneSpin cloud system, hosted by Amazon Web Services (AWS) Marketplace, provides easily applied, fully automated solutions as well as advanced formal verification (FV) tooling. The functionality of OneSpin’s 360 DV-Inspect and 360 DV-Verify products, as well as additional prove engines for parallel processing, have been made available on AWS.

Application in a simulation-only environment is an easy plug-and-play operation requiring no formal verification knowledge. A free local client is downloaded and interacts with the cloud server for transparent, secure operation. Powerful 360 DV-Inspect design checks for a broad range of issues are automatically generated and run securely in the cloud, with the result debugged locally.

The system creates a new paradigm for intellectual property (IP) delivery. Powerful integration tests included in the IP can be run without a formal tool purchase. Similarly, Verification Service Providers can run assertion analysis without requiring their customers to purchase the tools.

Experienced formal verification users also benefit. OneSpin’s 360-DV Verify product for assertion-based verification and coverage can be run on-demand, with a charge for just the resources required. Verification also can be run with parallel engines, allowing for an instantly accessible, dramatic performance improvement that leverages the scalable Amazon system.

How it Works

OneSpin created a simple use model in cooperation with AWS, giving users control of the Cloud servers. The user downloads and licenses a freely available client tool, OneSpin 360-CS, from the OneSpin website that operates on the local machine. This tool includes a FreeLint capability that checks the design on the local machine before extracting the data for the Cloud servers. Cloud servers extend the functionality of 360-CS to include capabilities of 360-DV Inspect or 360-DV-Verify and perform formal analysis. In addition, the Cloud solution can be used to add prove engines that operate in parallel with OneSpin’s existing products.

The OneSpin Cloud Computing model provides users with on-demand flexibility and budgeting, reducing up-front investment based on unpredictable needs, eliminating license redundancy and providing budget flexibility.

The need for proprietary design code to leave the office has been eliminated, significantly reducing security concerns. OneSpin’s technology analyzes the design code locally and only transmits an encrypted mathematical abstraction of the verification problem with all descriptive details stripped. After processing, results are returned to the local machine whereupon descriptive details are reapplied. No data is retained in the cloud.

The design IP cannot be recreated from the stripped mathematical abstraction.

Pricing and Availability

OneSpin’s cloud solution is in Beta now. The trial for approved project teams will start Monday, June 3, and run until Friday, August 30, 2013. During this trial period, the cloud servers will be freely available, less a minimal charge to Amazon for the cloud service, for a restricted set of project teams, with general availability in September.

Pricing starts from $25 per hour for running OneSpin 360 Inspect in the Cloud. Payment is made through AWS Marketplace.

OneSpin at DAC

The OneSpin Product Family will be demonstrated during the 50th Design Automation Conference (DAC) in Booth #846 Monday, June 3, through Wednesday, June 5, from 9 a.m. until 6 p.m. daily at the Austin Convention Center in Austin, Texas. The DAC website is found at:

For more information about OneSpin, visit

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 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: Website:

Leave a Reply

featured blogs
Jun 18, 2021
It's a short week here at Cadence CFD as we celebrate the Juneteenth holiday today. But CFD doesn't take time off as evidenced by the latest round-up of CFD news. There are several really... [[ Click on the title to access the full blog on the Cadence Community sit...
Jun 17, 2021
Learn how cloud-based SoC design and functional verification systems such as ZeBu Cloud accelerate networking SoC readiness across both hardware & software. The post The Quest for the Most Advanced Networking SoC: Achieving Breakthrough Verification Efficiency with Clou...
Jun 17, 2021
In today’s blog episode, we would like to introduce our newest White Paper: “System and Component qualifications of VPX solutions, Create a novel, low-cost, easy to build, high reliability test platform for VPX modules“. Over the past year, Samtec has worked...
Jun 14, 2021
By John Ferguson, Omar ElSewefy, Nermeen Hossam, Basma Serry We're all fascinated by light. Light… The post Shining a light on silicon photonics verification appeared first on Design with Calibre....

featured video

Kyocera Super Resolution Printer with ARC EV Vision IP

Sponsored by Synopsys

See the amazing image processing features that Kyocera’s TASKalfa 3554ci brings to their customers.

Click here for more information about DesignWare ARC EV Processors for Embedded Vision

featured paper

What is a Hall-effect sensor?

Sponsored by Texas Instruments

Are you considering a Hall-effect sensor for your next design? Read this technical article to learn how Hall-effect sensors work to accurately measure position, distance and movement. In this article, you’ll gain insight into Hall-effect sensing theory, topologies, common use cases and the different types of Hall-effect sensors available today: Hall-effect switches, latches and linear sensors.

Click to read more

featured chalk talk

PolarFire SoC FPGA Family

Sponsored by Mouser Electronics and Microchip

FPGA SoCs can solve numerous problems for IoT designers. Now, with the growing momentum behind RISC-V, there are FPGA SoCs that feature RISC-V cores as well as low-power, high-security, and high-reliability. In this episode of Chalk Talk, Amelia Dalton chats with KK from Microchip Technology about the new PolarFire SoC family that is ideal for demanding IoT endpoint applications.

Click here for more information about Microchip Technology PolarFire® SoC FPGA Icicle Kit