【技術實現步驟摘要】
本專利技術涉及芯片驗證，特別是涉及一種基于改進仲裁機制的數據驅動系統。
技術介紹
1、在基于uvm的芯片驗證場景下，驗證環境通常包括sequencer及其連接的多個sequence、驅動driver、待測試設計dut等，多個sequence分別產生事項transaction提供給sequencer作為sequencer中隊列que內的請求request，而面對多個request，driver如何確定各個request的接收順序，則需要使用uvm的仲裁機制，較為常見的仲裁機制可以包括先入先出、加權隨機、完全隨機等方式，以及采用lock標記和grab標記等特殊方式。
2、然而，在實際應用完全隨機方式的仲裁機制的場景下，仍然有使用lock標記來保證由多個請求形成的原子操作不被分割的需求，但是由于lock標記對應的選擇優先級較高，會導致如果que中存在由lock標記的請求，則必然先執行有lock標記的請求，而且，如果que中存在多個有lock標記的請求，則多個有lock標記的請求會按照先入先出的機制執行，顯然，在引入lock標記后，完全隨機方式的仲裁機制將受到極大影響，導致數據驅動的隨機性降低。
3、因此，如何在應用完全隨機方式的仲裁機制且存在多個請求同屬一個原子操作的情況下，提高數據驅動的隨機性，成為了亟待解決的問題。
技術實現思路
1、針對上述技術問題，本專利技術采用的技術方案為：
2、一種基于改進仲裁機制的數據驅動系統，所述系統包括：待測試設計du
3、s101，由m個sequence分別產生事項，將所有事項發送至que。
4、s102，所述驅動從que中隨機選擇任一事項作為待傳遞事項ti，que中所有事項的選擇概率相同，i為[1，i]范圍內的整數，i為que中所有事項的總數量。
5、s103，當ti對應的事項屬性標記為label0時，由所述驅動將ti傳遞給dut。
6、s104，當ti對應的事項屬性標記為labelr1時，從que中搜索事項屬性標記為labelr2的事項作為ti的第一關聯事項tj1，由所述驅動將ti和tj1依次傳遞給dut，sr為ti對應的sequence，r為[1，m]范圍內的整數。
7、s105，當ti對應的事項屬性標記為labelr2時，從que中搜索事項屬性標記為labelr1的事項作為ti的第二關聯事項tj2，由所述驅動將tj2和ti依次傳遞給dut。
8、本專利技術與現有技術相比具有明顯的有益效果，借由上述技術方案，本專利技術提供的一種基于改進仲裁機制的數據驅動系統可達到相當的技術進步性及實用性，并具有產業上的廣泛利用價值，其至少具有以下有益效果：
9、本專利技術提供了一種基于改進仲裁機制的數據驅動系統，所述系統包括：待測試設計dut、驅動、sequencer、處理器和存儲有計算機程序的存儲器，其中，所述sequencer包括隊列que，所述sequencer與m個sequence{s1，s2，…，sm，…，sm}連接，sm為第m個sequence，m為[1,m]范圍內的整數，sm用于產生事項tkm以發送至que，tkm為sm產生的第k個事項，k∈[1，2]，tkm包括事項類別ckm和事項屬性標記lkm，lkm∈{label0，labelm1，labelm2}，label0表示對應事項不存在第一關聯事項和第二關聯事項，labelm1表示在sm所產生的事項中存在對應事項的第一關聯事項，labelm2表示在sm所產生的事項中存在對應事項的第二關聯事項，當所述計算機程序被處理器執行時，實現以下步驟：由m個sequence分別產生事項，將所有事項發送至que，所述驅動從que中隨機選擇任一事項作為待傳遞事項ti，que中所有事項的選擇概率相同，i為[1，i]范圍內的整數，i為que中所有事項的總數量，當ti對應的事項屬性標記為label0時，由所述驅動將ti傳遞給dut，當ti對應的事項屬性標記為labelr1時，從que中搜索事項屬性標記為labelr2的事項作為ti的第一關聯事項tj1，由所述驅動將ti和tj1依次傳遞給dut，sr為ti對應的sequence，r為[1，m]范圍內的整數，當ti對應的事項屬性標記為labelr2時，從que中搜索事項屬性標記為labelr1的事項作為ti的第二關聯事項tj2，由所述驅動將tj2和ti依次傳遞給dut。
10、可知，令不同事項屬性標記的事項對應的選擇概率相同，從而使得不同事項被選擇到的概率基本相同，僅在隨機選擇到存在關聯事項的事項時，才搜索出其關聯事項，并保證其與關聯事項順序驅動，從而在應用完全隨機方式的仲裁機制且存在多個請求同屬一個原子操作的情況下，提高數據驅動的隨機性。
本文檔來自技高網...【技術保護點】
1.一種基于改進仲裁機制的數據驅動系統，其特征在于，所述系統包括：待測試設計DUT、驅動、Sequencer、處理器和存儲有計算機程序的存儲器，其中，所述Sequencer包括隊列Que，所述Sequencer與M個Sequence{s1，s2，…，sm，…，sM}連接，sm為第m個Sequence，m為[1,M]范圍內的整數，sm用于產生事項tkm以發送至Que，tkm為sm產生的第k個事項，k∈[1，2]，tkm包括事項類別ckm和事項屬性標記lkm，lkm∈{label0，labelm1，labelm2}，label0表示對應事項不存在第一關聯事項和第二關聯事項，labelm1表示在sm所產生的事項中存在對應事項的第一關聯事項，labelm2表示在sm所產生的事項中存在對應事項的第二關聯事項，當所述計算機程序被處理器執行時，實現以下步驟：
2.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，當所述計算機程序被處理器執行時，還實現以下步驟：
3.根據權利要求2所述的基于改進仲裁機制的數據驅動系統，其特征在于，當所述計算機程序被處理器執行
4.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，若sm所產生的事項數量為1個，則t1m對應的事項屬性標記l1m為label0。
5.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，若sm所產生的事項數量為2個，則t1m對應的事項屬性標記l1m為labelm1，t2m對應的事項屬性標記l2m為labelm2。
6.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，S102步驟還包括以下步驟：
7.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，所述從Que中搜索事項屬性標記為labelr2的事項作為ti的第一關聯事項tj1包括：
8.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，所述從Que中搜索事項屬性標記為labelr1的事項作為ti的第二關聯事項tj2包括：
...【技術特征摘要】
1.一種基于改進仲裁機制的數據驅動系統，其特征在于，所述系統包括：待測試設計dut、驅動、sequencer、處理器和存儲有計算機程序的存儲器，其中，所述sequencer包括隊列que，所述sequencer與m個sequence{s1，s2，…，sm，…，sm}連接，sm為第m個sequence，m為[1,m]范圍內的整數，sm用于產生事項tkm以發送至que，tkm為sm產生的第k個事項，k∈[1，2]，tkm包括事項類別ckm和事項屬性標記lkm，lkm∈{label0，labelm1，labelm2}，label0表示對應事項不存在第一關聯事項和第二關聯事項，labelm1表示在sm所產生的事項中存在對應事項的第一關聯事項，labelm2表示在sm所產生的事項中存在對應事項的第二關聯事項，當所述計算機程序被處理器執行時，實現以下步驟：
2.根據權利要求1所述的基于改進仲裁機制的數據驅動系統，其特征在于，當所述計算機程序被處理器執行時，還實現以下步驟：
3.根據權利要求2...
【專利技術屬性】
技術研發人員：張昀，王定，
申請(專利權)人：沐曦科技北京有限公司，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。