[發明專利]一種自動化驗證裝箱布局布線的測試方法及系統

在審

• 申請號: 202010130480.9
• 申請日: 2020-02-26
• 公開（公告）號: CN111400992A
• 公開（公告）日: 2020-07-10
• 發明（設計）人: 夏燕;徐維濤
• 申請（專利權）人: 中科億海微電子科技（蘇州）有限公司
• 主分類號: G06F30/392
• 分類號: G06F30/392;G06F30/398
• 代理公司: 北京市中聞律師事務所 11388
• 代理人: 馮夢洪

1.一種自動化驗證裝箱布局布線的測試方法，其特征在于：其包括以下步驟：

(1)讀取電路CASE文件，拼出電路工程地址，判斷該電路是否執行成功，如果執行成功則執行步驟(2)，否則讀取下一條CASE文件進行判斷；

(2)解析網表文件，對解析網表文件生成的兩個字典分別解析；

(3)解析裝箱、布局、布線文件，生成對應的裝箱、布局字典；

(4)設置規則文件；

(5)讀取規則文件中規則的設置，判斷是否進行校驗，如果是則進行底層各種裝箱約束的校驗、布局布線的校驗以及屬性的校驗。

2.根據權利要求1所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(1)包括以下分步驟：

(1.1)讀取CASE文件中存放的電路路徑及頂層實體名；

(1.2)拼接電路網表文件、裝箱、布局、布線文件地址；

(1.3)判斷步驟(1.2)中的文件是否存在，是則執行步驟(2)，否則執行步驟(1.1)。

3.根據權利要求2所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(2)中，一個字典是以信號SIGNAL為鑰匙KEY，里面存放這個信號經過的所有CLB的名字、CLB的編號、坐標、端口、是否為起點標識、所處位數；在BLE,DSP,Memory,PLL中時，CLB名字直接獲取網表中的CLB名字，但在IO中獲取CLB名字并非網表文件中的CLB名字，而是PADIO端口中的信號名作為該信號的CLB名字，CLB的編號以及坐標根據實際取的CLB名字查找；在網表文件中，對于一些OUTPUT信號，最后是指派出去的，則為這些信號添加CLB名字為IO，端口設為DATAIN；如果該信號在某個CLB中的端口為寄存器輸出或者組合輸出，則設是否為起點標識為1，否則為0；同一個端口中可能會存在多個信號，則為這些信號從高到低位排列順序，序號從0開始，如果只有一個信號，則所處位數設為0。

4.根據權利要求3所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(2)中，對于一個信號經過不同CLB的情況，對其經過的CLB中的端口進行判斷并進行排序，將端口為寄存器輸出或者組合輸出排在第一位，其余后面的位置不變，這樣方便后續校驗直接識別第一個為輸出。

5.根據權利要求4所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(2)中，另一個字典是以CLB名字為key，里面存放這個CLB下的類型、CLB的編號、坐標、端口、信號、是否取反標識及屬性；其中類型，CLB的編號及坐標為該CLB的屬性，端口為該CLB下的所有端口，并且存放每個端口所對應的信號，一個端口有多個信號，則存放多個，給每個信號添加一個取反標志，如果有取反則標志為1，否則為0；CLB的屬性通過網表文件獲取，將屬性名為KEY，屬性取值為value存儲。

6.根據權利要求5所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(3)中，解析其所生成的XML文件，以CLB名字為KEY,里面存放坐標及裝在一起的BLE，每個BLE的屬性以及裝箱布局之后這個CLB的屬性，如果為DSP、MEM或者IO，也是同理生成在這個字典中。

7.根據權利要求6所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(3)中，生成布線文件，以信號SIGNAL為KEY，將這個信號的起點到終點經過的路徑存放在字典中。

8.根據權利要求7所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(4)中，將所需要校驗的規則按類型整理歸類進規則文件中，存放規則校驗的內容及是否需要校驗兩個字段，解析成功后，后續進行規則的校驗時需要讀取這個文件，如果這個規則需要校驗，則設為Y，如果不需要校驗，則設為N。

9.根據權利要求8所述的自動化驗證裝箱布局布線的測試方法，其特征在于：所述步驟(5)中，讀取規則文件中該規則的設置，如果為Y，則進行校驗，如果為N，則不進行校驗；每個校驗的基礎都是步驟(2)、(3)解析出來的字典。

10.一種自動化驗證裝箱布局布線的測試系統，其特征在于：其包括：

CASE文件讀取模塊，其配置來讀取CASE文件，拼出電路工程地址，判斷該電路是否執行成功，如果執行成功則執行網表文件解析模塊，否則讀取下一條CASE文件進行判斷；

網表文件解析模塊，其配置來對解析網表文件生成的兩個字典分別解析；

裝箱、布局、布線文件解析模塊，其配置來解析裝箱、布局、布線文件，生成對應的裝箱、布局字典；

規則文件設置模塊，其配置來設置規則文件；

校驗模塊，其配置來讀取規則文件中規則的設置，判斷是否進行校驗，如果是則進行底層各種裝箱約束的校驗、布局布線的校驗以及屬性的校驗。