[發(fā)明專利]實現(xiàn)SystemC驗證的方法和驗證平臺組件架構(gòu)

有效

• 申請?zhí)枺?/td>: 202011129206.6
• 申請日: 2020-10-20
• 公開（公告）號: CN112241347B
• 公開（公告）日: 2021-08-27
• 發(fā)明（設(shè)計）人: 黃書茜
• 申請（專利權(quán)）人: 海光信息技術(shù)股份有限公司
• 主分類號: G06F11/26
• 分類號: G06F11/26;G06F11/22;G06F11/34
• 代理公司: 北京超凡宏宇專利代理事務(wù)所(特殊普通合伙) 11463
• 代理人: 鐘揚飛

1.一種實現(xiàn)SystemC驗證的方法，其特征在于，包括：

通過事務(wù)級TLI接口實現(xiàn)待驗證的SystemC設(shè)計與已有Verilog RTL驗證平臺的連接；所述已有Verilog RTL驗證平臺為已實現(xiàn)過所述SystemC設(shè)計對應(yīng)的Verilog設(shè)計的驗證的驗證平臺；

按照仿真系統(tǒng)和TLI手冊的要求，配置所述TLI接口以及SystemC文件名，并配置所述SystemC設(shè)計與所述已有Verilog RTL驗證平臺之間的調(diào)用函數(shù)；所述調(diào)用函數(shù)用于從所述已有Verilog RTL驗證平臺處調(diào)用驗證環(huán)境要素；

根據(jù)配置的所述TLI接口、所述SystemC文件名以及所述調(diào)用函數(shù)編譯仿真腳本；

在SystemC設(shè)計完成后，所述仿真系統(tǒng)執(zhí)行所述仿真腳本進行仿真驗證；

通過TLI接口實現(xiàn)待驗證的SystemC設(shè)計與已有Verilog RTL驗證平臺的連接，包括：

通過第一TLI接口連接所述待驗證的SystemC設(shè)計的輸入端與所述已有Verilog RTL驗證平臺的激勵源。

2.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，所述已有Verilog RTL驗證平臺中，激勵源通過主已經(jīng)申請知識產(chǎn)權(quán)保護的驗證模塊VIP模塊傳輸給所述已有Verilog RTL驗證平臺中的Verilog設(shè)計；

通過第一TLI接口連接所述待驗證的SystemC設(shè)計的輸入端與所述已有Verilog RTL驗證平臺的激勵源，包括：

通過第一TLI接口連接所述待驗證的SystemC設(shè)計的輸入端與所述主已經(jīng)申請知識產(chǎn)權(quán)保護的驗證模塊。

3.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，所述已有Verilog RTL驗證平臺中的Verilog設(shè)計連接有從已經(jīng)申請知識產(chǎn)權(quán)保護的驗證模塊；

通過TLI接口實現(xiàn)待驗證的SystemC設(shè)計與已有Verilog RTL驗證平臺的連接，包括：

通過第二TLI接口連接所述待驗證的SystemC設(shè)計與所述已有Verilog RTL驗證平臺的從已經(jīng)申請知識產(chǎn)權(quán)保護的驗證模塊。

4.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，所述方法還包括：

配置第一核驗?zāi)K；

將所述SystemC設(shè)計的輸出和所述已有Verilog RTL驗證平臺中的Verilog設(shè)計的輸出輸入到所述第一核驗?zāi)K，以使所述第一核驗?zāi)K對所述SystemC設(shè)計的輸出進行核驗。

5.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，所述方法還包括：

配置第二核驗?zāi)K；

將所述SystemC設(shè)計的輸入和所述SystemC設(shè)計的輸出輸入到所述第二核驗?zāi)K，以使所述第二核驗?zāi)K對所述SystemC設(shè)計的輸出進行核驗。

6.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，在配置TLI接口以及SystemC文件名之前，所述方法還包括：

規(guī)劃驗證環(huán)境目錄結(jié)構(gòu)；

所述按照仿真系統(tǒng)和TLI手冊的要求，配置TLI接口以及SystemC文件名包括：

按照所述驗證環(huán)境目錄結(jié)構(gòu)，并按照所述仿真系統(tǒng)和所述TLI手冊的要求，配置TLI接口以及SystemC文件名。

7.如權(quán)利要求1所述的實現(xiàn)SystemC驗證的方法，其特征在于，配置SystemC文件名，包括：

配置所有接口信號的輸入文件以及輸出文件，以及SystemC頭文件和頂層文件。

8.如權(quán)利要求1-7任一項所述的實現(xiàn)SystemC驗證的方法，其特征在于，所述已有Verilog RTL驗證平臺為以下之一：

SystemVerilog驗證平臺；

OVM驗證平臺；

VMM驗證平臺；

UVM驗證平臺。