Author: JT Smith
EE Times reports: “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 Licsense.”
Category:
- Open Source
