?本課程要關注使用Simulink Design Verifier??來確認設計不存在潛在錯誤，是經過充分測試的并滿足必要的設計需求。主要內容包括：

• Understanding the Verification Workflow	目標：熟悉驗證流程，學會使用Simulink Design Verifier準備模型并進行簡單分析。 ·?形式化驗證方法的介紹 ·?介紹Simulink Design Verifier的工作流程 ·?準備模型并確保兼容性 ·?配置分析選項 ·?生成結果
  設計錯誤檢測	目標：學習如何使用設計錯誤檢測來驗證模型。 ·?設計錯誤類型介紹 ·?設計錯誤檢測 ·?解釋結果和報告 ·?修復設計錯誤 ·?使用參數表
  自動生成測試	目標：回顧覆蓋率類型，并學習如何使用自動測試用例生成來完成缺失部分的覆蓋。 ·?了解覆蓋率的類型 ·?計算模型覆蓋率 ·?使用自動測試用例生成來增加覆蓋率 ·?解釋結果與報告 ·?應用自定義條件與目標
  屬性證明	目標：將需求形式化為屬性，并學習使用屬性證明來驗證設計是否滿足其需求。 ·?將需求形式化 ·?屬性證明 ·?調試修改后的屬性 ·?使用時序操作
  管理模型復雜度?	目標：識別模型復雜度的來源，并學習提高分析性能的技術。 ·?識別模型復雜度的來源 ·?實現模塊替換 ·?處理非線性 ·?管理插值表的復雜度 ·?使用計數器和計時器