OneSpin Solutions Invites DAC Attendees to Beta Test New Cloud Computing System

OneSpin Solutions Invites DAC Attendees to Beta Test New Cloud Computing System 
Approved Projects Teams to Access Cloud Servers at No Software Charge
Until August 30 
SANTA CLARA, CA -- (Marketwired) -- 06/03/13 --  50th Design
Automation Conference Booth #846 --  OneSpin Solutions(TM)
(, provider of innovative formal
assertion-based verification (ABV) and formal equivalence checking
solutions, invites attendees of the 50th Design Automation Conference
( to become Beta users of its new Cloud Computing System. 
Approved project teams will be able to access cloud servers at no
charge, less a minimal charge to Amazon for the cloud service, until
August 30.  
OneSpin, in DAC Booth #846, unveiled in May its Cloud Computing
System with functionality provided by OneSpin 360(TM) DV-Inspect and
360 DV-Verify. Simple to use and easy to adopt in a flow, it is
designed to give project teams flexibility previously unavailable for
electronic design automation (EDA) tools, while eliminating barriers
to adoption. Design security has been solved by leveraging the
operational nature inherent in OneSpin's Formal Verification
To schedule meetings to discuss participation in the Cloud Beta
Program, contact Jim Cantele, vice president of worldwide sales, who
can be reached at (650) 539-9235 or via email at Or, stop by the OneSpin Solutions
DAC Booth (#846) Monday, June 3, through Wednesday, June 5, from 9
a.m. until 6 p.m. daily in the Austin Convention Center in Austin,
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.