close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

In the news

EE Journal - Fish Fry: Cloudy with a Chance of EDA

Amelia Dalton interviews OneSpin CEO Raik Brinkmann for EE Journal on FPGAs and Design Automation in the Cloud.

Fish Fry heads into the cloud this week. We talk with two different CEOs from two different EDA companies about how their forays into the cloud set them apart from the rest of the EDA pack and promise to make our design lives a whole lot easier. With Dr. Raik Brinkmann (CEO - OneSpin Solutions) we discuss OneSpin's formal verification tool suite and how it works in the cloud, and why Raik thinks karate and engineering have a lot in common. We also chat with Harn Ng (CEO - Plunify) about how this Singapore-based EDA company is looking to revolutionize the FPGA design process.

Read more

EDA Cafe: OneSpin’s Successful Return to DAC

After sitting out DAC last year, OneSpin Solutions was back, exhibiting and demonstrating our innovative formal assertion-based verification and formal equivalence checking solutions.

Overall, we considered the 50th DAC to be a great success. From what we heard, we weren’t alone in our assessment. The exhibit floor was busy all three days and the technical sessions hopping. In general, most of the exhibitors were happy with attendance and thought DAC was worthwhile. No one knew what to expect, given the Austin location and the general health of the economy and EDA industry.

We’re pleased with the number of leads we collected from DAC and attribute much of it to our pre-DAC marketing and public relations campaign. We started upping our visibility around November last year and went into high gear at DVCon earlier this year. I highly recommend this strategy to all DAC exhibitors for next year.

The OneSpin leads collected over the three days offer a look into the demographic makeup of this year’s attendees. About 75% of attendees who visited OneSpin’s booth were from the United States and almost half of those were from Texas. Most of the other visitors hailed from California, while about 9% were from Europe and 8% from Southeast Asia and Japan. What may be most interesting is a whopping 86% of attendees who visited our booth were from large, well-known companies.

Read more

EDACafe: Should EDA Still Have Its Head in the Cloud?

Tom Anderson of Breker Verification Systems shares his view on EDA in the Cloud

A year or two ago, cloud computing was a hot topic at EDA events and conferences. The industry’s largest player, Synopsys, talked a lot about running their EDA tools in the cloud and claimed a great deal of customer interest in this area. Earlier this year, CEO Aart de Geus was quoted as saying that “Synopsys had made $0 on it.” What happened? Is the idea of EDA in the cloud dead? What are the issues preventing its adoption?

Read more

EEJournal: Formal in the Cloud - OneSpin’s New Spin on Cloud Computing

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.

Read more

Renesas' Toru Shimizu At DAC 2013


  • 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.
Read more

EDA Cafe: OneSpin Reaches for the Cloud

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.

Read more

Press Contact

Michelle Clancy
» send an e-mail
» +1 503-702-4732