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

有效

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

實施例涉及電路的仿真和信號的未知狀態的表示。所公開的系統(和方法以及計算機程序產品)包括用于以能夠表示未知狀態的形式轉換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是圖示出根據一個實施例的由仿真器執行的存儲器讀取操作的流程圖。