[發(fā)明專利]IP核AMBA總線接口兼容性通用驗(yàn)證方法及驗(yàn)證平臺

無效

• 申請?zhí)枺?/td>: 201010022428.8
• 申請日: 2010-01-05
• 公開（公告）號: CN102117238A
• 公開（公告）日: 2011-07-06
• 發(fā)明（設(shè)計(jì)）人: 徐步陸;劉蕓;趙乾;史佳歡;顧文雅;陳娟;陳玉梅;樊煒
• 申請（專利權(quán)）人: 上海硅知識產(chǎn)權(quán)交易中心有限公司
• 主分類號: G06F11/26
• 分類號: G06F11/26
• 代理公司: 上海智信專利代理有限公司 31002
• 代理人: 王潔

1.一種IP核與AMBA總線接口兼容性通用驗(yàn)證平臺，包括功能仿真工具，AMBA總線底層基礎(chǔ)架構(gòu)，第三方驗(yàn)證IP核，控制模塊，驅(qū)動模塊，激勵產(chǎn)生模塊和校驗(yàn)?zāi)K，所述驗(yàn)證平臺采用SystemVerilog語言和AVM驗(yàn)證方法學(xué)所提供的驗(yàn)證組件和層次化打包、互聯(lián)方式將各模塊互聯(lián)為一體化的協(xié)調(diào)驗(yàn)證環(huán)境，

所述AMBA總線底層基礎(chǔ)架構(gòu)支持AMBA總線協(xié)議的握手機(jī)制和各種傳輸模式，

所述第三方驗(yàn)證IP核，提供必要的AMBA總線協(xié)議參考集合的功能覆蓋率模型并監(jiān)控驗(yàn)證過程中出現(xiàn)的AMBA總線接口協(xié)議違反情況，

所述控制模塊收集各QVL驗(yàn)證IP核的時序檢查和覆蓋率信息，并在高抽象層智能化的激發(fā)未覆蓋功能項(xiàng)的敏感因子，

所述驅(qū)動模塊負(fù)責(zé)將高抽象層的測試程序翻譯為符合協(xié)議要求的具體RTL接口激勵向量并發(fā)送給被測接口，

所述激勵產(chǎn)生模塊產(chǎn)生帶約束的隨機(jī)測試程序，用來產(chǎn)生帶約束的隨機(jī)激勵，

所述校驗(yàn)?zāi)K提供被測接口進(jìn)行總線傳輸?shù)臄?shù)據(jù)一致性檢查機(jī)制，并在數(shù)據(jù)未正常傳輸時準(zhǔn)確報(bào)告錯誤數(shù)據(jù)的各種信息以方便定位錯誤，

其特征在于，

所述驗(yàn)證平臺還包括APB橋，AHB?master接口，AHB?slave接口和APB?slave接口，所述APB橋把APB接口連接到AHB，AHB?master接口，AHB?slave接口和APB?slave接口連接帶有AHB?master接口、AHB?slave接口和APB?slave接口的各種IP核。

2.根據(jù)權(quán)利要求1所述的IP核與AMBA總線接口兼容性通用驗(yàn)證平臺，其特征在于，所述功能仿真工具為Mentor公司Questa前端仿真工具。

3.根據(jù)權(quán)利要求1所述的IP核與AMBA總線接口兼容性通用驗(yàn)證平臺，其特征在于，所述AMBA總線底層基礎(chǔ)架構(gòu)采用3級流水設(shè)計(jì)，并完全支持AMBA2.0協(xié)議的總線握手機(jī)制和各種傳輸模式。

4.根據(jù)權(quán)利要求1所述的IP核與AMBA總線接口兼容性通用驗(yàn)證平臺，其特征在于，所述第三方驗(yàn)證IP核為Mentor公司的QVL庫。

5.一種IP核與AMBA總線接口兼容性通用驗(yàn)證方法，其特征在于，所述驗(yàn)證方法包括以下步驟：

(1)采用腳本語言，編寫一個IP核與AMBA總線接口兼容性通用驗(yàn)證的主操作臺，該操作臺負(fù)責(zé)對仿真工具的操作流程控制；

(2)建立驗(yàn)證工作目錄并轉(zhuǎn)入目錄工作；

(3)調(diào)入并編譯驗(yàn)證平臺的各工作組件；

(4)生成帶約束的激勵；包括驗(yàn)證剛開始人工輸入的激勵和驗(yàn)證過程中激勵產(chǎn)生模塊產(chǎn)生帶約束的隨機(jī)測試程序生成的帶約束的隨機(jī)激勵；

(5)校驗(yàn)?zāi)K提供被測接口進(jìn)行總線傳輸?shù)臄?shù)據(jù)一致性檢查機(jī)制；如果數(shù)據(jù)不一致，則調(diào)試修改待測接口，然后返回步驟(4)，如果數(shù)據(jù)一致，則通過QVL進(jìn)行功能覆蓋率分析；

(6)判斷時序是否滿足要求，如果不滿足，則調(diào)試修改待測接口，然后返回步驟(4)；

(7)判斷是否滿足目標(biāo)覆蓋率，如果滿足，則驗(yàn)證循環(huán)結(jié)束，如果不滿足，則返回步驟(4)。

步驟(3)中所述驗(yàn)證平臺包括功能仿真工具，AMBA總線底層基礎(chǔ)架構(gòu)，第三方驗(yàn)證IP核，控制模塊，驅(qū)動模塊，校驗(yàn)?zāi)K，APB橋，AHBmaster接口，AHB?slave接口和APB?slave接口；采用SystemVerilog語言和AVM驗(yàn)證方法學(xué)所提供的驗(yàn)證組件和層次化打包、互聯(lián)方式將各模塊互聯(lián)為一體化的協(xié)調(diào)驗(yàn)證環(huán)境；

所述AMBA總線底層基礎(chǔ)架構(gòu)支持AMBA總線協(xié)議的握手機(jī)制和各種傳輸模式；

所述第三方驗(yàn)證IP核，提供必要的AMBA總線協(xié)議參考集合的功能覆蓋率模型并監(jiān)控驗(yàn)證過程中出現(xiàn)的AMBA總線接口協(xié)議違反情況；

所述控制模塊收集各QVL驗(yàn)證IP核的時序檢查和覆蓋率信息，并在高抽象層智能化的激發(fā)未覆蓋功能項(xiàng)的敏感因子；

所述驅(qū)動模塊負(fù)責(zé)將高抽象層的測試程序翻譯為符合協(xié)議要求的具體RTL接口激勵向量并發(fā)送給被測接口；

所述激勵產(chǎn)生模塊產(chǎn)生帶約束的隨機(jī)測試程序，用來產(chǎn)生帶約束的隨機(jī)激勵；

所述校驗(yàn)?zāi)K提供被測接口進(jìn)行總線傳輸?shù)臄?shù)據(jù)一致性檢查機(jī)制，并在數(shù)據(jù)未正常傳輸時準(zhǔn)確報(bào)告錯誤數(shù)據(jù)的各種信息以方便定位錯誤；

所述APB橋把APB接口連接到AHB，AHB?master接口，AHB?slave接口和APB?slave接口連接帶有AHB?master接口、AHB?slave接口和APB?slave接口的各種IP核。