[發明專利]集成電路模塊間協同工作的驗證系統及驗證方法

有效

• 申請號: 202010438565.3
• 申請日: 2020-05-22
• 公開（公告）號: CN111353266B
• 公開（公告）日: 2020-08-28
• 發明（設計）人: 楊兵;李振;李春紅
• 申請（專利權）人: 北京燧原智能科技有限公司
• 主分類號: G06F30/3308
• 分類號: G06F30/3308
• 代理公司: 北京品源專利代理有限公司 11332
• 代理人: 孟金喆

1.一種集成電路模塊間協同工作的驗證系統，其特征在于，包括：激勵模型、功能模擬模型、互聯電路模型、存儲器模型以及計分板，其中，

所述激勵模型，用于產生被測電路模塊的指令集合、互聯電路模型配置信息以及存儲器模型配置信息，并將所述指令集合分別發送至主機電路模塊和所述功能模擬模型，將所述存儲器模型配置信息分別發送至所述存儲器模型和所述功能模擬模型，將所述互聯電路配置信息分別發送至所述互聯電路模型和所述功能模擬模型；

其中，所述被測電路模塊包括所述主機電路模塊和從機電路模塊，所述主機電路模塊用于根據所述指令集合發起操作并將主機操作實際值發送至所述計分板，所述從機電路模塊用于通過所述互聯電路模型與所述主機電路模塊協同工作并將從機操作實際值發送至所述計分板；

所述功能模擬模型，用于模擬包括所述主機電路模塊、所述從機電路模塊、存儲器、以及所述主機電路模塊和所述從機電路模塊之間互聯電路的集成芯片的功能，在根據所述互聯電路模型配置信息以及存儲器模型配置信息完成配置之后，根據所述指令集合發起操作，并將操作期待值發送至所述計分板；

所述互聯電路模型，用于根據所述互聯電路配置信息，實現所述主機電路模塊和所述從機電路模塊的互聯功能；

所述存儲器模型，用于根據所述存儲器模型配置信息，實現數據存儲功能；

所述計分板，用于根據所述操作期待值、所述主機操作實際值和所述從機操作實際值，實現對所述主機電路模塊和所述從機電路模塊間協同工作的驗證。

2.根據權利要求1所述的驗證系統，其特征在于，還包括：主機集成電路芯核和從機集成電路芯核，其中，

所述主機集成電路芯核，用于將來自所述主機電路模塊的信號轉換為訪問事務發送至所述互聯電路模型，并將所述訪問事務作為所述主機操作實際值發送至所述計分板，以及用于將在所述互聯電路模型中監聽到的目標反饋事務轉換為信號發送至所述主機電路模塊；

所述從機集成電路芯核，用于將在所述互聯電路模型中監聽到的目標訪問事務轉換為信號發送至所述從機電路模塊，以及用于將來自所述從機電路模塊的信號轉換為反饋事務發送至所述互聯電路模型，并將所述反饋事務作為所述從機操作實際值發送至計分板。

3.根據權利要求2所述的驗證系統，其特征在于，

所述主機集成電路芯核中加載有主機協同序列處理子模塊，所述主機協同序列處理子模塊用于根據所述主機電路模塊發起的訪問事務的地址產生或者獲取所述訪問事務的反饋事務；

所述從機集成電路芯核中加載有從機協同序列處理子模塊，所述從機協同序列處理子模塊用于在所述互聯電路模型中監聽指向所述從機電路模塊的訪問事務，并將所述訪問事務發送至所述從機電路模塊中，以及在所述從機電路模塊中獲取所述訪問事務的反饋事務發送至所述互聯電路模型。

4.根據權利要求1所述的驗證系統，其特征在于，所述從機電路模塊中包括主機接口電路，所述主機接口電路用于將所述從機電路模塊對訪問事務的處理結果發送至所述存儲器模型中進行存儲。

5.根據權利要求1所述的驗證系統，其特征在于，所述互聯電路模型包括互聯通道子模型和至少一個虛擬主機子模型，其中，

所述互聯通道子模型，用于根據所述互聯電路配置信息，實現所述主機電路模塊和所述從機電路模塊的互聯功能；

所述虛擬主機子模型，用于模擬主機電路模塊產生訪問事務。

6.根據權利要求5所述的驗證系統，其特征在于，所述互聯通道子模型，還用于設置所述互聯電路模型的延時信息和/或仲裁功能。

7.根據權利要求1所述的驗證系統，其特征在于，還包括：檢測模型，用于檢測所述主機電路模塊和所述從機電路模塊的信號接口上的激勵信號是否符合預設傳輸協議，和/或，用于判斷所述主機電路模塊和所述從機電路模塊的中斷輸出信號是否符合預設時序。

8.根據權利要求1所述的驗證系統，其特征在于，還包括：功能覆蓋率分析模型，用于根據所述計分板收集的所述操作期待值、所述主機操作實際值和所述從機操作實際值，分析所述主機電路模塊和所述從機電路模塊間協同工作功能的覆蓋率。