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

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