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

    "HDL code coverage

     Surefire verification is on the show floor now.  Technology looks
     excellent.  They actually bundle a simulator and linter with code
     coverage and block-level test stimulus generation for under $25K.
 
     Covermeter, Verisure, et all are jumping each in tiny leaps.
     Recent enhancements include automated FSM extraction.  Yawn.
 
     Silicon Forest is unusable.  If I can't understand the demo for
     something as simple as functional verification coverage in 5 minutes,
     they don't understand what problem they are trying to solve.
     ( http://www.sifr.com )

     Didn't have time to check Leda."   ( http://www.leda.fr )

         - an anon engineer