[发明专利]仿真中的X传播

说明书

实施例涉及电路的仿真和信号的未知状态的表示。所公开的系统(和方法以及计算机程序产品)包括用于以能够表示未知状态的形式转换DUT的数字信号的仿真环境。此外，所公开的系统将诸如布尔逻辑、触发器、锁存器和存储器电路之类的数字逻辑电路转换成可利用具有未知状态的信号而操作。因此，通过以所公开的语义表示的数字逻辑电路来指示和传播信号的未知状态，以使得能够快速检测例如由于电源关闭或不恰当的初始化所引起的DUT的不正确的操作。

技术领域

本公开通常涉及电路的仿真，更具体地涉及迅速识别数字系统的不可预测的行为。

背景技术

已经开发了仿真器来协助电路设计者设计和调试高度复杂的集成电路。仿真器包括可以一起模拟待测设计(DUT)的操作的多个可重新配置的组件，诸如现场可编程门阵列(FPGA)。通过使用仿真器来模拟DUT的操作，设计人员可以在制造之前验证DUT符合各种设计要求。

仿真的一个方面包括识别DUT的功能性。在一种方法中，识别DUT的功能性涉及对DUT进行仿真并分析来自被仿真DUT的信号，以验证不正确的、不确定的或未知的操作。例如，在电源关闭或初始化不正确的情况下，未正确地终止DUT中的寄存器或逻辑电路，并且这些寄存器或逻辑电路的状态变得未知。在DUT的操作期间，未知状态可能导致不正确的逻辑运算，并且不正确的逻辑运算的结果可能进一步影响其他逻辑电路在整个DUT中不正确地操作。

在常规方法中，数字信号以二进制状态(例如，高或低)来表示，并且识别DUT的不正确或未知操作涉及执行DUT的仿真，直到在 DUT的输出处检测到不恰当或不确定的结果。在高级过程(例如，22 纳米(nm)及以下)中，DUT可以包括数十亿个逻辑电路和信号。因此，识别DUT的未知操作可能涉及由于未知状态而执行大量的数字逻辑运算直到在输出处传出不正确的逻辑运算，这可能是耗时的过程。结果，定位未知状态的源并对它们进行调试是低效的。

因此，需求一种用于在所执行的仿真周期方面以时间有效的方式识别DUT的操作的不确定性的方法。

附图说明

所公开的实施例具有其他优点和特征，其从详细描述、所附权利要求和附图(或图)中将是更容易显而易见的。下面简要介绍一下这些附图。

图1是根据一个实施例的仿真环境的框图。

图2是图示出根据一个实施例的主机系统的框图。

图3是根据一个实施例的语义转换模块的框图。

图4A是根据一个语义表示的在仿真器上实现的信号的示例转换。

图4B是根据另一语义表示的在仿真器上实现的信号的另一示例转换。

图5是根据一个实施例的布尔逻辑电路的示例转换。

图6A是根据一个实施例的触发器的示例转换。

图6B是根据一个实施例的锁存器的示例转换。

图7是根据一个实施例的存储器电路的示例转换。

图8是图示出根据一个实施例的主机系统准备用于仿真被转换为表示数字信号的未知状态的待测设备(DUT)的流程图。

图9图示出根据一个实施例在DUT上执行的转换。

图10是图示出根据一个实施例的执行数字逻辑运算以基于信号状态来识别DUT的未知操作的仿真器的流程图。

图11是图示出根据一个实施例的基于参考信号的确实状况和推测状况的触发器或锁存器的操作的流程图。

图12A是图示出根据一个实施例的由仿真器执行的存储器写入操作的流程图。

图12B是图示出根据一个实施例的由仿真器执行的存储器读取操作的流程图。