1、在邏輯模擬中用波形作為電路狀態的描述工具，通過對波形的計算和檢查實現精確的模擬。

2、故障模擬被簡化為在原始電路上的邏輯模擬。

3、隨著大規模集成電路的復雜性日益增加，邏輯模擬開始采用并行離散事件模擬技術。

4、提出模擬推進度的概念，作為對并行邏輯模擬過程中的負載進行準確的衡量標準。

5、本文在傳統的門級邏輯模擬模型和算法的基礎上引進了一些新概念，導出了一種新的分析模型和算法。

6、基于該模型，還實現了一個簡單的rtl邏輯模擬程序以驗證vrm模型的可行性。

7、直到現在，邏輯模擬器依然是最受歡迎的驗證工具。

8、邏輯模擬是asic設計中必不可少的一個環節。

9、包含運行時變量狀態機的復雜業務邏輯模擬。

10、該文提出了一種結合邏輯模擬和布爾可滿足性的黑盒驗證方法，用于驗證設計中黑盒外部的功能正確性。

11、討論了數字電路的邏輯級模擬中元件傳輸延遲模型、元件狀態值模型的建立，邏輯模擬的算法以及元件計算的方法。

12、異于目前廣泛采用的面向事件的模擬系統，本文提出了基于面向過程的波形字邏輯模擬系統的結構、設計和實現方法，并給出了系統中使用的主要算法。

13、本文闡述的波形法模擬算法是一個面向過程的，在時間上高度并行的邏輯模擬算法。