RISC-Vでは、用途に合わせてライセンスフリーで自由にISA(命令セットアーキテクチャ)を設計できるため、特定のアプリケーションに特化したRISC-Vプロセッサのニーズが高まっています。
RISC-Vの機能検証にフォーマル手法を用いることで、RISC-V互換であることやカスタム命令が機能的に正しいことを完璧に検証することが可能です。本セッションでは、シーメンスEDAのフォーマル検証手法を適用したRISC-Vフォーマル検証ソリューションをご紹介いたします。