( ESNUG 451 Item 3 ) -------------------------------------------- [02/08/06]

From: John Cooley <jcooley=user domain=zeroskew spot calm>
Subject: Synopsys beta testing a "pure" C-to-RTL EC tool similar to Calypto

Looks like Mike Santarini of EDN snagged an unannounced EDA tool scoop
yesterday -- Synopsys is beta testing a "pure" C-to-RTL equivalence checker
that indirectly competes with Calypto.

              http://www.edn.com/article/CA6305699.html

Calypto SLEC is a SystemC-to-RTL EC tool, so it's only a matter of time
before Synopsys directly competes with Calypto.  My congrats to Mike.

    - John Cooley
      ESNUG/DeepChip.com                         Holliston, MA