While it hasn’t completely turned our lives upside down yet, yes, the cloud has worked its way into more and more things. And we’ve seen it tip-toe into the world of EDA, although it’s not clear that it’s really sticking so far, and it has some detractors, and there are even those who went to the cloud and then left again.
So was that not such a good idea? Is the cloud for EDA going the way of push technology?
Well, not so fast. OneSpin recently announced their use of the cloud. Yes, they’re aware of the other things going on, and they appear to have done their homework and were ready for the many questions I had for them. They’re doing things slightly differently from others, and they have what they believe to be a solution to the Achilles’ heel of EDA cloud solutions – a solution that’s unique to their EDA field.
Due to the wide range of different MCU types that are developed within a series of Renesas MCU’s in order to satisfy different applications we have developed the MCU-PF platform for both design and verification of a complete series of MCUs. A key issue is the effective verification for a combination of multiple IP components -this presents a significant task.
The test-case based simulation method of verification is widely used, but testcases are not reusable among MCU designs, and modification of the test-cases and the testbench takes a long time. Verification coverage is only partial when using test-case based simulation. As such we have developed the capability to use a Formal method of verification that provides full coverage of combinations of assertions while delivering significant reductions in both testing and verification time. Additional efficiency has been gained because the IP-Assertions are fully reusable along with the IP itself. This paper explains the methodology, its advantages and performance results compared to the simulation verification method.
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 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.
"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."