Udemy線上課程 形式驗證: 獨特的方法學 2022 (Formal Verification Methodology) 講師:Peter Yo 影音教學 中文發音 中文版(DVD版)
關于這個課程
形式驗證技術涵蓋的范圍非常廣,方法學是這項技術的基礎,我們這個課程是主要集中在形式驗證方法學這部分,通過對方法學的學習和了解,能夠對形式驗證技術有一個初步的認識。這門課程可以作為我們跨入形式驗證領域的一個階梯,并為以后將形式驗證技術應用到具體實踐中奠定了不可或缺的根基。
課程目標
這個課程中回答了很多關于形式驗證領域的基礎性問題,解釋了形式驗證底層技術的基本原理,提出了當前最新的形式化簽核交付方法學,以及概述了形式驗證領域的技術發展方向。通過對這個課程的學習,我們對于形式驗證技術會有一定的了解,也可以掌握到一些形式化方法學的基礎知識,我們下面先看一下這個課程的一些基本目標。形式驗證的使用效率一直是一個很大的問題,正確的方法是必不可少的,關于這個問題,我們可以在這個課程中學習到很多如何有效的使用形式驗證的方式。形式驗證過程對于工具的使用有很大的依賴性,需要用戶對工具的底層技術有一定的了解才能更好的發揮形式驗證的優勢,在這里我們可以學會如何去分析和理解形式化工具的驗證結果,對于不同的結果會采取不同的應對措施。形式驗證需要合理有效的使用,常常需要整體的來考慮整個驗證流程,才能發揮形式驗證的作用,將形式化方法以系統化的流程應用到驗證過程中是非常有必要的。形式驗證的目標是以屬性檢查的形式體現的,將設計功能的特征根據Spec的描述一條一條的抽象提取出來,并通過基于屬性的語言來翻譯和表達這些提取出來的特征,之后構建一個基于屬性的形式化測試平台環境,將其和設計RTL代碼中的功能進行比對,用以驗證設計功能的正確性。形式驗證由于其具有完全證明的特性,因此可以對設計模塊進行完全的功能驗證并可以作為最終功能簽核交付使用,這個課程中提供了一個全面的形式化簽核交付方法學。由于形式驗證追求完全證明,這對形式化工具來說一直是一個相當大的挑戰,目前形式化工具在計算能力這方面上還是會有一定的限制,這也讓形式驗證適用的設計范圍不能像模擬驗證那樣隨意,因此在形式化簽核交付時需要選擇合適的設計模塊。形式驗證除了簽核交付之外還有很多簡單易用的形式化應用,這些開箱即用式的應用針對不同的驗證問題,提供了其對應的形式化的解決方案,這會讓初學者或者沒有形式驗證技術背景的工程師,能夠快速高效的解決驗證中遇到的一些問題。
課程安排形式驗證概述在這一章中我們會介紹什么是形式驗證、形式驗證的歷史背景、當前發展趨勢、為什么需要形式驗證、形式驗證的要求、形式驗證的挑戰、形式驗證工具供應商、主要供應商工具特性的比較、形式驗證能力分級。形式驗證介紹在這一章中我們會介紹形式驗證框架、編譯一個形式化模型、形式化模型概念、檢查斷言、約束、邏輯扇入錐(COI)、應用證明算法、形式化證明的結果、形式化證明的性能、性能的特點、形式化工具設置和控制、形式化調試、形式化引擎訪問、形式驗證和模擬驗證的比較、形式驗證和模擬驗證之間的不同點、形式驗證的投資回報率、何時使用形式驗證、形式化屬性驗證、形式驗證應用。形式化簽核交付在這一章中我們會介紹屬性檢查、屬性檢查指南、端到端的屬性檢查、約束開發、形式化簽核交付的實現、形式化簽核交付的挑戰和回報、形式化簽核交付的投資回報率和標準、形式化簽核交付的跟蹤、形式化簽核交付的步驟、形式化簽核交付的測試平台、形式化簽核交付的環境、復雜度的定義、復雜度的測量、代碼和功能覆蓋率、覆蓋率的度量類型、覆蓋率的可控性和可觀察性、覆蓋率測量之后的活動。全證明方式形式化簽核交付在這一章中我們會介紹基于全證明方式形式化簽核交付的流程、環境簡化、斷言簡化、斷言簡化方法之功能分解、斷言簡化方法之位寬分解、輔助斷言、設計簡化方法之參數化、設計簡化方法之劃分、設計簡化方法之黑盒、模型抽象、初始值抽象、范圍證明、過約束、錯誤搜索。覆蓋率方式形式化簽核交付在這一章中我們會介紹基于覆蓋率方式形式化簽核交付的流程、形式化覆蓋率、形式化覆蓋率之類型、形式化覆蓋率之模型,形式化覆蓋率之度量、形式化覆蓋率之測量、形式化覆蓋率之方法學、形式化覆蓋率之標準、驗證的問題、用覆蓋率簽核交付的策略、CDV全證明和覆蓋率這三種驗證流程的比較。形式驗證應用由于形式驗證應用開箱即用式的特性被越來越多的人接受,其在驗證領域正在變得流行起來,當前主要的形式驗證工具供應商都在不斷的推出各自的形式驗證應用,在這一章中我們會介紹當前最常用的一些形式驗證應用。
Quiz(formal-verification-exclusive-methodology-2022).html
01 - Formal Verification Methodology
001 Formal Verification Methodology.mp4
02 - Formal Verification Overview
002 Formal Verification Overview.mp4
03 - Introduction to Formal Verification
003 Introduction to Formal Verification.mp4
04 - Formal Sign-off
004 Formal Sign-off.mp4
05 - Formal Sign-off with Full prove
005 Formal Sign-off with Full prove.mp4
06 - Formal Sign-off with Coverage
006 Formal Sign-off with Coverage.mp4
07 - Formal Verification Applications
007 Formal Verification Applications.mp4
08 - Quiz
|
|