Open-Source Verification Language

An Anonymous Coward writes: "Atsushi Kasuya, verification engineer at Juniper Networks Inc., didn't like any of the existing languages used for verification -- so he wrote his own. Now Kasuya is offering his C-like language, Jeda, to the design community on an open-source basis under the GNU Public License."

So...

[Ranger Rick]

What makes a "verification language" different from any other? The linked site appears to already assume a knowledge of what one is, and it wasn't explained in the blurb.

Verification Language

[JMZero]

A verification language is used to put a chip in design through its paces. A program like Verilog is used to design a chip, then engineers will write test programs for the chip and see what happens. Those will be written in a verification language.

Someone else could explain this better most likely.

There already is a free verification language

[jorbettis]

Vera [open-vera.com] was released as Free Software a while ago. It isn't GPL, but the license looks alot like the GPL. I wonder if one program going Free puts pressure on its compeditors to become Free too.

Appearently, one of the reasons Synopsys released Vera as Free Software was to make it an ubiquitous "industry standard" verification langague. Now, if other verification langages are to survive, they must even the playing field by becomming Free as well.

Just a thought.

GPL

[return 42]

Sigh...everyone makes that mistake.

Repeat after me:
GNU General Public License.
GNU General Public License.
GNU General Public License...