?本課程要關(guān)注使用Simulink Design Verifier??來確認(rèn)設(shè)計不存在潛在錯誤，是經(jīng)過充分測試的并滿足必要的設(shè)計需求。主要內(nèi)容包括：

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