本ウェビナーは終了しました
フォーマル検証ツール VC Formal には、検証を効率的に行うことが可能な、様々なアプリケーションがあります。その中の1つであるレジスタ検証 (FRV App:Formal Register Verification Application) についてご紹介いたします。
レジスタ検証 (FRV App) では、IP-XACT 規格に準拠したレジスタ記述 (CSV 入力も対応) を行うことで、
制御レジスタ回路に対して、AHB 等のバスインターフェイス経由でのアクセス (Front door) および内部からのアクセス (Back door) も網羅的に検証が可能です。
また、検証で必要なプロパティも自動生成されるため、ユーザーによる SVA 実装は不要です。
本ウェビナーでは VC Formal FRV の概要から具体的な実施方法まで、レジスタ検証のフロー全体をご紹介いたします。
フォーマル検証を使用した検証品質ならびに効率向上にご興味のある方は、ぜひともご参加ください。
◆ 講師
日本シノプシス合同会社 アプリケーションエンジニア 上田 淳
◆ アジェンダ
NEW 2022/5/23 - シノプシスとアナログ・デバイセズ社、パワーシステム開発の効率化で協業
2022/5/19 - シノプシスによる調査の結果、ソフトウェア・サプライチェーンで使用されているオープンソース・コンポーネントに潜むリスクの管理にあたっての重要課題が明らかに
2022/4/27 - シノプシス、NTTからNTT Application Security社を買収
2022/4/22 - シノプシス、アプリケーション・セキュリティ・テストに関するガートナー社のマジック・クアドラント評価 2022で、“リーダー”に6年連続で指名される
2022/04/19 - シノプシス、業界最高速のニューラル・プロセッサIPの提供を開始
2022/3/30 - シノプシス、幅広い選択肢を提供する業界初のクラウドSaaSソリューションの提供を開始。チップ開発環境の風景が一変