[發明專利]FPGA片內分布式存儲單元的建模方法及裝置

有效

• 申請號: 202011504273.1
• 申請日: 2020-12-18
• 公開（公告）號: CN112560379B
• 公開（公告）日: 2022-06-17
• 發明（設計）人: 馬得堯;王銅銅;李鋒;李秦飛;范召
• 申請（專利權）人: 廣東高云半導體科技股份有限公司
• 主分類號: G06F30/343
• 分類號: G06F30/343;G06F30/398
• 代理公司: 廣州三環專利商標代理有限公司 44202
• 代理人: 肖宇揚;江銀會

1.一種FPGA片內分布式存儲單元的建模方法，其特征在于，所述方法包括：

對FPGA片內的所有邏輯單元執行邏輯資源分析操作，得到邏輯資源分析結果；

根據所述邏輯資源分析結果以及預先確定出的存儲需求，建立與所述存儲需求相匹配的多個分布式存儲單元的軟件模型，預先確定出的所述存儲需求包括對存儲空間大小的需求，以及，對存儲空間的存儲模式需求和/或端口模式需求；

其中，所述對FPGA片內的所有邏輯單元執行邏輯資源分析操作，得到邏輯資源分析結果，包括：

掃描FPGA片內所有的邏輯單元；分析每個所述邏輯單元內所有查找表的數量以及每個所述邏輯單元內每個查找表的配置模式；根據每個所述邏輯單元內所有查找表的數量以及每個所述邏輯單元內每個查找表的配置模式，計算每個所述邏輯單元內的分布式存儲資源；根據每個所述邏輯單元內的分布式存儲資源，統計所述FPGA片內所有所述邏輯單元的所有分布式存儲資源，得到邏輯資源分析結果。

2.根據權利要求1所述的FPGA片內分布式存儲單元的建模方法，其特征在于，所述根據所述邏輯資源分析結果以及預先確定出的存儲需求，建立與所述存儲需求相匹配的多個分布式存儲單元的軟件模型之后，所述方法還包括：

輸出建立的所有所述分布式存儲單元的軟件模型；

其中，所述輸出建立的所有所述分布式存儲單元的軟件模型之前，所述方法還包括：

對建立的所有所述分布式存儲單元的軟件模型進行驗證，得到驗證結果；

判斷所述驗證結果是否表示對建立的所有所述分布式存儲單元的軟件模型驗證通過，當判斷結果為是時，執行所述的輸出建立的所有所述分布式存儲單元的軟件模型的步驟。

3.根據權利要求2所述的FPGA片內分布式存儲單元的建模方法，其特征在于，所述對建立的所有所述分布式存儲單元的軟件模型進行驗證，得到驗證結果，包括：

對建立的所有所述分布式存儲單元的軟件模型進行仿真驗證，得到仿真驗證結果；和/或，

對建立的所有所述分布式存儲單元的軟件模型進行形式驗證，得到形式驗證結果。

4.根據權利要求3所述的FPGA片內分布式存儲單元的建模方法，其特征在于，所述驗證結果包括所述仿真驗證結果及所述形式驗證結果；

所述判斷所述驗證結果是否表示對建立的所有所述分布式存儲單元的軟件模型驗證通過，包括：

判斷所述仿真驗證結果是否表示對建立的所有所述分布式存儲單元的軟件模型仿真驗證通過且判斷所述形式驗證結果是否表示對建立的所有所述分布式存儲單元的軟件模型形式驗證通過；

當判斷出對建立的所有所述分布式存儲單元的軟件模型仿真驗證通過且形式驗證通過時，確定所述驗證結果表示對建立的所有所述分布式存儲單元的軟件模型驗證通過。

5.根據權利要求3所述的FPGA片內分布式存儲單元的建模方法，其特征在于，所述對建立的所有所述分布式存儲單元的軟件模型進行仿真驗證，得到仿真驗證結果，包括：

對原始網表進行功能仿真，得到第一仿真結果；

對所有所述分布式存儲單元的軟件模型進行功能仿真，得到第二仿真結果；

比對所述第一仿真結果與所述第二仿真結果是否一致，得到比對結果；

將所述比對結果確定為對建立的所有所述分布式存儲單元的軟件模型進行仿真驗證的仿真驗證結果。

6.根據權利要求3所述的FPGA片內分布式存儲單元的建模方法，其特征在于，所述對建立的所有所述分布式存儲單元的軟件模型進行形式驗證，得到形式驗證結果，包括：

驗證所有所述分布式存儲單元的軟件模型是否與原始網表等價，得到對建立的所有所述分布式存儲單元的軟件模型進行形式驗證的形式驗證結果。