[發明專利]仿真中的X傳播

有效

• 申請號: 201580076663.4
• 申請日: 2015-10-30
• 公開（公告）號: CN107250987B
• 公開（公告）日: 2021-01-22
• 發明（設計）人: A·拉比諾維奇;L·M·拉祖爾
• 申請（專利權）人: 美商新思科技有限公司
• 主分類號: G06F11/26
• 分類號: G06F11/26;G06F30/327
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 酆迅;董典紅

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的輸出。