一種AHB總線讀寫burst相互打斷的驗(yàn)證方法及裝置制造方法
【專利摘要】本發(fā)明適用于電子信息【技術(shù)領(lǐng)域】，提供了一種AHB總線讀寫burst相互打斷的驗(yàn)證方法及裝置，所述方法包括：接收測試場景scenario；根據(jù)中斷屬性，將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列；按順序從被打斷隊(duì)列中選取被打斷的transaction，在打斷隊(duì)列中查找打斷transaction，所述打斷transaction符合打斷所述被打斷的transaction的條件；將所述打斷transaction與所述被打斷transaction按照打斷情況順序發(fā)送至DUT；對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。本發(fā)明將測試場景分為打斷隊(duì)列和被打斷隊(duì)列，通過比較進(jìn)出DUT每拍的數(shù)據(jù)和順序，實(shí)現(xiàn)了驗(yàn)證DUT對(duì)打斷情況處理的正確性。
【專利說明】—種AHB總線讀寫burst相互打斷的驗(yàn)證方法及裝置
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于電子信息【技術(shù)領(lǐng)域】，尤其涉及一種AHB總線讀寫burst相互打斷的驗(yàn)證方法及裝置。
【背景技術(shù)】
[0002]驗(yàn)證方法學(xué)(VerificationMethodology Manual, VMM)是 SYNOPSYS 公司推出的驗(yàn)證平臺(tái)，該平臺(tái)為分層次的結(jié)構(gòu)，該平臺(tái)的分層結(jié)構(gòu)如圖1所示。
[0003]整個(gè)驗(yàn)證平臺(tái)共分為五層:測試層，數(shù)據(jù)生成層，功能層，命令層，信號(hào)層，圖中不同的層次用虛線隔開，每個(gè)方塊代表了一個(gè)驗(yàn)證組件，同一層次中可能會(huì)包含幾種不同的驗(yàn)證組件。各個(gè)層次實(shí)現(xiàn)的功能分別是:測試層(Test layer)用來進(jìn)一步對(duì)下層的數(shù)據(jù)生成層進(jìn)行約束，控制生成符合要求的數(shù)據(jù)流，測試層包括很多測試用例；數(shù)據(jù)生成層(Generation layer)是生成隨機(jī)數(shù)據(jù)流的地方,數(shù)據(jù)流的基本單位是事務(wù)(transaction)；功能層(Function layer)根據(jù)實(shí)際應(yīng)用對(duì)生成層送過來的transaction進(jìn)行變換,使其符合借助測試的設(shè)計(jì)(Design Under Test,DUT)的要求，同時(shí)將參考模型(Reference Model)產(chǎn)生的參考數(shù)據(jù)和DUT產(chǎn)生的實(shí)際數(shù)據(jù)進(jìn)行比較，實(shí)現(xiàn)自動(dòng)對(duì)比的功能；命令層(Commandlayer)的功能是將功能層送過來的transaction轉(zhuǎn)化成具體的信號(hào)并用來驅(qū)動(dòng)DUT或是對(duì)DUT的輸出進(jìn)行監(jiān)控,分別對(duì)應(yīng)的驗(yàn)證組件是驅(qū)動(dòng)Driver和監(jiān)控Monitor。信號(hào)層(Signallayer)用來將DUT和Driver及Monitor連接起來。
[0004]利用VMM驗(yàn)證平臺(tái)對(duì)DUT驗(yàn)證的大致思路是這樣的:數(shù)據(jù)生成層根據(jù)約束條件生成符合要求的數(shù)據(jù)流(transaction的集合)，數(shù)據(jù)流通過功能層的轉(zhuǎn)換和命令層的驅(qū)動(dòng)送到DUT,同時(shí)DUT的輸出數(shù)據(jù)通過monitor監(jiān)控送到計(jì)分板(scoreboard),實(shí)現(xiàn)輸入和輸出數(shù)據(jù)的自動(dòng)比對(duì)，通過比對(duì)和功能覆蓋率的情況來驗(yàn)證DUT功能的正確性。
[0005]上述方法在先進(jìn)的高性能系統(tǒng)總線(Advanced High-performance Bus,AHB)驗(yàn)證時(shí)會(huì)遇到問題，會(huì)出現(xiàn)后面的總線數(shù)據(jù)串burst打斷前面burst的情況，(這里burst用所述transaction來表示)，現(xiàn)有技術(shù)下整個(gè)驗(yàn)證平臺(tái)沒有對(duì)打斷情況的處理機(jī)制，因此現(xiàn)有技術(shù)無法實(shí)現(xiàn)DUT對(duì)打斷情況處理正確性的驗(yàn)證。

