[發(fā)明專利]芯片電路功能驗(yàn)證系統(tǒng)、方法、設(shè)備及存儲介質(zhì)有效
| 申請?zhí)枺?/td> | 202110853924.6 | 申請日: | 2021-07-28 |
| 公開(公告)號: | CN113312879B | 公開(公告)日: | 2021-11-09 |
| 發(fā)明(設(shè)計(jì))人: | 楊兵;畢金瓊;鄭曉萌;李春紅;帥晉;李振 | 申請(專利權(quán))人: | 北京燧原智能科技有限公司 |
| 主分類號: | G06F30/398 | 分類號: | G06F30/398 |
| 代理公司: | 北京品源專利代理有限公司 11332 | 代理人: | 孔凡紅 |
| 地址: | 100191 北京市海淀區(qū)知春路23*** | 國省代碼: | 北京;11 |
| 權(quán)利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 芯片 電路 功能 驗(yàn)證 系統(tǒng) 方法 設(shè)備 存儲 介質(zhì) | ||
1.一種芯片電路功能驗(yàn)證系統(tǒng),其特征在于,包括:激勵(lì)生成模塊、執(zhí)行模塊、待測電路、參考模型和檢驗(yàn)器;其中:
所述激勵(lì)生成模塊與所述執(zhí)行模塊、所述參考模型電連接,用于獲取芯片軟件仿真結(jié)果,并根據(jù)所述芯片軟件仿真結(jié)果生成目標(biāo)驗(yàn)證激勵(lì),并將所述目標(biāo)驗(yàn)證激勵(lì)輸入至所述執(zhí)行模塊和所述參考模型;
所述執(zhí)行模塊還與所述待測電路電連接,用于根據(jù)所述目標(biāo)驗(yàn)證激勵(lì)對所述待測電路進(jìn)行參數(shù)配置,并生成目標(biāo)激勵(lì)信號輸入至所述待測電路;
所述待測電路,用于根據(jù)參數(shù)配置結(jié)果和所述目標(biāo)激勵(lì)信號生成測試輸出結(jié)果;
所述參考模型,用于根據(jù)所述目標(biāo)驗(yàn)證激勵(lì)模擬生成參考輸出結(jié)果;
所述檢驗(yàn)器與所述待測電路、所述參考模型電連接,用于獲取所述測試輸出結(jié)果和所述參考輸出結(jié)果,并對所述測試輸出結(jié)果和所述參考輸出結(jié)果進(jìn)行匹配,根據(jù)匹配結(jié)果獲取所述待測電路的功能驗(yàn)證結(jié)果;
其中,所述激勵(lì)生成模塊,包括:軟件仿真器和自動(dòng)化腳本,所述軟件仿真器與所述自動(dòng)化腳本通信連接;其中:
所述軟件仿真器,用于根據(jù)軟件場景指令和指令流格式文件,生成所述芯片軟件仿真結(jié)果,并將所述芯片軟件仿真結(jié)果中的指令流數(shù)據(jù)輸入至所述自動(dòng)化腳本;所述軟件場景指令通過在軟件中追加打印的方法獲取;
所述自動(dòng)化腳本,用于根據(jù)所述指令流數(shù)據(jù)確定對所述執(zhí)行模塊的函數(shù)調(diào)用策略和函數(shù)調(diào)用關(guān)聯(lián)數(shù)據(jù),并根據(jù)所述函數(shù)調(diào)用策略和所述函數(shù)調(diào)用關(guān)聯(lián)數(shù)據(jù)生成所述目標(biāo)驗(yàn)證激勵(lì);
其中,所述軟件仿真器,具體用于在所述芯片軟件仿真結(jié)果中打印出所述指令流數(shù)據(jù),輸入至所述自動(dòng)化腳本中。
2.根據(jù)權(quán)利要求1所述的系統(tǒng),其特征在于,所述執(zhí)行模塊包括至少一個(gè)定義接口函數(shù),具體用于:
根據(jù)所述函數(shù)調(diào)用策略,在所述定義接口函數(shù)中獲取分別與各所述函數(shù)調(diào)用關(guān)聯(lián)數(shù)據(jù)匹配的目標(biāo)定義接口函數(shù);
將各所述函數(shù)調(diào)用關(guān)聯(lián)數(shù)據(jù)輸入至匹配的所述目標(biāo)定義接口函數(shù)中,以調(diào)用所述目標(biāo)定義接口函數(shù)對所述待測電路進(jìn)行參數(shù)配置,并生成所述目標(biāo)激勵(lì)信號輸入至所述待測電路。
3.根據(jù)權(quán)利要求1所述的系統(tǒng),其特征在于,所述目標(biāo)驗(yàn)證激勵(lì),包括寄存器配置激勵(lì)、數(shù)據(jù)配置激勵(lì)和信號配置激勵(lì)。
4.根據(jù)權(quán)利要求3所述的系統(tǒng),其特征在于,還包括:寄存器接口驅(qū)動(dòng)器、數(shù)據(jù)接口驅(qū)動(dòng)器和控制信號接口模塊;
所述執(zhí)行模塊,具體用于:
根據(jù)所述寄存器配置激勵(lì)調(diào)用所述寄存器接口驅(qū)動(dòng)器,以對所述待測電路進(jìn)行寄存器配置;
根據(jù)所述數(shù)據(jù)配置激勵(lì)調(diào)用所述數(shù)據(jù)接口驅(qū)動(dòng)器,以對所述待測電路進(jìn)行存儲器配置;
根據(jù)所述信號配置激勵(lì)生成所述目標(biāo)激勵(lì)信號,并調(diào)用所述控制信號接口模塊將所述目標(biāo)激勵(lì)信號輸入至所述待測電路。
5.根據(jù)權(quán)利要求1所述的系統(tǒng),其特征在于,還包括:監(jiān)視模塊;
所述監(jiān)視模塊,用于獲取所述待測電路的所述測試輸出結(jié)果,并將所述測試輸出結(jié)果輸入至所述檢驗(yàn)器。
6.根據(jù)權(quán)利要求5所述的系統(tǒng),其特征在于,還包括:狀態(tài)信號接口模塊、寄存器接口監(jiān)視器、數(shù)據(jù)接口監(jiān)視器和存儲器后門訪問接口模塊;其中:
所述狀態(tài)信號接口模塊,用于獲取所述待測電路的狀態(tài)信號信息并發(fā)送至所述監(jiān)視模塊;
所述寄存器接口監(jiān)視器,用于根據(jù)寄存器接口通信協(xié)議獲取目標(biāo)寄存器信息,并發(fā)送至所述監(jiān)視模塊;
所述數(shù)據(jù)接口監(jiān)視器,用于根據(jù)數(shù)據(jù)接口通信協(xié)議獲取目標(biāo)數(shù)據(jù)信息,并發(fā)送至所述監(jiān)視模塊;
所述存儲器后門訪問接口模塊,用于獲取所述待測電路的存儲器數(shù)據(jù)信息,并發(fā)送至所述監(jiān)視模塊。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于北京燧原智能科技有限公司,未經(jīng)北京燧原智能科技有限公司許可,擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作,請聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/202110853924.6/1.html,轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
- 驗(yàn)證系統(tǒng)、驗(yàn)證服務(wù)器、驗(yàn)證方法、驗(yàn)證程序、終端、驗(yàn)證請求方法、驗(yàn)證請求程序和存儲媒體
- 驗(yàn)證目標(biāo)系統(tǒng)的驗(yàn)證系統(tǒng)及其驗(yàn)證方法
- 驗(yàn)證設(shè)備、驗(yàn)證方法和驗(yàn)證程序
- 驗(yàn)證裝置、驗(yàn)證系統(tǒng)以及驗(yàn)證方法
- 驗(yàn)證方法、驗(yàn)證系統(tǒng)、驗(yàn)證設(shè)備及其程序
- 驗(yàn)證方法、用于驗(yàn)證的系統(tǒng)、驗(yàn)證碼系統(tǒng)以及驗(yàn)證裝置
- 圖片驗(yàn)證碼驗(yàn)證方法和圖片驗(yàn)證碼驗(yàn)證裝置
- 驗(yàn)證裝置、驗(yàn)證程序和驗(yàn)證方法
- 驗(yàn)證裝置、驗(yàn)證方法及驗(yàn)證程序
- 跨多個(gè)驗(yàn)證域的驗(yàn)證系統(tǒng)、驗(yàn)證方法、驗(yàn)證設(shè)備





