[發明專利]宏檢查方法、裝置、電子設備和計算機可讀存儲介質

有效

• 申請號: 202011533134.1
• 申請日: 2020-12-22
• 公開（公告）號: CN112631852B
• 公開（公告）日: 2023-04-28
• 發明（設計）人: 沈旭;王芳
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F11/263
• 分類號: G06F11/263;G06F11/22
• 代理公司: 北京超凡宏宇專利代理事務所(特殊普通合伙) 11463
• 代理人: 蔣姍

1.一種宏檢查方法，其特征在于，包括：

通過對所需宏配置文件進行解析，得到第一宏列表，所述第一宏列表中包括多項待檢查宏的宏信息，所述所需宏配置文件中配置有用于對目標芯片設計進行驗證的宏，其中，每項宏信息包括至少一項屬性元素，所述至少一項屬性元素包括：存在屬性，所述存在屬性用于標識對應的宏是否為需要的宏；

對原始宏定義報告進行遍歷，以得到第二宏列表，所述原始宏定義報告為對所述目標芯片設計進行處理得到的報告；

將所述第一宏列表與所述第二宏列表進行匹配，以得到所述第一宏列表的驗證結果；

其中，將所述第一宏列表與所述第二宏列表進行匹配以得到所述第一宏列表的驗證結果，包括：

確定所述第二宏列表中是否存在與目標宏信息對應的目標宏；以及基于所述目標宏信息的存在屬性和所述第二宏列表中是否存在與所述目標宏信息對應的目標宏來確定所述第一宏列表的驗證結果，其中，所述目標宏信息為所述第一宏列表中的任意一項宏信息；

根據所述驗證結果生成對應的檢查報告。

2.根據權利要求1所述的方法，其特征在于，所述存在屬性的值為：第一標識或第二標識；所述確定所述第二宏列表中是否存在與目標宏信息對應的目標宏；以及基于所述目標宏信息的存在屬性和所述第二宏列表中是否存在與所述目標宏信息對應的目標宏來確定所述第一宏列表的驗證結果，其中，所述目標宏信息為所述第一宏列表中的任意一項宏信息，包括：

當所述目標宏信息的存在屬性為第一標識時，在所述第二宏列表中進行查找，以確定所述第二宏列表中是否存在所述目標宏信息對應的目標宏，若所述第二宏列表中存在所述目標宏，則表征所述目標宏信息驗證通過，若所述第二宏列表中不存在所述目標宏，則表征所述目標宏信息驗證未通過；

當所述目標宏信息的存在屬性為第二標識時，在所述第二宏列表中進行查找，以確定所述第二宏列表中是否存在所述目標宏信息對應的目標宏，若所述第二宏列表中不存在所述目標宏，則表征所述目標宏信息驗證通過，若所述第二宏列表中存在所述目標宏，則表征所述目標宏信息驗證未通過。

3.根據權利要求1所述的方法，其特征在于，所述存在屬性的值為：第一標識或第二標識；所述至少一項屬性元素還包括：值屬性；所述確定所述第二宏列表中是否存在與目標宏信息對應的目標宏；以及基于所述目標宏信息的存在屬性和所述第二宏列表中是否存在與所述目標宏信息對應的目標宏來確定所述第一宏列表的驗證結果，其中，所述目標宏信息為所述第一宏列表中的任意一項宏信息，包括：

當所述目標宏信息的存在屬性為第一標識，且所述目標宏信息的值屬性為目標有效值時，在所述第二宏列表中進行查找，以確定所述第二宏列表中是否存在所述目標宏信息對應的目標宏，若所述第二宏列表中存在所述目標宏，判斷所述第二宏列表中的所述目標宏的值屬性是否等于所述目標有效值，若所述第二宏列表中的所述目標宏的值屬性等于所述目標有效值，則表征所述目標宏信息驗證通過；若所述第二宏列表中不存在所述目標宏，或所述第二宏列表中的所述目標宏的值屬性不等于所述目標有效值，則表征所述目標宏信息驗證未通過；

當所述目標宏信息的存在屬性為第二標識時，在所述第二宏列表中進行查找，以確定所述第二宏列表中是否存在所述目標宏信息對應的目標宏，若所述第二宏列表中不存在所述目標宏，則表征所述目標宏信息驗證通過，若所述第二宏列表中存在所述目標宏，則表征所述目標宏信息驗證未通過。

4.根據權利要求3所述的方法，其特征在于，所述判斷所述第二宏列表中的所述目標宏的值屬性是否等于所述目標有效值，包括：

當所述第二宏列表中的所述目標宏的值屬性為一表達式時，在所述第二宏列表中查找所述表達式中所包含的目標參數組；

根據所述目標參數組及所述表達式計算得到所述目標宏在所述第二宏列表中對應的目標值；

將所述目標值與所述目標有效值進行對比，以確定所述第二宏列表中的所述目標宏的值屬性是否等于所述目標有效值。

5.根據權利要求1所述的方法，其特征在于，所述對原始宏定義報告進行遍歷，以得到第二宏列表，包括：

對編譯后的目標芯片設計進行解析，得到原始宏定義報告；

對所述原始宏定義報告進行遍歷，以得到第二宏列表。