The live DAC'22 Troublemakers Panel


 Cooley: Ravi.  Why are you sitting here instead of Joe Sawicki? 

   Ravi: Well, Joe Sawicki sends his sincere apologies that he could not be 
         here at DAC, but he was involved in a bicycle accident and had a
         broken collarbone and concussion.  

         He is recovering, but he's not allowed to fly, and that's why Joe's
         not here today.  And they are some formidable sized -- I guess size
         12 to 14 -- shoes to fit, and I will do my best to be here in his
         stead.  We wish him well and sorry he couldn't be here.

 Cooley: Okay.  Since this Joe always gets the first question, you get the 
         honor this year, Ravi.  

         Siemens/Mentor acquired OneSpin just over a year ago.  So, how is 
         OneSpin going to take on Jasper?

         Was it a mistake for Siemens to buy OneSpin?  [laughter]

   Dean: Fill those shoes baby.  [laughter]

   Ravi: It was absolutely not a mistake.  In fact,  if I would say -- from
         the collective minds that conceived the idea -- a brilliant move.
         Here's what we see happening.

         The formal verification world has been a world really dominated by
         PhDs as the only users.  Cadence Jasper pioneered an apps-based
         focus -- an application-based focus -- that really expanded the market
         beyond mathematicians to verification engineers, and the first generation
         of those.  

         And they, Jasper, have done a stellar job in creating that Formal
         market -- and enabling a much, much bigger user base.  

 Cooley: Yes, they did it through Jasper apps.  

   Ravi: Exactly.  What we see, and what we saw happening in the formal 
         space was that Mentor, through its acquisition of 0-in, really had
         a strong solvers-first approach.

         As the forma market goes to an apps-first approach, there are more
         and more domains that need  specialized knowledge for applications.

         OneSpin was growing at about 35% to 40% a year, focused exclusively
         on driving formal applications, such as for safety, security, RISC-V,
         and FPGA.  

            How CDNS COVID-19 indecisiveness gave Siemens #2 slot in Formal ABV
            OneSpin's "going where Cadence isn't" approach is Best of 2020 #4a
            OneSpin extensible ABV plus formal linting is the Best of 2020 #4c
            OneSpin DV-Verify's surprise comeback in ABV is Best of 2019 #5a
            OneSpin in formal areas where Cadence is NOT is Best of 2019 #5c
            JasperGold and OneSpin both get #11 in 2017 for "Best of" EDA tools
            OneSpin's #2 in #1 "Best of 2016", the "we try harder" company
            And how JasperGold compares to OneSpin in the Formal Apps biz
            Raik & Sawicki on OneSpin, Questa FV, Jasper, and formal apps
            Raik on OneSpin's four formal technologies the others don't have
            Raik and Hogan on formal apps, formal engines, and SNPS VC Formal
            Raik on it's only OneSpin vs. Jasper in formal; not SNPS nor MENT
            OneSpin CEO cites 8 "insufficiencies" in Jim Hogan's Formal Guide
            Hogan on Cadence, Mentor, OneSpin, Real Intent, Synopsys formal

   Ravi: So, the Siemens acquisition of OneSpin is really to take the next
         generation of formal apps; which is going beyond property checking;
         into various vertical markets.  

         And OneSpin, now part of Siemens EDA, is really driving the growth
         of formal.  Before the 2021 OneSpin acquisition:

           - Cadence had approximately 55% of the formal market
           - Synopsys 20%
           - Siemens EDA ~13% 
           - OneSpin approximately 12%.  

         With the OneSpin acquisition, we're [Siemens EDA] immediately
         number #2 at 13% + 12% == 25% (with SNPS moved to #3.)  

         And OneSpin has continued, with Raik Brinkmann's leadership, to
         bring together formal solvers-first with apps-first -- to be able
         to create sustained Siemens-OneSpin tool growth at the same clip
         rate as Cadence Jasper.

         So, post-acquisition now, and we're just completing the first year
         of the acquisition, we at Siemens EDA expect that growth rate to
         continue.  And with the formal market growing broadly, we expect now to
         grow our Siemens EDA #2 position -- and to take on Jasper #1 with the
         next wave of formal apps.

 Cooley: 55% to Jasper.  You [Siemens EDA] are #2 at what... you are 12%?

   Ravi: We're #2.  We are at 25% total when we closed the acquisition.

         We are one year into the OneSpin acquisition -- we (Siemens) are
         probably a percentage point or two more up.  All of that is coming
         really at the expense of Synopsys VC Formal.  

 Cooley: Oh, okay.  All right.  

         Tom [Beckley], do you see OneSpin is a threat to Jasper and Cadence
         verification overall?

         How CDNS COVID-19 indecisiveness gave Siemens #2 slot in Formal ABV
       
         And do you at Cadence regret not buying OneSpin?  It sounds so good.

         [laughter]

Beckley: Well, since it's not my business group in Cadence, I'd probably 
         have fewer regrets than maybe Paul Cunningham does.

         [laughter]

         What I will say is there's no end to verification and Ravi is 
         right.  It is growing exponentially.  People don't know when to 
         stop verifying, whether it's at a functional level or more
         accurate than that.  I think this is a booming market and I think
         competition is good and we'll all be healthier as a result of it.

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

Related Articles:

    How CDNS COVID-19 indecisiveness gave Siemens #2 slot in Formal ABV
    OneSpin's "going where Cadence isn't" approach is Best of 2020 #4a
    OneSpin extensible ABV plus formal linting is the Best of 2020 #4c
    OneSpin DV-Verify's surprise comeback in ABV is Best of 2019 #5a
    OneSpin in formal areas where Cadence is NOT is Best of 2019 #5c
    JasperGold and OneSpin both get #11 in 2017 for "Best of" EDA tools
    OneSpin's #2 in #1 "Best of 2016", the "we try harder" company
    And how JasperGold compares to OneSpin in the Formal Apps biz