故障模擬被簡化為在原始電路上的邏輯模擬。
包含執行時變數狀態機的複雜業務邏輯模擬。
隨著大規模積體電路的複雜*日益增加，邏輯模擬開始採用並行離散事件模擬技術。
討論了數位電路的邏輯級模擬中元件傳輸延遲模型、元件狀態值模型的建立，邏輯模擬的演算法以及元件計算的方法。
直到現在，邏輯模擬器依然是最受歡迎的驗*工具。
在邏輯模擬中用波形作為電路狀態的描述工具，通過對波形的計算和檢查實現精確的模擬。
本文闡述的波形法模擬演算法是一個面向過程的，在時間上高度並行的邏輯模擬演算法。
基於該模型，還實現了一個簡單的rtl邏輯模擬程式以驗*vrm模型的可行*。
此外，為了驗*lru演算法和一致*協議，我們在驗*平臺上做了相關的系統級功能模擬，邏輯模擬結果和設計初衷是吻合的。
異於目前廣泛採用的面向事件的模擬系統，本文提出了基於面向過程的波形字邏輯模擬系統的結構、設計和實現方法，並給出了系統中使用的主要演算法。
本文在傳統的門級邏輯模擬模型和演算法的基礎上引進了一些新概念，匯出了一種新的分析模型和演算法。
該文提出了一種結合邏輯模擬和布林可滿足*的黑盒驗*方法，用於驗*設計中黑盒外部的功能正確*。
