【技術實現步驟摘要】
本申請涉及數字邏輯電路，尤其涉及一種數字邏輯電路的分析方法、計算機設備及存儲介質。
技術介紹
1、隨著現代數字邏輯電路的規模越來越大，功能越來越復雜，如何高效地對電路進行分析和優化成為了現代eda（electronic?design?automation，電子設計自動化）工具不可或缺的重要組成部分。
2、在數字邏輯電路設計過程中，假路徑（false?path）可能占據數字邏輯電路全部路徑的80%甚至更高，以此識別false?path可減少工具修違例路徑的工作量。但在數字電路中，邏輯門達到百萬甚至千萬級，在可接受資源范圍內識別false?path是一種挑戰。
技術實現思路
1、有鑒于此，本申請提出一種數字邏輯電路的分析方法、計算機設備及存儲介質，以解決或部分解決上述問題。
2、基于上述目的，第一方面，本申請提供了一種數字邏輯電路的分析方法，包括：
3、獲取待分析的數字邏輯電路；
4、以所述數字邏輯電路的觸發器為節點進行電路分級，選取任一相鄰兩級之間的數字邏輯電路為目標電路；其中，所述目標電路包括至少一條路徑，所述至少一條路徑包括至少一個組合邏輯單元；
5、確定所述目標電路的變量序，以所述變量序為基礎，根據布爾函數確定所述至少一個組合邏輯單元的第一結果；其中，所述第一結果與所述至少一個組合邏輯單元的輸出對輸入的布爾差分對應；
6、確定所述至少一條路徑中的目標路徑，根據所述目標路徑所對應的第一結果進行ite操作；p>
7、根據操作結果確定所述目標路徑的識別結果。
8、本申請第二方面，提供了一種計算機設備，包括一個或者多個處理器、存儲器；和一個或多個程序，其中所述一個或多個程序被存儲在所述存儲器中，并且被所述一個或多個處理器執行，所述程序包括用于執行根據第一方面所述的方法的指令。
9、本申請第三方面，提供了一種包含計算機程序的非易失性計算機可讀存儲介質，當所述計算機程序被一個或多個處理器執行時，使得所述處理器執行第一方面所述的方法。
10、從上面所述可以看出，本申請提供了一種數字邏輯電路的分析方法、計算機設備及存儲介質。本申請通過確定目標電路的變量序，以此再通過布爾函數進行robdd的表示，以此確定出目標電路中組合邏輯單元的第一結果，最后根據第一結果進行ite操作，如果操作結果恒為0，則說明目標電路屬于假路徑，以此方式可以在進行目標電路分析時，通過歸約有序的二元決策圖減少節點數目，并且通過以上方式可以在一定程度上減少空間復雜度及計算時間，提升分析效率，加快假路徑識別過程。
本文檔來自技高網...【技術保護點】
1.一種數字邏輯電路的分析方法，其特征在于，包括：
2.根據權利要求1所述的方法，其特征在于，所述確定所述目標電路的變量序，包括：
3.根據權利要求2所述的方法，其特征在于，所述根據所述至少一個起點的等級對所述至少一個起點排序，包括：
4.根據權利要求1所述的方法，其特征在于，所述第一結果為根據所述布爾函數確定的所述至少一個組合邏輯單元的ROBDD的布爾差分結果，或根據所述布爾函數確定的所述至少一個組合邏輯單元的ROBDD的布爾差分對應的邏輯表達式。
5.根據權利要求4所述的方法，其特征在于，所述根據所述目標路徑所對應的第一結果進行ITE操作，包括：
6.根據權利要求5所述的方法，其特征在于，當所述第一結果為所述邏輯表達式時，對所述邏輯表達式進行算式化簡，以此進行所述第一結果的存儲；
7.根據權利要求6所述的方法，其特征在于，所述根據所述必要的邏輯表達式進行ROBDD的布爾差分計算，包括：
8.根據權利要求5所述的方法，其特征在于，所述根據所述必要的邏輯表達式進行ROBDD的布爾差分計算，包括：<...
【技術特征摘要】
1.一種數字邏輯電路的分析方法，其特征在于，包括：
2.根據權利要求1所述的方法，其特征在于，所述確定所述目標電路的變量序，包括：
3.根據權利要求2所述的方法，其特征在于，所述根據所述至少一個起點的等級對所述至少一個起點排序，包括：
4.根據權利要求1所述的方法，其特征在于，所述第一結果為根據所述布爾函數確定的所述至少一個組合邏輯單元的robdd的布爾差分結果，或根據所述布爾函數確定的所述至少一個組合邏輯單元的robdd的布爾差分對應的邏輯表達式。
5.根據權利要求4所述的方法，其特征在于，所述根據所述目標路徑所對應的第一結果進行ite操作，包括：
6.根據權利要求5所述的方法，其特征在于，當所述第一結果為所述邏輯表達式時，對所述邏輯表達式進行算式化簡，以此進行所述第一結果的存儲；
<...
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。