|
该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性。
包含运行时变量状态机的复杂业务逻辑模拟。
异于目前广泛采用的面向事件的模拟系统，本文提出了基于面向过程的波形字逻辑模拟系统的结构、设计和实现方法，并给出了系统中使用的主要算法。
提出模拟推进度的概念，作为对并行逻辑模拟过程中的负载进行准确的衡量标准。
基于该模型，还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。
直到现在，逻辑模拟器依然是最受欢迎的验证工具。
讨论了数字电路的逻辑级模拟中元件传输延迟模型、元件状态值模型的建立，逻辑模拟的算法以及元件计算的方法。
逻辑模拟是ASIC设计中必不可少的一个环节。
故障模拟被简化为在原始电路上的逻辑模拟。
随着大规模集成电路的复杂性日益增加，逻辑模拟开始采用并行离散事件模拟技术。
资源编号：ZY1250165；资源类别：(造句参考大全)；收集时间：2020-05-03；资源参考链接
相关评论：
|
|
|
|
| 159.157.35.* 网友 于 发表评论 : |
|
学习了... |
|
|
【爱学语言】我们致力于分享国内互联网优秀语言学习资源，如果你也有类似的爱好，请把你收集的语言学习资源推荐给我们，我们会择优在爱学英语中刊登您的资源。
推荐邮箱：401650071###qq.com (请将###换成@)
【爱学英语】所有资源都来源互联网公开资料或网友推荐，如果侵权或损害您的利益了，请及时联系我们删除，谢谢。联系邮箱：401650071###qq.com (请将###换成@)
|
|
