[發明專利]一種基于Perl的原型驗證平臺自動化實現方法有效
| 申請號： | 201810867465.5 | 申請日： | 2018-08-02 |
| 公開（公告）號： | CN109165131B | 公開（公告）日： | 2021-09-10 |
| 發明（設計）人： | 修于杰;劉志哲;趙晨旭;陳濤;馬承光 | 申請（專利權）人： | 北京遙感設備研究所 |
| 主分類號： | G06F11/26 | 分類號： | G06F11/26 |
| 代理公司： | 中國航天科工集團公司專利中心 11024 | 代理人： | 張國虹 |
| 地址： | 100854*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 基于 perl 原型 驗證 平臺 自動化 實現 方法 | ||
1.一種基于Perl的原型驗證平臺自動化實現方法，其特征在于具體步驟為：
第一步構建原型驗證平臺自動化生成系統
原型驗證平臺自動化生成系統，包括XML硬件信息管理模塊(1)、硬件設計DUMMY模塊(2)、FPGA庫文件生成模塊(3)、文件路徑列表生成模塊(4)、綜合工程文件生成模塊(5)和綜合工具調用模塊(6)；XML硬件信息管理模塊(1)記錄硬件模塊使用信息，硬件設計DUMMY模塊(2)處理驗證中需要刪除的硬件模塊，FPGA庫文件生成模塊(3)生成FPGA綜合所需的器件庫文件，文件路徑列表生成模塊(4)整理原型驗證平臺生成時所需文件的路徑信息，綜合工程文件生成模塊(5)生成綜合工程文件，綜合工具調用模塊(6)調用synplify和vivado工具生成原型驗證平臺；
第二步 XML硬件信息管理模塊(1)記錄硬件模塊使用信息
XML硬件信息管理模塊(1)是用戶與Perl語言腳本之間的信息交互系統，根據驗證需要，將系統原型驗證需要用的硬件模塊信息和需要刪除的硬件模塊信息依次寫入XML文件中作為記錄，以此傳遞給后續Perl語言腳本；
第三步 硬件設計DUMMY模塊(2)處理驗證中需要刪除的硬件模塊
硬件設計DUMMY模塊(2)解析XML硬件信息管理模塊(1)中的信息，提取需要刪除的硬件設計信息，將需要刪除的硬件設計頂層文件進行修改，刪除硬件設計頂層文件中邏輯，并將輸入信號懸空，輸出信號綁定為無效值，以此，在綜合過程中，需要刪除的硬件模塊不產生邏輯門電路；
第四步 FPGA庫文件生成模塊(3)生成FPGA綜合所需的器件庫文件
FPGA庫文件生成模塊(3)將數字專用集成電路設計中使用的標準單元庫，修改為FPGA可綜合器件；由于數字專用集成電路設計中使用的模擬器件為FPGA不可直接綜合的文件，需要將這些文件進行替換，構成FPGA原型驗證平臺生成過程中的器件庫文件；
第五步 文件路徑列表生成模塊(4)整理原型驗證平臺生成時所需文件的路徑信息
文件路徑列表生成模塊(4)根據XML文件管理模塊信息，將需要的硬件模塊的文件路徑列表匯總，并添加DUMMY處理生成的IP文件路徑，以此生成最終的原型驗證系統文件路徑列表；
第六步 綜合工程文件生成模塊(5)生成綜合工程文件
綜合工程文件生成模塊(5)根據生成的系統文件路徑列表，生成綜合工具synplify綜合工程文件，并在文件添加FPGA庫文件路徑信息和包括FPGA版本、配置、約束在內的信息，產生最終的綜合工程文件；
第七步 綜合工具調用模塊(6)調用綜合工具synplify和布局布線工具vivado生成原型驗證平臺
綜合工具調用模塊(6)調用綜合工具synplify根據綜合工程文件啟動綜合，待綜合結束后，調用布局布線工具vivado布局、布線生成最終的原型驗證平臺Bit文件；
至此，實現了原型驗證平臺的自動化生成。
2.根據權利要求1所述的基于Perl的原型驗證平臺自動化實現方法，其特征在于，第四步中，所述模擬器件包括存儲器和鎖相環。
3.根據權利要求1或2所述的基于Perl的原型驗證平臺自動化實現方法，其特征在于，第四步中，對FPGA不可直接綜合的文件依次使用FPGA中相對應的DCP文件和DCM文件進行替換。
4.一種原型驗證平臺自動化生成系統，其特征在于，包括XML硬件信息管理模塊(1)、硬件設計DUMMY模塊(2)、FPGA庫文件生成模塊(3)、文件路徑列表生成模塊(4)、綜合工程文件生成模塊(5)和綜合工具調用模塊(6)；XML硬件信息管理模塊(1)記錄硬件模塊使用信息，硬件設計DUMMY模塊(2)處理驗證中需要刪除的硬件模塊，FPGA庫文件生成模塊(3)生成FPGA綜合所需的器件庫文件，文件路徑列表生成模塊(4)整理原型驗證平臺生成時所需文件的路徑信息，綜合工程文件生成模塊(5)生成綜合工程文件，綜合工具調用模塊(6)調用synplify和vivado工具生成原型驗證平臺，
其中，XML硬件信息管理模塊(1)是用戶與Perl語言腳本之間的信息交互系統，根據驗證需要，將系統原型驗證需要用的硬件模塊信息和需要刪除的硬件模塊信息依次寫入XML文件中作為記錄，以此傳遞給后續Perl語言腳本；
硬件設計DUMMY模塊(2)解析XML硬件信息管理模塊(1)中的信息，提取需要刪除的硬件設計信息，將需要刪除的硬件設計頂層文件進行修改，刪除硬件設計頂層文件中邏輯，并將輸入信號懸空，輸出信號綁定為無效值，以此，在綜合過程中，需要刪除的硬件模塊不產生邏輯門電路；
FPGA庫文件生成模塊(3)將數字專用集成電路設計中使用的標準單元庫，修改為FPGA可綜合器件；由于數字專用集成電路設計中使用的模擬器件為FPGA不可直接綜合的文件，需要將這些文件進行替換，構成FPGA原型驗證平臺生成過程中的器件庫文件；
文件路徑列表生成模塊(4)根據XML文件管理模塊信息，將需要的硬件模塊的文件路徑列表匯總，并添加DUMMY處理生成的IP文件路徑，以此生成最終的原型驗證系統文件路徑列表；
綜合工程文件生成模塊(5)根據生成的系統文件路徑列表，生成綜合工具synplify綜合工程文件，并在文件添加FPGA庫文件路徑信息和包括FPGA版本、配置、約束在內的信息，產生最終的綜合工程文件；
綜合工具調用模塊(6)調用綜合工具synplify根據綜合工程文件啟動綜合，待綜合結束后，調用布局布線工具vivado布局、布線生成最終的原型驗證平臺Bit文件；
至此，實現了原型驗證平臺的自動化生成。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京遙感設備研究所，未經北京遙感設備研究所許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201810867465.5/1.html，轉載請聲明來源鉆瓜專利網。
