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

权利要求书

1.一种非瞬态计算机可读介质，其存储指令，所述指令将仿真器配置用于：

在待测设计DUT的一部分的数字逻辑电路处接收输入信号和具有参考比特的参考信号，所述参考比特的第一比特指示所述参考信号的可能的低状态或高状态，并且所述参考比特的第二比特指示所述参考信号的状态是已知还是未知；

确定所述参考信号是否具有所述参考信号的状态从所述未知状态或到所述未知状态的推测转变；

响应于确定所述参考信号具有所述推测转变，基于在所述参考信号的所述推测转变之前的所述数字逻辑电路的输出的状态和所述输入信号的状态来生成所述数字逻辑电路的输出；和

通过使用所述数字逻辑电路的输出作为所述DUT的另一数字逻辑电路的输入来执行数字逻辑运算，将所述未知状态传播到所述DUT的输出。

2.根据权利要求1所述的非瞬态计算机可读介质，其中，所述指令进一步将所述仿真器配置用于：响应于在所述参考信号的所述推测转变之前的所述输入信号的状态和在所述参考信号的所述推测转变之前的所述输出的状态不同而生成具有所述未知状态的所述数字逻辑电路的输出。

3.根据权利要求1所述的非瞬态计算机可读介质，其中，所述指令进一步将所述仿真器配置用于：响应于在所述参考信号的所述推测转变之前的所述输入信号的状态和在所述参考信号的所述推测转变之前的所述输出的状态相同而保持所述数字逻辑电路的输出。

4.根据权利要求1所述的非瞬态计算机可读介质，其中，所述指令进一步将所述仿真器配置用于：响应于所述DUT的输出具有所述未知状态来将所述DUT的所述数字逻辑运算确定为是未知的。

5.根据权利要求1所述的非瞬态计算机可读介质，其中，所述数字逻辑是触发器。

6.根据权利要求5所述的非瞬态计算机可读介质，其中，所述指令进一步将所述仿真器配置用于：使用用于所述触发器的另一比特来指示所述参考信号的状态中的所述推测转变，所述另一比特被配置用于指示所述参考信号的状态中从已知状态到所述未知状态的转变。

7.根据权利要求6所述的非瞬态计算机可读介质，其中，所述另一比特指示所述参考信号是否具有低状态，其中所述指令进一步将所述仿真器配置用于：通过(i)检测所述另一比特的下降沿之后跟随具有所述未知状态的所述参考信号，或(ii)检测所述参考信号从所述未知状态转变到高状态，来确定所述参考信号的所述推测转变。

8.根据权利要求6所述的非瞬态计算机可读介质，其中，所述另一比特指示所述参考信号是否具有低状态，其中所述指令进一步将所述仿真器配置用于：通过检测所述另一比特的下降沿之后跟随处于高状态中的所述参考信号来确定所述参考信号的确实转变。

9.根据权利要求1所述的非瞬态计算机可读介质，其中，所述DUT包括被转换为表示未知状态的所述DUT的部分和未被转换为表示未知状态的所述DUT的另一部分，所述DUT的所述另一部分与所述DUT的所述部分分离。

10.一种计算机实现的方法，包括：

在待测设计DUT的一部分的数字逻辑电路处接收输入信号和具有参考比特的参考信号，所述参考比特的第一比特指示所述参考信号的可能的低状态或高状态，并且所述参考比特的第二比特指示所述参考信号的状态是已知还是未知；

确定所述参考信号是否具有所述参考信号的状态从所述未知状态或到所述未知状态的推测转变；

响应于确定所述参考信号具有所述推测转变，基于在所述参考信号的推测转变之前的所述数字逻辑电路的输出的状态和所述输入信号的状态来生成所述数字逻辑电路的输出；和

通过使用所述数字逻辑电路的输出作为所述DUT的另一数字逻辑电路的输入来执行数字逻辑运算，将所述未知状态传播到所述DUT的输出。