JEDA

JEDA Technologies概要

JEDA Logo

●　設立：　2002年
●　ミッション：　System Level検証自動化ツールの開発・提供
●　社員総数：　28名（2008年1月1日現在）
●　ベンチャーキャピタルより出資

JEDAはC/C++/SystemC/で動作する検証環境を提供します。
C/C++/SystemC上でアサーション検証・カバレッジ検証・ランダム検証を実施することで、より効率的・効果的なトップダウン設計を可能にします。

NSCはC++/SystemCを用いてESL設計を実施する際の検証環境ツールです。

NSCが提供するメソドロジ:
1.C/C++/SystemCカバレッジ検証
2.C/C++/SystemCアサーション検証
3.C/C++/SystemCランダム検証

Benefits:
・システムレベル検証～ハードウェア検証フローの中で、検証環境の再利用性の向上
・システム上の制約のチェックの自動化
・パフォーマンスチェックの自動化
・プロトコルチェックの自動化
・デバッグの効率化
・Modelの品質の定量化
・テストベンチ（シナリオ）設計の効率化

NSC環境で実装した検証IPを提供いたします。