( ESNUG 438 Item 1 ) -------------------------------------------- [01/18/05]

Subject: the Cooley Analysis of the $285 Million Cadence-Verisity Merger

Hi, ESNUG readers,

I thought before I compiled the user responses, I'd write my own reactions
to this surprise Cadence-Verisity merger news.

My gut reaction is "What the heck is Cadence thinking?!"

With $285 million in cash for Verisity, Cadence is pretty much getting:

    1.) The Verisity proprietary language and simulator Specman "e"
        plus the verification IP libs written in proprietary "e".

    2.) The Axis emulator.

    3.) A negligible (under 10%) gain in marketshare in the limited code
        coverage/linter market.


Last May I published the DVcon'04 Trip Report and it had a lot of user
survey data showing how speciality functional verification languages
like Verisity Specman "e" and Synopsys Vera were both dying.


From http://www.deepchip.com/items/dvcon04-05.html


    "Where do you think specialty functional verification languages be in
     5 years?  Dead or a growing part of the chip verification process?"

     Dead :  ########################################################## 81%

  Growing :  ############## 19%


    I consider Vera and e niche languages.  SVC-SystemC/System Verilog  
    eventually obsoletes them.

        - Karl Kaiser of EcoLogic GmbH


    No Specman.  No Vera.  We don't use stuff that will be dead in 5 years.

        - Winston Worrell of Microsoft


    Since SystemC didn't cut it for us, we'll probably use Verisity (for the
    first time).  I have no real experience of Vera.  I hate the idea of yet
    another specialty language, so I hope that SystemC SCV or System Verilog
    will win out over time.  Eliminating PLI/FLI also seems like a win in
    terms of sim time.

        - Christine Gerveshi of Agere Systems


    We've been using "e" for the past design, and it has heavy usage among
    our company -- a lot of the IP receive internally comes with "e" code
    for verification.  Verisity has a pretty mature flow, usage, and
    user base.  

    Janick Bergeron's presentation during SNUG was impressive, and we look
    forward to his Verification Methodology Manual.   If his methodologies
    work well with one language -- System Verilog -- then I can see us
    moving in this direction, rather than staying with proprietary solutions.
 
        - Mark Curry of Texas Instruments


    We have tried some of the SystemC SCV techniques.  Not interested in
    the e vs. Vera language war.

        - [ An Anon Engineer ]


    We use SystemC.  There won't be much need for SystemC/Vera/E in a few
    years after System Verilog comes on line.

        - Mark Dorland of Banderacom


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

Three public languages/approaches are going to replace Verisity Specman "e"
and Synopsys Vera: SystemC, System Verilog, and Assertions.

Cadence has a strong position in SystemC with its NC-SystemC and TestBuilder
tools.  Synopsys has a strong position in System Verilog.  And Assertions
are still anyone's game.


From http://www.deepchip.com/items/dvcon04-03.html


       "Do you see your project using SystemC in the next 6 months?"

          not in the
         next 6 months :  ################################## 68%

           yes we will :  ################# 32%


    I use NC-SystemC to make a tool to analyze STBUS.  It's been a valuable
    tool to analyze the STBUS Bus.  I used NC-SystemC with SimVision for
    analyzing the transactions.  I feel it will be good if Cadence can come
    up with something that is a level higher than transactions, such as a
    message so that we can analyze a group of transactions.  I also feel that
    more demos should be given by Cadence telling about new features of
    products and briefly mentioning the old ones.

    I was not at all happy with the use of the debugger with NC-SystemC and
    wasn't able to use it for my design.  Even with help of local Cadence
    engineers it took a lot of time to resolve the problem.  I finally found
    a small work around to do things which was very crude and takes lot of
    time to debug.

    Code Coverage is not available for C++ code.  As I use mostly NC-SystemC,
    I want a coverage tool for C++ (NC_SC, SystemC).  It is usually needed
    for the end of design when the time is less, so I guess most designers
    skip this part due to tight deadlines.

        - Sudhanshu Chadha of STmicroelectronics


    We will go down the SystemC route with out current project and will be
    using it principally for verification - including HW/SW co-verification.
    We are likely to use the Cadence SystemC tools.

        - Fraser Dallas of Motorola GSG (Scotland)


    We are actively using SystemC now, and have been for over 1 year for
    system level modeling (performance and architecture).

        - Scott Runner of Qualcomm


From http://www.deepchip.com/items/dvcon04-04.html


     "Do you see your project using System Verilog in the next 6 months?"

          not in the
         next 6 months :  ######################################## 79%

           yes we will :  ########## 21%


    I'm "play using" with the System Verilog features now.  We're seriously
    considering using many System Verilog 3.0 design constructs, and likely
    System Verilog 3.1 testbench constructs in our next design (starting
    Q2 2004).  I can say it's almost a certainty that we will use some of
    the System Verilog 3.0 design features.  The "play use" right now is
    just to see which features are worth persuing, and which aren't
    useful/would cause too much trouble.

    This is pushing us towards Synopsys tools; we were impressed by Synopsys
    coverage of System Verilog at SNUG.  (Although MTI looks good, too.)

        - Mark Curry of Texas Instruments


    Yes to System Verilog, high level sim, also verification.

        - Stefan Rohrer of Micronas GmbH


    Yes.  I'm looking at the possibility of including System Verilog
    verification functions with our delivered coreware.  Currently, I'm
    playing with a small project using VCS NTB to learn OpenVera to see
    if System Verilog will work for us when it has the verification
    function (3.1a?)

        - George Gorman of LSI Logic


