[發明專利]一種AXI Crossbar設計電路驗證方法和系統

在審

• 申請號: 202011161201.1
• 申請日: 2020-10-26
• 公開（公告）號: CN112257381A
• 公開（公告）日: 2021-01-22
• 發明（設計）人: 劉美云;胡勝發
• 申請（專利權）人: 廣州安凱微電子股份有限公司
• 主分類號: G06F30/398
• 分類號: G06F30/398
• 代理公司: 廣州三環專利商標代理有限公司 44202
• 代理人: 郭浩輝;顏希文

本發明提供了一種AXI Crossbar設計電路驗證方法和系統，所述方法包括：預先配置設計參數和驗證內容，由此生成主設備數目的第一數據包和從設備數目的第二數據包，分別驅動第一AXI Crossbar端口和第二AXI Crossbar端口收發突發信息，并分別監測第一、二AXI Crossbar端口所接收的突發信息，將其加入標識號后分別存入第一信息隊列和第二信息隊列，再比對第一、二信息隊列中標識號相同的突發信息。本發明實施例基于參數化組件數目的驗證平臺和全自動化的監測機制，實現了針對全功能模式的AXI Crossbar的通用、快速、靈活、充分、有效的自動化驗證，節約大量的人力、物力和時間成本。

技術領域

本發明涉及交叉互聯總線設計驗證領域，特別是涉及一種全功能模式的AXICrossbar設計電路驗證方法和系統。

背景技術

AXI(Advanced eXtensible Interface，高級可擴展接口)是ARM公司提出的AMBA(Advance Microcontroller Bus Architecture)協議中最重要的部分，用于描述主設備和從設備之間的數據傳輸方式。AXI總線是一種面向高性能、高帶寬、低延遲的片內總線，廣泛用作基于ARM高性能處理器的SOC(System On Chip，片上系統)芯片的總線系統，其支持主設備和從設備之間的點對點連接，為了適于多個主設備訪問多個從設備的交叉互聯的需求，設計出了全功能模式的AXI Crossbar并得以廣泛應用。

目前，隨著芯片規模的不斷擴大，總線互聯結構越來越復雜，在不同SOC芯片架構中可能需要用到更多不同的M值跟N值的AXI Crossbar，甚至在一個SOC芯片架構中使用的AXI Crossbar的種類也越來越多，比如之前可能只涉及1個主設備訪問2個從設備的1to2類型，而現在的一個SOC芯片架構中會同時用到1to2、2to3,、3to1等多個不同M to N(M為主設備個數，N為從設備個數)類型的AXI Crossbar，所涉及的AXI Crossbar設計功能必須都正確才能保證SOC芯片的正常工作，因此，必須對涉及到的每種AXI Crossbar都進行驗證并保證其功能的正確性。然而，現有的AXI Crossbar電路設計驗證方法僅針對指定個數的主從設備，一套驗證環境只能驗證一種類型，即對用到的每一種類型都需要單獨驗證，且每次驗證都要修改驗證環境使其適用于需要驗證的場景，若出現多種就需要同時搭建多個驗證環境或者不停地拆搭驗證環境進行驗證，而不是提供一種通用意義上的驗證方法可以支持驗證任意M個主設備訪問N個從設備的情形。顯然，將現有的驗證方法應用于同時使用多個不同M值或者N值的AXI Crossbar的驗證場景，務必需要浪費大量的時間和耗費大量人力，為了滿足當前的使用需求，亟需提供一種具有通用性，且能夠快速、充分、靈活、有效的驗證不同M to N類型的全功能模式AXI Crossbar的方法。

發明內容

本發明的目的是實現無需改變或重搭驗證環境的情況，即可快速、充分、靈活、有效的驗證任意不同M(M大于等于1)個主設備訪問N(N大于等于1)個從設備的全功能模式的AXI Crossbar。

為了實現上述目的，有必要針對上述技術問題，提供了一種AXI Crossbar設計電路驗證方法和系統。

第一方面，本發明實施例提供了一種AXI Crossbar設計電路驗證方法，所述方法包括以下步驟：

預先配置設計參數和驗證內容；所述設計參數包括主設備數目和從設備數目；

根據所述設計參數和所述驗證內容分別生成所述主設備數目的第一數據包和所述從設備數目的第二數據包；

根據所述第一數據包和所述第二數據包，分別驅動第一AXI Crossbar端口和第二AXI Crossbar端口收發突發信息；