【發(fā)明內(nèi)容】

[0006]本發(fā)明實(shí)施例的目的在于提供一種AHB總線讀寫burst相互打斷的驗(yàn)證方法及裝置，以解決現(xiàn)有技術(shù)無法實(shí)現(xiàn)DUT對(duì)打斷情況處理正確性的驗(yàn)證。
[0007]本發(fā)明的實(shí)施例是這樣實(shí)現(xiàn)的，一種AHB總線讀寫burst相互打斷的驗(yàn)證方法，所述方法包括以下步驟:
[0008]接收測試場景scenario ；
[0009]根據(jù)中斷屬性,將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列；
[0010]按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件；
[0011]將所述打斷transaction與所述被打斷的transaction按照打斷情況順序發(fā)送至DUT ；
[0012]對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
[0013]本發(fā)明的實(shí)施例的另一目的在于提供一種AHB總線讀寫burst相互打斷的驗(yàn)證裝置，所述裝置包括:
[0014]接收單元,用于接收測試場景scenario ；
[0015]分配單元,用于根據(jù)中斷屬性,將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列；
[0016]查找單元，用于按順序從被打斷隊(duì)列中選取被打斷的transaction，在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件;
[0017]發(fā)送單元,將所述打斷transaction與被打斷的transaction按照打斷情況順序發(fā)送至DUT ；
[0018]對(duì)比單元，對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
[0019]本發(fā)明實(shí)施例通過對(duì)transaction分配隊(duì)列,進(jìn)行打斷,將打斷以后進(jìn)出DUT每拍數(shù)據(jù)和順序進(jìn)行比較，實(shí)現(xiàn)了驗(yàn)證DUT對(duì)打斷情況處理的正確性。
【專利附圖】

