[發(fā)明專利]驗(yàn)證總線端口功能覆蓋率的方法及系統(tǒng)有效
| 申請(qǐng)?zhí)枺?/td> | 201711437141.X | 申請(qǐng)日: | 2017-12-26 |
| 公開(公告)號(hào): | CN108108278B | 公開(公告)日: | 2021-07-30 |
| 發(fā)明(設(shè)計(jì))人: | 邱劍;劉剛 | 申請(qǐng)(專利權(quán))人: | 北京國睿中數(shù)科技股份有限公司;中國電子科技集團(tuán)公司第十四研究所 |
| 主分類號(hào): | G06F11/26 | 分類號(hào): | G06F11/26;G06F11/22 |
| 代理公司: | 北京清亦華知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11201 | 代理人: | 張潤 |
| 地址: | 100085 北*** | 國省代碼: | 北京;11 |
| 權(quán)利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 驗(yàn)證 總線 端口 功能 覆蓋率 方法 系統(tǒng) | ||
本發(fā)明公開了一種驗(yàn)證總線端口功能覆蓋率的方法及系統(tǒng),其中,方法包括:從總線中選擇出需要進(jìn)行統(tǒng)計(jì)的多個(gè)總線端口;分別對(duì)多個(gè)總線端口進(jìn)行獨(dú)立分析,以確定多個(gè)總線端口中每個(gè)總線端口的取值范圍;建立多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,并根據(jù)多個(gè)總線端口中每個(gè)總線端口的取值范圍和多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,以預(yù)定需求分別對(duì)多個(gè)總線端口進(jìn)行分類;根據(jù)分類結(jié)果對(duì)多個(gè)總線端口進(jìn)行端口交叉,并以交叉結(jié)果統(tǒng)計(jì)總線端口功能覆蓋率。該方法在保證功能覆蓋率驗(yàn)證完備性的同時(shí)可以減少總線端口功能統(tǒng)計(jì)項(xiàng)和降低分析總線端口功能覆蓋率的工作量,具有簡潔、準(zhǔn)確、查看便捷的優(yōu)點(diǎn)。
技術(shù)領(lǐng)域
本發(fā)明涉及總線端口功能驗(yàn)證技術(shù)領(lǐng)域,特別涉及一種驗(yàn)證總線端口功能覆蓋率的方法及系統(tǒng)。
背景技術(shù)
對(duì)總線功能的驗(yàn)證中,需要統(tǒng)計(jì)端口的功能覆蓋率。端口功能覆蓋率分為兩部分:端口自身的功能覆蓋率和端口之間的交叉功能覆蓋率。
在相關(guān)技術(shù)中,總線驗(yàn)證平臺(tái)列舉出各個(gè)端口所有的取值范圍,然后再逐一進(jìn)行功能覆蓋率設(shè)計(jì),并將各端口的取值范圍進(jìn)行交叉處理。這種方式中,對(duì)總線端口覆蓋率的統(tǒng)計(jì),統(tǒng)計(jì)數(shù)的增加會(huì)帶來分析難度的增大,且隨著端口位寬的增大,端口覆蓋率的統(tǒng)計(jì)項(xiàng)成幾何倍數(shù)的增長會(huì)造成驗(yàn)證過程出現(xiàn)遺漏,無法保證驗(yàn)證的完備性;且交叉處理后的統(tǒng)計(jì)項(xiàng)也變得很龐大,使后期的分析工作異常復(fù)雜。
發(fā)明內(nèi)容
本發(fā)明旨在至少在一定程度上解決上述相關(guān)技術(shù)中的技術(shù)問題之一。
為此,本發(fā)明的一方面目的在于提出一種驗(yàn)證總線端口功能覆蓋率的方法。該方法能夠簡潔、準(zhǔn)確地完成對(duì)總線端口功能覆蓋率的驗(yàn)證且查看快捷。
本發(fā)明的另一方面目的在于提出一種驗(yàn)證總線端口功能覆蓋率系統(tǒng)。
為了實(shí)現(xiàn)上述目的,本發(fā)明的一方面實(shí)施例公開了一種驗(yàn)證總線端口功能覆蓋率的方法,包括以下步驟:從總線中選擇出需要進(jìn)行統(tǒng)計(jì)的多個(gè)總線端口;分別對(duì)所述多個(gè)總線端口進(jìn)行獨(dú)立分析,以確定所述多個(gè)總線端口中每個(gè)總線端口的取值范圍;建立所述多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,并根據(jù)所述多個(gè)總線端口中每個(gè)總線端口的取值范圍和所述多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,以預(yù)定需求分別對(duì)所述多個(gè)總線端口進(jìn)行分類;根據(jù)分類結(jié)果對(duì)所述多個(gè)總線端口進(jìn)行端口交叉,并以交叉結(jié)果統(tǒng)計(jì)總線端口功能覆蓋率。
本發(fā)明實(shí)施例的驗(yàn)證總線端口功能覆蓋率的方法,通過選擇需要進(jìn)行統(tǒng)計(jì)的多個(gè)總線端口,將其進(jìn)行獨(dú)立分析后進(jìn)行關(guān)聯(lián),進(jìn)而對(duì)其進(jìn)行分類;通過對(duì)分類結(jié)果的交叉,統(tǒng)計(jì)總線端口功能覆蓋率。該方法具有降低分析總線端口功能覆蓋率的工作量,驗(yàn)證過程簡潔、準(zhǔn)確、查看便捷的優(yōu)點(diǎn)。
在一些示例中,所述多個(gè)總線端口包括addr端口、wstrb端口、size端口、length端口和burst_type端口,其中,addr端口為40bit,wstrb端口為32bit,size端口有6個(gè)值,length端口為4bit,burst_type端口有3個(gè)值。
在一些示例中,所述建立所述多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,并根據(jù)所述多個(gè)總線端口中每個(gè)總線端口的取值范圍和所述多個(gè)總線端口之間的關(guān)聯(lián)關(guān)系,以預(yù)定需求分別對(duì)所述多個(gè)總線端口進(jìn)行分類,包括:將addr端口進(jìn)行分類,建立與size端口的聯(lián)系,劃分出按size端口對(duì)齊的地址,則剩余的地址為非對(duì)齊的地址;將wstrb端口進(jìn)行分類,建立與size端口和addr端口的聯(lián)系,在各種size端口取值的條件下,以wstrb端口中存在0的個(gè)數(shù)進(jìn)行分類;將length端口進(jìn)行分類,建立與size端口、addr端口和burst_type端口的關(guān)系,將length端口劃分為跨越cacheline端口和不跨越cacheline端口兩個(gè)大類。
在一些示例中,所述根據(jù)分類結(jié)果對(duì)所述多個(gè)總線端口進(jìn)行端口交叉,并以交叉結(jié)果統(tǒng)計(jì)總線端口功能覆蓋率,包括:以size端口為基礎(chǔ)進(jìn)行深入分析,將addr端口、wstrb端口、length端口和burst_type端口的各分類項(xiàng)進(jìn)行交叉,形成最終的總線端口功能覆蓋率。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于北京國睿中數(shù)科技股份有限公司;中國電子科技集團(tuán)公司第十四研究所,未經(jīng)北京國睿中數(shù)科技股份有限公司;中國電子科技集團(tuán)公司第十四研究所許可,擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作,請(qǐng)聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201711437141.X/2.html,轉(zhuǎn)載請(qǐng)聲明來源鉆瓜專利網(wǎng)。
- 同類專利
- 專利分類
G06F 電數(shù)字?jǐn)?shù)據(jù)處理
G06F11-00 錯(cuò)誤檢測(cè);錯(cuò)誤校正;監(jiān)控
G06F11-07 .響應(yīng)錯(cuò)誤的產(chǎn)生,例如,容錯(cuò)
G06F11-22 .在準(zhǔn)備運(yùn)算或者在空閑時(shí)間期間內(nèi),通過測(cè)試作故障硬件的檢測(cè)或定位
G06F11-28 .借助于檢驗(yàn)標(biāo)準(zhǔn)程序或通過處理作錯(cuò)誤檢測(cè)、錯(cuò)誤校正或監(jiān)控
G06F11-30 .監(jiān)控
G06F11-36 .通過軟件的測(cè)試或調(diào)試防止錯(cuò)誤
- 驗(yàn)證系統(tǒng)、驗(yàn)證服務(wù)器、驗(yàn)證方法、驗(yàn)證程序、終端、驗(yàn)證請(qǐng)求方法、驗(yàn)證請(qǐng)求程序和存儲(chǔ)媒體
- 驗(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è)備
- 內(nèi)部總線系統(tǒng)
- 一種應(yīng)用于實(shí)時(shí)數(shù)據(jù)處理的多級(jí)總線系統(tǒng)
- 協(xié)議轉(zhuǎn)換裝置
- 基于FPGA的PCI總線控制器及控制方法
- 總線監(jiān)控系統(tǒng)、方法及裝置
- 總線電路以及智能貨架系統(tǒng)
- 用于控制串行數(shù)據(jù)總線系統(tǒng)的方法及總線節(jié)點(diǎn)
- 用于在串行數(shù)據(jù)總線系統(tǒng)中分配地址的方法及總線節(jié)點(diǎn)
- 驗(yàn)證先前分配給總線節(jié)點(diǎn)的地址的正確性的方法
- 用于初始化差分雙線數(shù)據(jù)總線的方法及傳送數(shù)據(jù)的方法





