[發明專利]部件模型間通信的模擬及路由方法、并行事務級模擬系統

有效

• 申請號: 201110110822.1
• 申請日: 2011-04-29
• 公開（公告）號: CN102761473A
• 公開（公告）日: 2012-10-31
• 發明（設計）人: 謝向輝;李宏亮;郝子宇;錢磊;張昆;吳東
• 申請（專利權）人: 無錫江南計算技術研究所
• 主分類號: H04L12/56
• 分類號: H04L12/56;H04L12/24
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 駱蘇華

技術領域

本發明涉及硬件系統中并行事務級模擬仿真技術，尤其是一種建立部件模型間通信的模擬方法、路由方法、通信模塊、部件模型及并行事務級模擬系統。

背景技術

在大規模硬件系統設計中，并行事務級模擬仿真的方法是一項重要的技術手段。并行事務級模擬通常采用設計包含系統級模擬器的并行事務級模擬系統來模擬目標系統。其中系統級模擬器中的部件模型模擬目標系統中的功能部件。

由于大規模硬件系統的模擬具有其特殊性，比如硬件系統規模巨大，硬件系統的結構復雜，功能部件種類繁多，功能部件之間的連接關系復雜，因此系統級模擬器的開發時間較長，開銷較大。在并行事務級模擬系統的設計過程中，通常期望設計開發的系統級模擬器能夠具有長期價值，部件模型及系統級模擬器可以重復使用。但是由于部件模型既要實現邏輯功能又要實現通信功能，不同的系統中，部件模型的邏輯功能和通信功能不盡相同，這導致部件模型的可重用性較差，相應的系統級模擬器的重用性也較差。另外，系統級模擬器通常用于目標系統的驗證，由于在設計過程中目標硬件系統的結構經常變化繁多，相應的系統級模擬器也要變化，從而部件模型的設計也會發生變化，同理部件模型的變化也會牽動系統級模擬器的變化。兩者的變化是相互的，進行修改時，兩者也互相牽制。

目前的并行事務級建模方法無法保證系統級模擬器和部件模型的設計過程分離，也就是并行事務級模擬系統的設計與部件模型的設計兩者無法分離，導致兩者的設計過程無法獨立。其中任意一者的修改必然導致另一者的修改，這使得并行事務級模擬系統的開發效率較低，且后期的修改和維護難度較大，開發成本也較高。

2009年公開發表在《ANALYSIS，ARCHITECTURES?AND?MODELLINGOF?EMBEDDED?SYSTEMS，IFIP?Advances?in?Information?and?CommunicationTechnology》上的論文《Efficient?Parallel?Transaction?Level?Simulation?byExploiting?Temporal?Decoupling》(作者：Rauf?Salimi?Khaligh?and?MartinRadetzki，Volume?310/2009，pp.149-158，2009)公開了一個并行事務級模擬平臺，該平臺基于OSCI的SystemC模擬器實現，其主要目的是通過挖掘事務級模擬中的時間解耦性質來獲取并行模擬的效率提升。然而，由于該方法基于標準的事務級模擬器SystemC實現，其運行開銷和靈活性較差，且該方法沒有考慮如何為系統級模型的建模提供有效的支持。

但是如何降低部件模型和并行事務級模擬系統之間的耦合度，提高并行事務級模擬系統的開發效率，降低對部件模型和并行事務級模擬系統維護的開銷，成為目前亟待解決的問題之一。

發明內容

本發明解決的問題是降低部件模型和并行事務級模擬系統之間的耦合度，提高并行事務級模擬系統的開發效率，降低對部件模型和并行事務級模擬系統維護的開銷。

為解決上述問題，本發明提供了一種建立部件模型間通信的模擬方法，包括：

將所述部件模型以矩陣形式分布，確定所述矩陣的維數；

根據所述部件模型的類型，將所述矩陣分成子矩陣，基于所述矩陣的維數及所述子矩陣在所述矩陣中的位置生成分布表達式，所述分布表達式描述所述部件模型在所述矩陣中的位置坐標；

基于所述部件模型在所述矩陣中的位置坐標和待模擬的部件模型間的連接關系生成連接關系表達式，所述連接關系表達式描述所述部件模型之間的連接關系；

檢查所述分布表達式和連接關系表達式的邏輯是否正確，若正確則基于所述分布表達式和連接關系表達式，生成并行事務級模擬系統的描述文件，所述描述文件包含所述部件模型的位置坐標及連接關系，所述連接關系以源端部件模型的名稱和位置坐標，目的端部件模型的名稱和位置坐標表示，所述位置坐標為所述部件模型的標識；

所述分布表達式的邏輯正確是指所述部件模型的位置坐標與部件模型一一對應；所述連接關系表達式的邏輯正確是指所述連接關系表達式中包括每個部件模型的連接關系，且所述部件模型沒有冗余的連接關系。

可選的，所述基于所述矩陣的維數及所述子矩陣在所述矩陣中的位置生成分布表達式包括：基于所述矩陣的維數及所述子矩陣在所述矩陣中的位置，確定預先建立的分布公式中的參數，得到所述分布表達式，所述分布公式為：