In the news

That’s because OneSpin Solutions in Booth #846 figured out the gnarly security problem that’s prevented more widespread adoption of the Cloud in EDA and the semiconductor industry. The need for proprietary design code to leave the office has been eliminated.

OneSpin is on John Cooley's DeepChip: My Cheesy Must See List for DAC 2013

OneSpin makes it to Gary Smith EDA's "What to See at DAC 2013" List! Stop by our Booth #846 June 3-5 to find out why.

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.

Brian Bailey writes at EDN:

"The myth is that nobody will trust their design to the Cloud and this is why EDA in the Cloud has not worked. I wrote a piece just the other day about a new OneSpin effort in which they avoid ever putting the customer design on the cloud, instead only putting small abstractions of it there from which the design cannot be reassembled."

Several companies have tried to move EDA into the cloud, and for very good reasons. The demand is there, but there has always been that large bogey – the security of the design. OneSpin believes they have the solution. They are not trying to create ultra-secure computing environments; in fact they are using Amazon hosting services for their cloud venture. Instead they have created a rather unique client-server architecture.

OneSpin Solutions has unveiled Spinnaker™, its service partners program and named five inaugural members. Inaugural members are Methods2Business, Oski Technology, Syosil, Terastatic and Test and Verification Solutions (TVS), all certified to offer services using either the OneSpin 360 EC™ or the 360 DV™ Product Families.