DAC'19 Troublemakers Panel in Las Vegas, NV
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.
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)