( ESNUG 588 Item 8 ) ---------------------------------------------- [11/15/19]

Subject: Raik on OneSpin's four formal technologies the others don't have
              DAC'19 Troublemakers Panel in Las Vegas, NV

   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.

      CDNS JasperGold dominates over SNPS VC Formal as #7 "Best 2018"

         [ Editor's Note: OneSpin was NOT even mentioned in the user
           survey results for the "Best of 2018" titles!   - John ]


     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)
  
     Raik: So, first of all, there are at least four formal areas
           where we [OneSpin] don't overlap with Jasper at all.  

           That's (1) FPGA Synthesis Verification, (2) C++ Verification.

           There is (3) Functional Safety.  There's some overlap if you
           think of it as a name, but if you look at the technology,
           there's not.

           And then (4) Trust and Security which is one of the newest
           areas we are investing in.

           I could add (5) RISC-V.  

   Cooley: Yeah, you have a lot of side technologies, I noticed that.  
           That's one of the reasons I wanted you up here.  

     Raik: They [these 5 technologies] make up a large part of our
           business.

   Cooley: Yeah.  

     Raik: The part where we overlap is interesting and it's one thing very 
           head-to-head.

           And we're winning more than we are losing.
           So that's giving us an edge.  And it's not just Jasper.

           It's Cadence Jasper, but also Mentor and Synopsys.  They're
           there as well.  We're competing with all three of them.  

        ----    ----    ----    ----    ----    ----   ----

Related Articles:

    Naveed and Costello discussing how SiFive/RISC-V will crush ARM
    Raik on OneSpin's four formal technologies the others don't have
    Costello on Metrics cloud Verilog is at right place, right time

Join    Index    Next->Item






   
 Sign up for the DeepChip newsletter.
Email
 Read what EDA tool users really think.




Feedback About Wiretaps ESNUGs SIGN UP! Downloads Trip Reports Advertise

"Relax. This is a discussion. Anything said here is just one engineer's opinion. Email in your dissenting letter and it'll be published, too."
This Web Site Is Modified Every 2-3 Days
Copyright 1991-2024 John Cooley.  All Rights Reserved.
| Contact John Cooley | Webmaster | Legal | Feedback Form |

   !!!     "It's not a BUG,
  /o o\  /  it's a FEATURE!"
 (  >  )
  \ - / 
  _] [_     (jcooley 1991)