本イベントは終了いたしました
近年、オープンで拡張性の高い RISC-Vを採用したプロセッサを自社で設計する動きが加速しています。一方で、その検証には、命令レベルでの規格準拠の確認だけでなく、割り込み・例外処理の正しさや、パイプライン起因のコーナーケースまで含めた高い品質保証が求められます。このような課題に効果的に対処するには、従来の RTL 検証ツールだけでは不十分であり、RISC‑V に特化した検証環境が不可欠です。本ウェビナーでは、RISC-Vプロセッサ検証の品質と効率を大きく変えるシノプシスの最新ソリューションについてご紹介します。
ご参加は無料です。ぜひこの機会をお見逃しなく。
◇ アジェンダ
● RISC‑V検証の全体像
● 期待値モデルとの比較による不一致の即時検出
● 検証効率と品質を大幅に向上させるテストジェネレータ
● 命令列不要で正しさを証明するフォーマル検証
● まとめ / Q&A
NEW 2026/10/21 - シノプシス、NVIDIA GTC Berlinで高速かつ高精度なエンジニアリング手法を公開
2026/9/30 - シノプシスとAmazon、カスタム・チップ設計向けの戦略的な複数年IP契約を発表:クラウドおよびAI活用エンジニアリングにも拡大して協業
2026/9/30 - OpenAI とシノプシス、GPT‑Synopsys を発表:最先端のAI技術でチップ設計を刷新
2026/9/28 - シノプシス、複数工程のステップを先まで見据えてタスクを連続的にこなすAIエージェント群とAutopilotプラットフォームの幅広いポートフォリオで、自律型エンジニアリングを推進
2026/9/23 - シノプシスとTSMC社、エージェント型AIによるAIシステムを用いた先端設計のイノベーション加速に向けて提携