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

DAC'19 Troublemakers Panel in Las Vegas, NV

Deep Chip logo

By John Cooley, Deepchip.com

Raik on OneSpin's four formal technologies the others don't have

Cooley: Raik. You're getting slaughtered by Cadence's Jasper. You went up against Jasper couple of years ago. You were on this panel.

(See ESNUG 563 #5 and ESNUG 563 #9)

In 2016, you were going to make it ... Jasper's #1 in #1 "Best of 2016", from killer capacity & debug OneSpin's #2 in #1 "Best of 2016", the "we try harder" company And how JasperGold compares to OneSpin in the Formal Apps biz ... but in every later survey I've ever seen, you OneSpin guys are just trounced. 

Raik: You think so? Your surveys may be wrong. Cooley: No, I seriously. I mean, it's across the board. For generalized formal, you're just not in the game. Not that I'm seeing. I'm seeing an Anirudh take it with Jasper. (See DAC'18 #7)

Read more

CEO Perspective – Innovation Requires IC Integrity

ESDA Semi logo

By Raik Brinkmann, OneSpin Solutions

I’m fascinated with cars, and there is a very famous car maker museum that I visited recently where they gave a thorough rundown of the history of each of their cars from how they are designed, to the materials they used, to the evolution of energy efficiency. It wasn’t until the last exhibit where they talked about the future of automobiles and how AI, including machine learning, is the driving force behind the next several generations of cars and transportation in general. The exhibit went on to explain how each phase of autonomous learning will be exponentially more difficult than the one before. Each phase requires more significant “horse‐power” in terms of data processing, how that data gets connected to everything else, and the customizations “under the hood” to the processors and SoCs.

Read more



A Deep Dive into AI Chip Arithmetic Engines

By Sergio Marchese, Technical Marketing, OneSpin

Artificial intelligence (AI) is steadily progressing toward advanced, high-value applications that will have a profound impact on our society. Automobiles that can drive themselves are perhaps the most talked about, imminent technological revolution, but there are many more applications of AI.

Read more


OneSpin, Trinamic, MINRES, and GreenWaves Introduce the RISC-V EMEA Roadshow

As RISC-V’s community grows ever larger, the RISC-V Foundation has announced its 2019 EMEA roadshow, Getting Started with RISC-V.

Electronics Point talked to three experts who will be speaking at the event: OneSpin’s Rob van Blommestein, Trinamic’s Onno Martens, MINRES Technologies’ Eyck Jentzsch, and GreenWaves Technologies’ Martin Croome.

Read more

Automated connectivity checking with formal verification

By Tom Anderson, Technical Marketing, OneSpin

Formal verification traditionally has been regarded as an advanced technique for experts to thoroughly verify indi- vidual blocks of logic, or perhaps small clusters of blocks. The appeal of formal techniques is the exhaustive analysis of all possible behavior for the design being verified. This stands in sharp contrast to simulation, which exercises only a tiny fraction of possible behavior by running specific tests. If no test triggers a design bug, the bug will not be found. If the bug is triggered but no change in results is observed, the bug will not be found. Given a sufficiently robust set of properties to describe intended behavior, formal tools can not only find all bugs but also prove that there are no more bugs to be found.

Read more

Press Contact

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