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