【附圖說明】
[0020]為了更清楚地說明本發(fā)明實(shí)施例中的技術(shù)方案，下面將對(duì)實(shí)施例或現(xiàn)有技術(shù)描述中所需要使用的附圖作簡單地介紹，顯而易見地，下面描述中的附圖僅僅是本發(fā)明的一些實(shí)施例，對(duì)于本領(lǐng)域普通技術(shù)人員來講，在不付出創(chuàng)造性勞動(dòng)性的前提下，還可以根據(jù)這些附圖獲得其他的附圖。
[0021]圖1是VMM驗(yàn)證平臺(tái)的結(jié)構(gòu)圖；
[0022]圖2是本發(fā)明提供的AHB總線讀寫burst相互打斷的驗(yàn)證方法的實(shí)現(xiàn)流程圖；
[0023]圖3是本發(fā)明提供的AHB總線讀寫burst相互打斷的驗(yàn)證裝置的模塊結(jié)構(gòu)圖；
[0024]圖4是本發(fā)明實(shí)施例提供的AHB總線讀寫burst相互打斷的驗(yàn)證方法的實(shí)現(xiàn)流程圖；
[0025]圖5是本發(fā)明實(shí)施例提供的AHB總線讀寫burst相互打斷的驗(yàn)證裝置的模塊結(jié)構(gòu)圖。
【具體實(shí)施方式】
[0026]為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下結(jié)合附圖及實(shí)施例，對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說明。應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅僅用以解釋本發(fā)明，并不用于限定本發(fā)明。
[0027]本發(fā)明提供了一種AHB總線讀寫burst相互打斷的驗(yàn)證方法，所述方法如圖2所示，具體步驟包括:
[0028]在步驟SlOl中，接收測試場景scenario ；[0029]在步驟S102中，根據(jù)中斷屬性,將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列；
[0030]在步驟S103中，按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件；
[0031]在步驟S104中，將所述打斷transaction與所述被打斷的transaction按照打斷情況順序發(fā)送至DUT ；
[0032]在步驟S105中，對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
[0033]在所述步驟S103中，所述按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件具體為:
[0034]按順序選取被打斷隊(duì)列中的被打斷的transaction,在打斷對(duì)列中查找打斷transaction,所述打斷transaction的事務(wù)索引與所述被打斷transaction在被打斷隊(duì)列的排列序號(hào)一致并且所述打斷transaction的拍索引應(yīng)小于所述被打斷transaction總的數(shù)據(jù)拍數(shù)。
[0035]在所述步驟S104中，所述將所述符合打斷條件的打斷transaction與所述被打斷隊(duì)列中的被打斷transaction根據(jù)打斷情況順序發(fā)送具體為:
[0036]按照拍順序發(fā)送被打斷的transaction的拍數(shù)據(jù)，如果在所述打斷transaction中查找到打斷所述拍的transaction,則插入發(fā)送所述打斷所述拍的transaction,如果所述拍沒有被打斷，則緊接著發(fā)送下一拍數(shù)據(jù)，直到被打斷transaction的所有拍數(shù)據(jù)發(fā)送完畢。
[0037]本發(fā)明提供了一種AHB總線讀寫burst相互打斷的驗(yàn)證裝置，所述裝置如圖3所示，具體包括:
[0038]接收單元21,用于接收測試場景scenario ；
[0039]分配單元22,用于根據(jù)中斷屬性,將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列；
[0040]查找單元23，用于按順序從被打斷隊(duì)列中選取被打斷的transaction，在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件；
[0041]發(fā)送單元24,用于將所述打斷transaction與所述被打斷的transaction按照打斷情況順序發(fā)送到DUT ；
[0042]對(duì)比單元25，用于對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
[0043]進(jìn)一步的是，所述查找單元23具體用于:
[0044]按順序選取被打斷隊(duì)列中的被打斷的transaction,在打斷對(duì)列中查找打斷transaction,所述打斷transaction的事務(wù)索引與所述被打斷transaction在被打斷隊(duì)列的排列序號(hào)一致并且所述打斷transaction的拍索引應(yīng)小于所述被打斷transaction總的數(shù)據(jù)拍數(shù)。[0045]進(jìn)一步的是，所述發(fā)送單元24具體用于:
[0046]按照拍順序發(fā)送被打斷的transaction的拍數(shù)據(jù)，如果在所述打斷transaction中查找到打斷所述拍的transaction,則插入發(fā)送所述打斷所述拍的transaction,如果所述拍沒有被打斷，則緊接著發(fā)送下一拍數(shù)據(jù)，直到被打斷transaction的所有拍數(shù)據(jù)發(fā)送完畢。
[0047]為了說明本發(fā)明所述的技術(shù)方案，下面通過具體實(shí)施例來進(jìn)行說明。
[0048]實(shí)施例一
[0049]圖4示出了本發(fā)明實(shí)施例提供的AHB總線讀寫burst相互打斷的驗(yàn)證方法實(shí)現(xiàn)流程，該方法過程詳述如下: [0050]在步驟S301中，接收測試場景；
[0051]在本實(shí)施例中，測試場景(scenario)包括N個(gè)transaction, N為scenario的長度值，transaction包括有一拍或多拍數(shù)據(jù)，一拍為不可以再分割的數(shù)據(jù)。
[0052]transaction有3個(gè)屬性參數(shù):打斷使能(ter_enable)、事務(wù)索弓丨(ter_trans_index)和拍索引(ter_beat_index),打斷使能為中斷屬性。
[0053]打斷使能為O代表該transaction可以被打斷，即該transaction包含的拍可以被打斷；打斷使能為I代表該transaction可以去打斷其它transaction,即可以打斷其它transaction所包含的拍；也可以用其他方式標(biāo)識(shí)打斷使能，例如yes代表該transaction可以被打斷，no代表該transaction可以去打斷其它transaction,在這里不--贅述。
[0054]事務(wù)索引是可以打斷其它transaction的索弓丨，假設(shè)transaction I可以打斷transaction 6, transaction I的事務(wù)索引為6，意思是transactionl可以打斷被打斷隊(duì)列中的第六個(gè)transaction。
[0055]拍索引是指被打斷transaction的可以被打斷拍的拍號(hào),假設(shè)transactionl可以打斷transaction 5的第6拍,那此時(shí)transaction I的拍索引為6。
[0056]在步驟S302中，為測試場景中的transaction分配隊(duì)列；
[0057]在本實(shí)施例中，將transaction根據(jù)打斷使能標(biāo)志分配到被打斷和打斷兩個(gè)隊(duì)列，打斷使能標(biāo)志為O的分配到被打斷隊(duì)列，打斷使能標(biāo)志為I的分配到打斷隊(duì)列。
[0058]在步驟S303中，按順序在被打斷隊(duì)列中選取被打斷transaction ；
[0059]在步驟S304中，在打斷隊(duì)列中查詢所有transaction的事務(wù)索引和拍索引，選取符合打斷條件的打斷transaction ；
[0060]在本實(shí)施例中，若打斷transaction的事務(wù)索引與所述被打斷的transaction在被打斷隊(duì)列的排列序號(hào)一致并且所述打斷transaction的拍索引應(yīng)小于所述被打斷transaction總的數(shù)據(jù)拍數(shù),則所述打斷隊(duì)列中的transaction符合打斷條件。例如打斷transaction的事務(wù)索引為8,拍索引為4,被打斷的transaction在被打斷隊(duì)列中排列序號(hào)也為8,被打斷的transaction總的數(shù)據(jù)拍數(shù)為6,則所述打斷transaction可以打斷所述被打斷的transaction。
[0061]在步驟S305中，按順序在所述被打斷transaction中選取拍,提取打斷隊(duì)列中的可以打斷所述拍的transaction,將所述可以打斷所述拍的transaction插在所述拍后面，在所述拍發(fā)送后，發(fā)送至DUT;
[0062]在本實(shí)施例中，提取打斷隊(duì)列中的可以打斷所述拍的transaction方法具體為從步驟S304中選取得到的所述符合打斷條件的打斷transaction,根據(jù)所述符合打斷條件的打斷transaction的拍索引是否與所述選取拍的拍號(hào)一致,如果一致,所述選取得到的符合打斷條件的打斷transaction可以打斷所述選取的拍；如果沒有查詢到符合打斷條件的打斷transaction,就直接發(fā)送所述拍。
[0063]在步驟S306中，檢測被打斷隊(duì)列中的被打斷的transaction是否發(fā)送完成；
[0064]若是，則執(zhí)行步驟S307 ;若否，則繼續(xù)執(zhí)行S303。
[0065]在步驟S307中，將進(jìn)出DUT每拍的數(shù)據(jù)和順序比較，驗(yàn)證打斷以后DUT對(duì)打斷情況處理的正確性。
[0066]在本實(shí)施例中，如果進(jìn)出DUT每拍的數(shù)據(jù)和順序一致，則DUT對(duì)打斷情況處理正確有效；否則無效。
[0067]實(shí)施例二
[0068]圖5所示為本發(fā)明實(shí)施例提供的數(shù)據(jù)串相互打斷的驗(yàn)證裝置的模塊結(jié)構(gòu)圖，為了便于說明，僅示出與本發(fā)明實(shí)施例相關(guān)的部分。
[0069]該數(shù)據(jù)串相互打斷的驗(yàn)證裝置包括:
[0070]接收單元41，用于接收測試場景；
[0071]分配單元42,用于為測試場景中的transaction分配隊(duì)列；
[0072]查找單元43，用于按順序在被打斷隊(duì)列中選取被打斷transaction，在打斷隊(duì)列中查詢所有transaction的事務(wù)索引和拍索引，選取符合打斷條件的打斷transaction ；
[0073]所述查找單元具體包括:
[0074]選擇模塊431，用于按順序在被打斷隊(duì)列中選取被打斷的transaction ；
[0075]查找模塊432，用于在打斷隊(duì)列中查詢所有transaction的事務(wù)索引和拍索引，選取符合打斷條件的transaction。
[0076]發(fā)送單元44,用于提取打斷隊(duì)列中的可以打斷所述拍的打斷transaction,將所述可以打斷所述拍的打斷transaction插在所述拍后面與所述拍一起發(fā)送；
[0077]檢測單元45，用于檢測被打斷隊(duì)列中的被打斷transaction是否發(fā)送完成；
[0078]對(duì)比單元46，用于將進(jìn)出DUT每拍的數(shù)據(jù)和順序比較，驗(yàn)證打斷以后DUT對(duì)打斷情況處理的正確性。
[0079]本實(shí)施例提供的AHB總線讀寫burst相互打斷的驗(yàn)證裝置可以使用在前述對(duì)應(yīng)的AHB總線讀寫burst相互打斷的驗(yàn)證方法，詳情參見上述數(shù)據(jù)串相互打斷的驗(yàn)證方法實(shí)施例的相關(guān)描述，在此不再贅述。
[0080]本領(lǐng)域普通技術(shù)人員可以理解為上述實(shí)施例所包括的各個(gè)模塊只是按照功能邏輯進(jìn)行劃分的，但并不局限于上述的劃分，只要能夠?qū)崿F(xiàn)相應(yīng)的功能即可；另外，各功能模塊的具體名稱也只是為了便于相互區(qū)分，并不用于限制本發(fā)明的保護(hù)范圍。
[0081]本領(lǐng)域普通技術(shù)人員還可以理解，實(shí)現(xiàn)上述實(shí)施例方法中的全部或部分步驟是可以通過程序來指令相關(guān)的硬件來完成，所述的程序可以在存儲(chǔ)于裝置的可讀取存儲(chǔ)介質(zhì)中，所述的存儲(chǔ)介質(zhì)，包括R0M/RAM等。
[0082]以上所述僅為本發(fā)明的較佳實(shí)施例而已，并不用以限制本發(fā)明，凡在本發(fā)明的精神和原則之內(nèi)所作的任何修改、等同替換和改進(jìn)等，均應(yīng)包含在本發(fā)明的保護(hù)范圍之內(nèi)。
【權(quán)利要求】
1.一種AHB總線讀寫burst相互打斷的驗(yàn)證方法，其特征在于，所述方法包括以下步驟: 接收測試場景scenario ； 根據(jù)中斷屬性，將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列； 按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件； 將所述打斷transaction與所述被打斷的transaction按照打斷情況順序發(fā)送至借助測試的設(shè)計(jì)DUT ； 對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
2.如權(quán)利要求1所述的方法，其特征在于，所述按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件具體為: 按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷對(duì)列中查找打斷transaction,所述打斷transaction的事務(wù)索引與所述被打斷的transaction在被打斷隊(duì)列中的排列序號(hào)應(yīng)一致，并且所述打斷transaction的拍索引應(yīng)小于所述被打斷的transaction總的數(shù)據(jù)拍數(shù)。
3.如權(quán)利要求1或2所述的方法,其特征在于，所述將所述打斷transaction與所述被打斷的transaction按照打斷情況順序發(fā)送至DUT具體為: 按照拍順序發(fā)送被打斷的transaction的拍數(shù)據(jù)，如果在所述打斷transaction中查找到打斷所述拍的transaction,則插入發(fā)送所述打斷所述拍的transaction,如果所述拍沒有被打斷，則緊接著發(fā)送下一拍數(shù)據(jù)，直到被打斷transaction的所有拍數(shù)據(jù)發(fā)送完畢。
4.一種AHB總線讀寫burst相互打斷的裝置，其特征在于，所述裝置包括: 接收單元，用于接收測試場景scenario ； 分配單元，用于根據(jù)中斷屬性，將所述測試場景中的事務(wù)transaction分配到打斷隊(duì)列和被打斷隊(duì)列； 查找單元，用于按順序從被打斷隊(duì)列中選取被打斷的transaction,在打斷隊(duì)列中查找打斷transaction,所述打斷transaction符合打斷所述被打斷的transaction的條件； 發(fā)送單元，用于將所述打斷transaction與被打斷transaction中按照打斷情況順序發(fā)送至DUT ； 對(duì)比單元，用于對(duì)比進(jìn)出DUT每拍數(shù)據(jù)和順序的一致性來驗(yàn)證DUT對(duì)打斷情況處理的正確性。
5.如權(quán)利要求4所述的裝置，其特征在于，所述查找單元具體用于: 按順序選取被打斷隊(duì)列中的被打斷的transaction,在打斷對(duì)列中查找打斷transaction,所述打斷transaction的事務(wù)索引與所述被打斷的transaction在被打斷隊(duì)列中的排列序號(hào)一致并且所述打斷transaction的拍索引應(yīng)小于所述被打斷transaction總的數(shù)據(jù)拍數(shù)。
6.如權(quán)利要求4或5任一項(xiàng)所述的裝置，其特征在于，所述發(fā)送單元具體用于:按照拍順序發(fā)送被打斷的transaction的拍數(shù)據(jù)，如果在所述打斷transaction中查找到打斷所述拍的transaction,則插入發(fā)送所述打斷所述拍的transaction,如果所述拍沒有被打斷， 則緊接著發(fā)送下一拍數(shù)據(jù)，直到被打斷transaction的所有拍數(shù)據(jù)發(fā)送完畢。
【文檔編號(hào)】G06F11/00GK103729259SQ201210387861
【公開日】2014年4月16日 申請(qǐng)日期:2012年10月12日 優(yōu)先權(quán)日:2012年10月12日
【發(fā)明者】王恒軍, 胡勝發(fā) 申請(qǐng)人:安凱(廣州)微電子技術(shù)有限公司