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

Semiwiki: Integrating Formal Verification into Synthesis

Formal verification can be used for many things, but one is to ensure that synthesis performs correctly and that the behavior of the output netlist is the same as the behavior of the input RTL. OneSpin EC equivalence checking ensures that the RTL design and the output gate-level netlist will produce the same results for the same inputs under all circumstances.

Read more

EE Times: EDA/IP Weekly Round Up

OneSpin Solutions and Oasys Design Systems have signed an original equipment manufacturer (OEM) agreement. OneSpin 360 EC-ASIC is being used for synthesis verification, comparing two representations of the same design before and after synthesis to ensure functional equivalence.

Read more




EE Times: Prediction for 2013 – Technology

A few weeks ago, I asked many people in the industry for their predictions for 2013. I separately asked for those related to technology in general, to the EDA industry and for business predictions. In this first part I will be presenting their technology predictions.

Read more

EE Times: A look back on 2012: Business successes

It seems as if 2012 was a good year for almost all of the respondents of my 2012 survey and many of them have some good news to share. OneSpin Solutions took a lower profile mid-year 2012 and was rewarded with the opportunity to reassess the verification space.

Read more


Press Contact

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