新たな機能検証手法

デジタル回路設計の検証を開発の初期段階に移行するための理論と手法を紹介します。トピックには次の概要が含まれています。

• シリコン化前の妥当性確認
• エミュレーション
• フォーマル検証
• システム仕様
• 検証

設計プロジェクトは、このコースの重要な部分です。学習者は、最新のデジタル設計を検証するさまざまな手法を使用して経験を積むことができます。このコースでは、理論と方法論を学習した後、エミュレーション (Veloce) とフォーマル手法を実践的に経験します。このコースの資料は、他のECEプリ / ポストシリコン機能検証コースでも補足資料として使用します。