( DAC 99 Item 16 ) ----------------------------------------------- [6/25/99]

    "Cadence: went to Verification Cockpit presentation, formal methods
     emphasis.  Seems their formal model checking is too raw to be useful.
     Seems Cadence is playing catch-up to the likes of VCS and Chrysalis
     by acquiring Design Acceleration and stitching it into a cockpit
     to try to sell as a solution.  The glory days of Verilog-XL are
     gone.  Cadence is slipping.  They are a logic verification has-been."
     ( http://www.cadence.com )

         - an anon engineer