> >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 ;)
>
Hey! I didn't get a shirt, and at what they charge per seat for the tool,
I ought to get a nice suit ;-)
> 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?
>
Vera is a language designed to work with either VHDL or Verilog. VHDL or
Verilog is used to describe the design itself, the stuff that will end
up being implemented in Silicon, if you will. Vera is designed to be
either used by a designer (the same guy writing the Verilog), or, as
is my case, a verification person.
You use Vera (or Specman's 'e') to write code that exercises the design,
so that you can prove that it works before committing the design to
silicon (an expensive and time consuming process, to say the least).
Vera is somewhat like Verilog, it's fairly easy to learn the basics,
and provides things that Verilog never did (like objects, re-entrant
tasks and functions, a convenient threading model, and a host of other
little niceties). Specman from Verisity does many of the same things
as Vera.
Verilog (NC and XL) come from Cadence, and VCS comes from Synopsys.
There are a host of other, smaller companies making simulators for
Verilog and VHDL as well. Just about everybody is jumping into
the Linux pool.
VHDL is still alive and kicking... I'm not a VHDL guy, so I will shy
away from the "vi vs emacs" like war that often breaks out between
Verilog and VHDL factions ;-) BTW, there are Verilog, Vera, Specman,
and other modes for emacs, so you need to dig a little more. Let me
know if you want a link.
> >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!
>
I don't know anyone there well enough to get the inside scoop, but I've heard
the same things from them while I was with Sun (I was in a group that were, and
still are, huge CC users). All I know is what I got in an email from a support
person from there the other day, and I think it said something about 90 days...
I'll have to go back and double check if there's any more information.
Perhaps "ASIC EDA and Linux" would make an interesting (short) topic for a LUG
meeting. I'd be willing to help put something together, as time permits, especially
if I can find another person in the same position to help put it together.
-Carl
**********************************************************
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
**********************************************************
