近年、オープンで拡張性の高い RISC-Vを採用したプロセッサを自社で設計する動きが加速しています。一方で、その検証には、命令レベルでの規格準拠の確認だけでなく、割り込み・例外処理の正しさや、パイプライン起因のコーナーケースまで含めた高い品質保証が求められます。このような課題に効果的に対処するには、従来の RTL 検証ツールだけでは不十分であり、RISC‑V に特化した検証環境が不可欠です。本ウェビナーでは、RISC-Vプロセッサ検証の品質と効率を大きく変えるシノプシスの最新ソリューションについてご紹介します。
ご参加は無料です。ぜひこの機会をお見逃しなく。
◆ 開催日時
2026年 4月 23日(木) 13:30-14:15
#[ZOOM Webinar]を使ったオンライン配信を予定しております。
◆お申込み (ウェブサイトより承っております)
#ご勤務先のEmailアドレスでお申込みください。
#ご登録後にZoomシステムよりご視聴案内メールをお送りいたします。
(@zoom.usドメインのメールを受信できるようご設定ください)
◇ アジェンダ
● RISC‑V検証の全体像
● 期待値モデルとの比較による不一致の即時検出
● 検証効率と品質を大幅に向上させるテストジェネレータ
● 命令列不要で正しさを証明するフォーマル検証
● まとめ / Q&A
講 師: 日本シノプシス合同会社
カスタマーサクセスグループ アプリケーション・エンジニアリング
シニア・エンジニア 廣畑 和樹