本イベントは終了いたしました
近年、オープンで拡張性の高い RISC-Vを採用したプロセッサを自社で設計する動きが加速しています。一方で、その検証には、命令レベルでの規格準拠の確認だけでなく、割り込み・例外処理の正しさや、パイプライン起因のコーナーケースまで含めた高い品質保証が求められます。このような課題に効果的に対処するには、従来の RTL 検証ツールだけでは不十分であり、RISC‑V に特化した検証環境が不可欠です。本ウェビナーでは、RISC-Vプロセッサ検証の品質と効率を大きく変えるシノプシスの最新ソリューションについてご紹介します。
ご参加は無料です。ぜひこの機会をお見逃しなく。
◇ アジェンダ
● RISC‑V検証の全体像
● 期待値モデルとの比較による不一致の即時検出
● 検証効率と品質を大幅に向上させるテストジェネレータ
● 命令列不要で正しさを証明するフォーマル検証
● まとめ / Q&A