Slashdot Mirror

← Back to Stories (view on slashdot.org)

Open-Source Verification Language

Posted by timothy on from the free-as-the-wind dept.

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."

3 of 9 comments (clear)

  1. Verification Language by JMZero · · Score: 2, Informative

    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.

    --
    Let's not stir that bag of worms...
  2. There already is a free verification language by jorbettis · · Score: 2

    Vera 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.

    --

    Jordan Bettis

    ``Wherever you go, there's another stupid sigfile quote.''
  3. GPL by return+42 · · Score: 2, Informative
    Sigh...everyone makes that mistake.

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