一種解復用器的檢驗器及其檢驗方法
2023-05-27 00:36:56 2
專利名稱：一種解復用器的檢驗器及其檢驗方法
技術領域：
本發明涉及晶片(IC)設計中的功能驗證領域，主要涉及一種IC驗證以及在IC驗證中可以生成隨機TS流的方法。
背景技術：
近年來，隨著IC設計複雜度的規模的不斷擴大，功能驗證也變得越來越複雜。在某些複雜模塊測試的時候經常出現，採用真實的測試流程時，難以實現驗證環境的自動化。如何讓IC模塊的測試環境能夠更加貼近與真實的使用環境的同時完成自動化的合理的功能驗證輸出錯誤報告，是一個重要的課題。解復用接口模塊就是一個具有上述特性的模塊，解復用模塊的配置往往是與復用數據輸入同時進行的。這就導致解復用器輸出的驗證環境搭建的過程中，在完成自動化數據檢驗的時候，經常出現的以下問題
如果發送復用數據流期間，同時配置解復用器的寄存器，在寄存器配置完成後，仍然有可能收到與寄存器配置完成之前同屬一個加載數據包的傳輸數據包。計算這些傳輸數據包的期待值需要加載數據包的包頭信息，但是傳輸包頭信息的傳輸數據包已經在寄存器配置完成之前傳輸完成，並且由於寄存器配置完成之前解復用器不能正常工作，所以這些載有包頭信息的傳輸數據包無法獲得，導致這些數據的期待值無法計算得到；所以解復用器的輸出數據無法檢驗，具體參考圖2模式2，圖3模式4。所以，對於如何自動化的判斷，何時可以開始檢驗數據，復用數據流中哪一條通道的數據可以開始檢驗，對於解復用器的檢驗器是一個挑戰。當然，目前現有技術中也採用如下驗證方法完成寄存器配置以後，再發送復用數據流，這樣會得到所有加載數據包的包頭信息，因此所有的輸入數據的期待值都可以計算出來。但是，這樣會出現與真實使用時的狀況不一致，其不是在復用數據流傳輸期間同時配置寄存器，導致無法驗證出真實使用時可能出現的錯誤一因為現實使用狀況中，復用數據流的發送是不停止的，所以對某些寄存器的配置肯定是在復用數據流輸入的同時進行的。參考圖2模式1，圖3模式3。綜上所述，為了避免上述情形，讓IC模塊的測試環境能夠更加貼近與真實的使用環境的同時完成自動化的合理的功能驗證輸出錯誤報告，一種新的，靈活、實用的晶片(IC)設計中的功能驗證方法和系統的發明是勢在必行的。
發明內容
本發明的目的是提供一種解復用器的檢驗器的設計方法，對於發送復用數據流(所述復用數據流包括多條有效通道和無效通道)的同時修改寄存器配置的情況下，使得解復用器的檢驗器能夠自動化判斷何時可以開始檢驗數據(包括通道進入可測狀態後的存儲和比較數據)，復用數據流中哪條通道的數據是可測的，並且自動輸出報告信息。為了解決上述技術問題，本發明提供的技術方案為提供一種解復用器的檢驗器及其檢驗方法，其包括
期待值生成器，採用與解復用器相同的寄存器數據和復用數據流輸入。檢驗器中的期待值生成器會按照與解復用器相同的數據計算方法生成期待值。復用數據比較器，按照復用數據流的有效通道來存儲數據和比較數據，所述存儲的數據包括期待值生成器生成的期待值和解復用器的輸出的實際值；所述比較數據就是比較期待值與實際值。所述驗證方法包括如下步驟首先實現解復用器以及解復用器的檢驗器的復用數據流接入，然後執行解復用器的寄存器配置。當解復用器的檢驗器確認解復用器的寄存器配置完成後
復用數據比較器首先判斷解復用器連續輸出的實際值(不分通道)與期待值匹配的長度，若大於穩定工作狀態門限長度，即用戶指定的用於判斷是否進入穩定工作狀態的門限長度，則表明解復用器內部各子模塊寄存器配置完成，進入穩定工作狀態。 繼續的，在穩定工作狀態下復用數據比較器判斷哪條有效通道連續出現的實際值與期待值匹配的長度大於通道可測狀態門限長度，若大於時則表明解該通道的數據可測，即該通道進入可測狀態，之後可以開始檢驗數據，並且自動輸出報告信息。若寄存器配置完成後，在復用數據流的某一條有效通道進入可測狀態之前出現的期待值與實際值不匹配，不報告錯誤；在進入可測狀態之後，該通道出現的任何期待值與實際值不匹配，都報告錯誤。S卩，為了解決上述技術問題，本發明提供的技術方案為
一種解復用器的檢驗器，主要應用於晶片設計中的功能驗證，其特徵在於，其包括
期待值生成器，採用與解復用器相同的復用數據流和寄存器數據並行接入，生成期待
值；
復用數據比較器，按照復用數據流的有效通道來存儲數據、比較數據，並且自動輸出
報告信息。所述期待值生成器按照與解復用器相同的數據計算方法生成期待值。所述存儲數據包括期待值生成器生成的期待值和解復用器的輸出的實際值；所述比較數據就是比較前述的期待值與實際值。所述復用數據比較器在復用數據流的某條有效通道進入可測狀態之前出現的期待值與實際值不匹配時，不報告錯誤；在進入可測狀態之後，該通道若出現的任何期待值與實際值不匹配，則報告錯誤。所述復用數據比較器首先判斷解復用器連續輸出的實際值與期待值匹配的長度，若大於穩定工作狀態門限長度，則表明解復用器進入穩定工作狀態；在穩定工作狀態下，復用數據比較器判斷哪條有效通道連續出現的實際值與期待值匹配的長度大於通道可測狀態門限長度，若大於時則表明解該通道的數據可測，即該通道進入可測狀態。所述解復用器以及解復用器的檢驗器先實現復用數據流接入，然後執行解復用器的寄存器配置，實現並行接入。所述的檢驗器的檢驗方法，其包括如下步驟
首先實現解復用器以及解復用器的檢驗器的復用數據流接入，然後執行解復用器的寄存器配置；當解復用器的檢驗器確認解復用器的寄存器配置完成後 復用數據比較器首先判斷解復用器連續輸出的實際值與期待值匹配的長度，若大於穩定工作狀態門限長度，則表明解復用器進入穩定工作狀態；
在穩定工作狀態下，復用數據比較器判斷哪條有效通道連續出現的實際值與期待值匹配的長度大於通道可測狀態門限長度，若大於時則表明解該通道的數據可測，即該通道進入可測狀態，之後可以開始檢驗數據，並且自動輸出報告信息。在復用數據流的某條有效通道進入可測狀態之前出現的期待值與實際值不匹配，不報告錯誤；在進入可測狀態之後，該通道出現的任何期待值與實際值不匹配，則報告錯誤。所述進入可測狀態的判斷除還包括通過檢驗器內的判定穩定狀態的實際值與期待值的匹配程度，提前預判斷通道的可測狀態。本發明的有益效果是
區別於以往配置完寄存器之後輸入復用數據測試流的方式，本發明通過採用復用數據測試流和寄存器配置並行輸/接入的方式，更加貼近真實使用時的環境，可以驗證出復用數據測試流和寄存器配置同時輸入時可能發生的錯誤。特別是，能夠發現寄存器配置完成後收到之前加載數據包的不可測的殘留數據，對於解復用器以後工作造成的影響。本發明的驗證方法實現了自動驗證上述測試流，包括判斷何時進入穩定工作狀態，何時某路通道進入可測試狀態，自動生成驗證報告。
通過以下對本發明的實施例結合其附圖的描述，可以進一步理解其發明的目的、具體結構特徵和優點。其中，附圖為
圖1是本發明典型的應用方法示意 圖2是傳統驗證方法對單通道傳統測試流(模式I)和本發明單通道實際數據流(模式2)的對比不意 圖3是傳統驗證方法對雙通道傳統測試流(模式3)和本發明雙通道實際數據流(模式4)的對比 圖4是本發明檢驗器內部結構框架示意 圖5是單通道和雙通道實際復用數據流分析示意 圖6是復用數據比較器的數據存儲和檢驗功能示意框圖。
具體實施方式
:
下面結合附圖中的實例對本發明作進一步的描述。如圖1-6所示，本發明是提供了一種解復用器在寄存器配置完成後，自動識別解復用器的輸出數據是否進入可測狀態的方法和檢驗器。本發明所述的解復用器的檢驗器包括以下兩個部分期待值生成器、復用數據比較器。所述期待值生成器生成期待值，期待值用於與解復用器輸出數據進行比較。且，期待值生成器與解復用器有以下兩個相同點
採用的輸入復用數據流和寄存器配置數據信息與解復用器都相同；
對於信息完整的輸入復用數據流，期待值計算採用的計算方法與解復用器的數據處理算法相同。
所述的復用數據比較器按照復用數據流的有效通道來存儲數據；按照復用數據流的有效通道來比較數據。復用數據比較器的存儲數據，根據數據來源分為兩部分
把期待值按照復用數據流的有效通道信息放入復用數據比較器的相應的期待值存儲空間內。把來自解復用器輸出數據按照有效通道信息放入復用數據比較器的相應的實際值存儲空間內。
本檢驗器採用與解復用器相同的寄存器數據和復用數據流輸入。檢驗器中的期待值生成器會按照與解復用器相同的數據計算方法生成期待值。檢驗器中的復用數據比較器通過檢驗解復用器的輸出實際值和期待值是否匹配，判斷解復用器是否工作正常，實現對解復用器的驗證。其中，連續匹配數據超過用戶指定的穩定工作狀態門限長度，判斷為解復用器進入了穩定工作狀態。在穩定工作狀態下，復用數據流中的某個有效通道連續出現的數據和期待值匹配數據超過指定的通道可測狀態門限長度，判斷為該通道進入了可測試狀態。上述的穩定工作狀態是對於解復用器的一種狀態的定義，當連續期待值和解復用器輸出的實際值的匹配次數超過指定的穩定工作狀態門限長度時，判定解復用器進入穩定工作狀態。其只說明解復用器內部的寄存器已經配置完成，即解復用器內部各子模塊寄存器配置完成。進入穩定工作狀態的解復用器，已經可以開始檢驗復用數據流的某些有效通道的數據，但是其他有效通道仍然可能出現錯誤數據。上述的可測試狀態是對於復用數據流的有效通道的一種狀態的定義，在此狀態下輸入的復用數據流的該有效通道的期待值可以通過計算獲得。所有解復用器的數據輸出的實際值都可以通過與期待值比較，而實現對解復用器的檢驗。對於上述表述，本發明採用如下實例加以詳解
對於一個32有效通道的復用數據流採用如下方法表示
CH〈n>_D〈m> :表示第η路有效通道的，第m個可測數據包，例如CH2_D1，標識第2路通道的第I個可測數據包。CH_X :表示第η路有效通道的，第m個不可測數據包，例如CH32_X2，標識第32路有效通道的第2個不可測數據。以上表述的復用數據流和在復用數據比較器的存儲空間的存儲方式參考圖6。復用數據比較器的比較、檢驗數據的方法
首先，分析在輸入復用數據流與寄存器配置同時執行的模式下的以下四種情況，得到在寄存器配置完成後，輸入復用數據流的可測性的特點
輸入復用數據流中的有效通道為單通道(如圖5中的I單通道)，寄存器設置完成後還會有前一包加載數據包的殘餘數據需要傳輸，因為這些殘餘數據的處理跟前一包的包頭有關，而前一包的包頭數據已經被丟棄，所以解復用器生成的輸出數據不可測。輸入復用數據流中的有效通道為雙通道(如圖5中的2雙通道)，寄存器配置完成後還有前一包的殘餘數據的問題，但是當連續收到很多正確數據，並且在這些連續的正確數據中，兩個通道的數據都有，認為解復用器的寄存器配置已經完成並且進入穩定的工作狀態。並且兩個通道都可測。輸入復用數據流中的有效通道為雙通道(如圖5中的3雙通道)，一個通道已經連續出現正確數據，但是另外一個通道頻繁地出現前一包加載數據的殘餘數據，認為解復用器內部各個子模塊的寄存器配置沒有完成或者解復用器的工作狀態不穩定，所以兩個通道也都不可測。輸入復用數據流中的有效通道為雙通道(如圖5中的4雙通道)，一個通道已經穩定，但是另外一個通道偶爾地出現前一包加載數據的殘餘數據，認為解復用器的寄存器配置已經完成並且進入穩定的工作狀態，其中已經穩定的通道數據可測，但是另外一個通道還有殘餘數據沒有傳完，並且單位時間內它的傳輸次數比較少。當這個通道的數據也連續出現指定長度的實際值與期待值匹配以後，則認為以後這個通道進入可測狀態。當然，對於多於兩個通道的情況可以通過上述雙通道的情形推演出來。根據以上表述得到的結論就是解復用器輸出連續的正確數據，表明該解復用器內部寄存器配置完成，進入穩定工作狀態。但是，復用數據流中也會有其他的有效通道仍然會出現不可測的殘餘數據，等到這個通道傳輸大量的連續正確的數據時則表明這條通道的數據可測。在此數據可測狀態之前，這條通道出現的數據傳輸錯誤都可以忽略。進入數據可測狀態之後，若該通道出現數據傳輸錯誤，則表明解復用器在穩定的工作狀態時，該通道的傳輸數據曾經在很長時間內傳輸數據正確的前提下發生了數據輸出錯誤，這個錯誤應該報告。當然，報告可選的也可以報告正確和報告錯誤。所以，本發明設計的復用數據比較器的比較數據的步驟為
當解復用器的檢驗器確認解復用器的寄存器配置完成後
判斷解復用器連續輸出的實際值(不分通道)與期待值匹配的長度大於穩定工作狀態門限長度。大於時表明解復用器內部寄存器配置完成，進入穩定工作狀態。在穩定工作狀態下，通過判斷哪條通道的實際值與期待值匹配的長度大於通道可測狀態門限長度，大於時則表明解這條通道的數據可測，這條通道進入可測狀態。並且，本發明可測狀態的判斷除前述表述外，也包括通過檢驗器內的判定穩定狀態的實際值與期待值的匹配程度，即，實際值與期待值匹配的長度是否大於通道可測狀態門限長度，提前預判斷通道的可測狀態，匹配程度高，則可測性強，以有效的節省時間和資源。寄存器配置完成後，在復用數據流的某一條通道進入可測狀態之前出現的期待值與實際值不匹配都不報告錯誤。在進入可測狀態之後，該通道出現的任何期待值與實際值不匹配都應報告錯誤。本技術領域中的普通技術人員應當認識到，以上的實施例僅是用來說明本發明的目的，而並非用作對本發明的限定，只要在本發明的實質範圍內，對以上所述實施例的變化、變型都將落在本發明的權利要求的範圍內。
權利要求
1.一種解復用器的檢驗器，主要應用於晶片設計中的功能驗證，其特徵在於，其包括 期待值生成器，採用與解復用器相同的復用數據流和寄存器數據並行接入，生成期待值； 復用數據比較器，按照復用數據流的有效通道來存儲數據、比較數據，並且自動輸出報告信息。
2.根據權利要求1所述的檢驗器，其特徵在於所述期待值生成器按照與解復用器相同的數據計算方法生成期待值。
3.根據權利要求1所述的檢驗器，其特徵在於所述存儲數據包括期待值生成器生成的期待值和解復用器的輸出的實際值；所述比較數據就是比較前述的期待值與實際值。
4.根據權利要求3所述的檢驗器，其特徵在於所述復用數據比較器在復用數據流的某條有效通道進入可測狀態之前出現的期待值與實際值不匹配時，不報告錯誤；在進入可測狀態之後，該通道若出現的任何期待值與實際值不匹配，則報告錯誤。
5.根據權利要求4所述的檢驗器，其特徵在於所述復用數據比較器首先判斷解復用器連續輸出的實際值與期待值匹配的長度，若大於穩定工作狀態門限長度，則表明解復用器進入穩定工作狀態；在穩定工作狀態下，復用數據比較器判斷哪條有效通道連續出現的實際值與期待值匹配的長度大於通道可測狀態門限長度，若大於時則表明解該通道的數據可測，即該通道進入可測狀態。
6.根據權利要求1-5任一所述的檢驗器，其特徵在於所述解復用器以及解復用器的檢驗器先實現復用數據流接入，然後執行解復用器的寄存器配置，實現並行接入。
7.根據權利要求1所述的檢驗器的檢驗方法，其特徵在於，其包括如下步驟 首先實現解復用器以及解復用器的檢驗器的復用數據流接入，然後執行解復用器的寄存器配置；當解復用器的檢驗器確認解復用器的寄存器配置完成後 復用數據比較器首先判斷解復用器連續輸出的實際值與期待值匹配的長度，若大於穩定工作狀態門限長度，則表明解復用器進入穩定工作狀態； 在穩定工作狀態下，復用數據比較器判斷哪條有效通道連續出現的實際值與期待值匹配的長度大於通道可測狀態門限長度，若大於時則表明解該通道的數據可測，即該通道進入可測狀態，之後可以開始檢驗數據，並且自動輸出報告信息。
8.根據權利要求7所述的檢驗方法，其特徵在於在復用數據流的某條有效通道進入可測狀態之前出現的期待值與實際值不匹配，不報告錯誤；在進入可測狀態之後，該通道出現的任何期待值與實際值不匹配，則報告錯誤。
9.根據權利要求7所述的檢驗方法，其特徵在於所述進入可測狀態的判斷還包括通過檢驗器內的判定穩定狀態的實際值與期待值的匹配程度，即實際值與期待值匹配的長度是否大於通道可測狀態門限長度，提前預判斷通道的可測狀態。
全文摘要
本發明公開了一種解復用器的檢驗器及其檢驗方法,主要應用於晶片設計中的功能驗證，其包括期待值生成器,採用與解復用器相同的復用數據流和寄存器數據並行接入，生成期待值；復用數據比較器,按照復用數據流的有效通道來存儲數據、比較數據，並且自動輸出報告信息；本發明區別於以往配置完寄存器之後輸入復用數據測試流的方式，採用復用數據測試流和寄存器配置並行輸入的方式，更加貼近真實使用時的環境，可以驗證出復用數據測試流和寄存器配置同時輸入時可能發生的錯誤，能夠發現寄存器配置完成後,收到之前加載數據包的不可測的殘留數據對於解復用器以後工作造成的影響；本發明的驗證方法實現了自動驗證上述測試流。
文檔編號G06F17/50GK103020367SQ20121055912
公開日2013年4月3日 申請日期2012年12月20日 優先權日2012年12月20日
發明者楊兵, 王志飛, 鄭成根, 王旭升, 劉志恆, 王峰, 管雲峰, 孫軍, 戴楊 申請人:上海高清數字科技產業有限公司