1.4 提出模拟推进度的概念，作为对并行逻辑模拟过程中的负载进行准确的衡量标准。

2.6 基于该模型，还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。

3.逻辑模拟是ASIC设计中必不可少的一个环节。

4.14 本文阐述的波形法模拟算法是一个面向过程的，在时间上高度并行的逻辑模拟算法。

5.9 包含运行时变量状态机的复杂业务逻辑模拟。

6.8 逻辑模拟是ASIC设计中必不可少的一个环节。

7.5 本文在传统的门级逻辑模拟模型和算法的基础上引进了一些新概念，导出了一种新的分析模型和算法。

8.1 在逻辑模拟中用波形作为电路状态的描述工具，通过对波形的计算和检查实现精确的模拟。

9.本文在传统的门级逻辑模拟模型和算法的基础上引进了一些新概念，导出了一种新的分析模型和算法。

10.10 该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性。

11.本文阐述的波形法模拟算法是一个面向过程的，在时间上高度并行的逻辑模拟算法。

12.包含运行时变量状态机的复杂业务逻辑模拟。

13.直到现在，逻辑模拟器依然是最受欢迎的验证工具。

14.异于目前广泛采用的面向事件的模拟系统，本文提出了基于面向过程的波形字逻辑模拟系统的结构、设计和实现方法，并给出了系统中使用的主要算法。

15.3 随着大规模集成电路的复杂性日益增加，逻辑模拟开始采用并行离散事件模拟技术。

16.该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性。

17.12 此外，为了验证LRU算法和一致性协议，我们在验证平台上做了相关的系统级功能模拟，逻辑模拟结果和设计初衷是吻合的。

18.故障模拟被简化为在原始电路上的逻辑模拟。

19.在逻辑模拟中用波形作为电路状态的描述工具，通过对波形的计算和检查实现精确的模拟。

20.7 直到现在，逻辑模拟器依然是最受欢迎的验证工具。

21.随着大规模集成电路的复杂性日益增加，逻辑模拟开始采用并行离散事件模拟技术。

22.提出模拟推进度的概念，作为对并行逻辑模拟过程中的负载进行准确的衡量标准。

23.元件状态值模型的建立，逻辑模拟的算法以及元件计算的方法。

24.基于该模型，还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。

25.2 故障模拟被简化为在原始电路上的逻辑模拟。

26.设计和实现方法，并给出了系统中使用的主要算法。

27.讨论了数字电路的逻辑级模拟中元件传输延迟模型、元件状态值模型的建立，逻辑模拟的算法以及元件计算的方法。