From http://www.deepchip.com/items/dvcon04-06.html


     "What do you think of assertion languages and assertion libraries
      such as SVA, PSL, OVL, 0-In CheckerWare?  Useful or busy work?"

          don't use :  ############################################### 47%
      IBM Sugar/PSL :  ################################## 34%
   0-in Checkerware :  ################## 18%
        Verplex OVL :  ################# 17%
 System Verilog SVA :  ####### 7%
  Synopsys Vera OVA :  ####### 7%


    We are writing properties in PSL and our own interface specification
    language, named CWL.  (PSL is for white box property, CWL is for
    black box property.)

        - Satoshi Kowatari of Fujitsu


    We support SVA/OVA and PSL.  Going to try 0-in.

        - Umberto Rossi of STMicroelectronics


    We use ABV everywhere - designers write PSL to capture assumptions, spec
    teams propose white box assertions.  We have ABV on std (OCP) interfaces.
    We use PSL to trigger coverage and reactive testbenches.  SVA looked
    attractive but in our time window PSL was ahead in tools support.

        - Pete Cumming of Icera Semiconductor


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

On the emulator front, all my evidence points to the fact that Cadence
Palladium owns this turf.  Verisity Axis is a 2nd place runner up.  There's
even a direct Palladium vs. Verisity Axis benchmark in ESNUG 428 #1 were
Palladium kicks Verisity Axis butt.


From http://www.deepchip.com/items/dvcon04-11.html


     "Does your company use HW emulators/accelerators like Cadence
      Quickturn Palladium, Mentor IKOS/Meta Systems, Verisity Axis,
      Tharas, Pittsburgh Simulations, EVE, or Aptix?"

                don't use :  ########################## 52%
      homebrew with FPGAs :  ########## 20%

        Cadence Palladium :  ###### 11%
            Verisity Axis :  #### 7%
              Mentor IKOS :  ## 3%
            Mentor Celaro :  # 2%
                      EVE :  # 2%
            Tharas Hammer :  # 2%
                    Aptix :  ## 4%
                   Alatek :  # 1%
           Pittsburgh Sim :  0%

    Subtracting out all 72% of the "don't use" and "homebrew FPGA" people
    leaves only the commercial emulators:

        Cadence Palladium :  ####################################### 39%
            Verisity Axis :  ######################## 24%
              Mentor IKOS :  ########### 11%
            Mentor Celaro :  ###### 5%
                      EVE :  ###### 5%
            Tharas Hammer :  ###### 5%
                    Aptix :  ############# 13%
                   Alatek :  ### 3%
           Pittsburgh Sim :  0%


    Palladium.  We regress on Palladium instead of workstations.  The setup
    depends on the mode used and the size of the design -- no more than
    a 1-2 weeks.

        - Carl Harvey of Cirrus Logic


    Overall, Palladium's ICE is a key tool of our verification process and
    low level driver development.  It's now well integrated in our design
    flow and we use it heavily -- 24 hours per day over 7 days.  We plan to
    continue using Palladium for larger SoC verification assuming its run
    time performance is improved.

        - Patrick Rousseau of Philips


From http://www.deepchip.com/items/0428-01.html


    When we benchmarked Palladium vs. Axis, Cadence got the in-circuit
    emulation working in less than 2 weeks.  Axis could not get it working.

    When you are not capturing waveforms, Palladium's speed advantage over
    Axis is minor.  But once you start capturing waves, Axis slows down by
    a factor of 4, while Palladium maintains its speed.  Once you actually
    try to debug something, suddenly Axis is 4 times slower.

        - [ The Black Knight ]


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

On the financial side:

                          Revenue       Net Income
                         ---------      ----------
        Verisity 2001:  $38,737,000     $4,698,000
                 2002:  $52,524,000    $13,350,000
                 2003:  $48,500,000     $8,670,000

Verisity made money for these last 3 years.

Not all the data for 2004 is in yet, but:

                          Revenue       Net Income
                         ---------      ----------
     Verisity 2004 Q1:  $11,042,000    -$2,212,000
                   Q2:  $13,701,000    -$2,450,000
                   Q3:  $15,519,000    -$3,287,000

Which totals to $7,949,000 in Net Income losses on $40,262,000 of Revenue
for the first 3 quarters of 2004 for Verisity.  Ouch!  Unless there's
some miracle turnaround in Q4 that wipes out those losses of the prior
3 quarters, Verisity will have been losing money in all of 2004.


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

So, from where I sit, Cadence was going great guns in a growing SystemC;
"me, too" in a growing System Verilog; and it was playing respectfully
in the unresolved but growing Assertions wars.  Now for $285 million in
cash, Cadence is getting an EDA company that's lately been losing money
selling what surveyed users say is a dying proprietary functional
verification simulator along with some proprietary verification IP, and
a 2nd rate Axis emulator that Cadence Palladium already beats.

Hence my question: "What the heck is Cadence thinking?!"

This could be some sort of genius move by Cadence, but I just don't see
it from where I'm sitting.

Now let's read what the others have to say about this merger...

    - John Cooley
      ESNUG/DeepChip.com                         Holliston, MA


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)