OneSpin Solutions Offers Full Availability of Its Cloud Computing System After Successful Beta Program

OneSpin Solutions Offers Full Availability of Its Cloud Computing System After 
Successful Beta Program 
Secure On-Demand Usage, Parallel Performance Through Amazon Web
SANTA CLARA, CA -- (Marketwired) -- 09/24/13 --  OneSpin(R) Solutions
(, provider of innovative formal
assertion-based verification (ABV) and formal equivalence checking
solutions, announced today full availability of its Cloud Computing
System after a successful 90-day, limited-trial Beta program. 
"With a successful limited-trial program drawing to a close, we can
confirm the scalability and performance benefits of an EDA Cloud
Computing strategy for static verification solutions," says Dr. Raik
Brinkmann, OneSpin Solutions' president and chief executive officer.
"Companies have expressed confidence in the improved performance,
security and accessibility of our solutions." 
The OneSpin Cloud Computing System, available via the Amazon Web
Services(TM) (AWS) Marketplace, provides secure and fully automated
solutions for advanced formal verification (FV), offering the
functionality provided by OneSpin 360 DV-Inspect(TM) and 360
One Beta program participant was brightONE(TM) Embedded Systems, a
service provider for smart product engineering, including field
programmable gate array (FPGA)-based solutions. "As a Beta tester for
OneSpin's Cloud Computing System, we were able to fully utilize this
powerful verification technology and extend our coverage on a
per-customer/per-project-basis," notes Holger Soukup, its head of R&D
Hi-Tech Electronics. "OneSpin has implemented a creative approach to
a vexing problem. This could represent a breakthrough for EDA tools
in the cloud." 
Unveiled in May, OneSpin's Cloud Computing Systems is simple to use
and designed to give project teams flexibility previously unavailable
for electronic design automation (EDA) tools. Design security is
assured by leveraging the operational model inherent in OneSpin's
Formal Verification software, which does not require the transfer of
intellectual property to and from the cloud.  
"Amazon welcomes OneSpin to the AWS Marketplace as part of an
increasing trend toward scalable, cloud-based EDA solutions," says
Sajai Krishnan, GM, AWS Marketplace. "We are excited to have the
power, economy and flexibility of the AWS cloud available to our EDA
customers via OneSpin's Cloud Computing System." 
Pricing and Availability 
OneSpin's Cloud Computing System is available now, with no upfront
investment required to use the tools, available on a pay-per-use
basis in AWS Marketplace. Pricing starts from $25 per hour for
running the 360 DV Inspect functionality in the Cloud.  
For more information, 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, 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: 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.