In a message dated: Wed, 11 Oct 2000 17:59:31 EDT
"Carl D. Walker" said:

>Paul Lussier wrote:
>
>> Synopsys and Cadence are by far the 2 leaders.  Specman is an up and comer.
>> They're no where as larges as these other 2, but they're getting a lot of
>> attention for their product (Verisity) (I can't really give you details,
>> since I'm not in EDA, and I don't know much about the tools themselves,
>> just what they are and who provides them).
>
>Just to set the record straight; The company is Verisity, and the product is
>Specman.

You'd think I'd be able to get that right by looking at the "SpecManiac" shirt
I have from them ;)

>As Verification tools go, they are starting to get the right idea. Specman
>(really the 'e' language itself that Specman provides) is a bit more to
>my liking than my last project, which was written in Vera (The Synopsys 
>entry into the field of Verification languages), but they all lack a little
>something when you are used to having C++ linked into the simulator PLI.

Is Vera something different from Verilog? Sound like it.  Where does Verilog 
come from, Cadence?  And what ever happened to VHDL?  Emacs seems to have a 
VHDL mode, but not a Verilog mode (or did I not look hard enough?),
why is that?

>The only holdup to "doing things right" at the moment is Rational's
>Atria / ClearCase. They are promising to support "Tier II" platforms
>(Linux being one of them) in the very near future (months).

That's interesting.  I've been in CC world for a long time.  Now that I'm in 
the Linux world full time, I've lost track of what's going on in CC world over 
the last 6 months.  Before I left Bay Networks, my CC reps were telling me that
CC would be release for Linux early in Q2-2K.  Since they've been rumored to 
have had a port to Linux for years now, I'm curious to know what the holdup is!

-- 
Seeya,
Paul
----
           I'm in shape, my shape just happens to be pear!

         If you're not having fun, you're not doing it right!



**********************************************************
To unsubscribe from this list, send mail to
[EMAIL PROTECTED] with the following text in the
*body* (*not* the subject line) of the letter:
unsubscribe gnhlug
**********************************************************

Reply via email to