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

OneSpin Solutions Reaches for the Cloud, Driving New Technology, Business Model 
for Easy Adoption 
360-CS Provides On-Demand Usage Flexibility, Parallel Performance,
While Solving Security Issues 
SANTA CLARA, CA -- (Marketwired) -- 05/15/13 --  OneSpin
Solutions(TM) (, 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.  
"OneSpin's cloud-based business model offers a level of flexibility
that will be a refreshing change for companies looking to introduce
this powerful verification technology at their own pace, without
learning curve and investment barriers," notes Holger Soukup, head of
R&D Hi-Tech Electronics at Tieto Embedded Systems. "Additionally,
this approach will be attractive for us as a system development
service provider to individually enrich our verification coverage on
a per-customer/per-project-basis. This new cloud-based business
option confirms OneSpin as one of the most innovative companies in
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
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:  
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and
GapFreeVerification are trademarks of OneSpin Solutions GmbH. All
other trademarks are the property of their respective owners. 
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822 
Press spacebar to pause and continue. Press esc to stop.