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

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

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

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

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

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

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

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

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

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

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

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