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

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