[發(fā)明專利]一種邏輯驗證方法及裝置

有效

• 申請?zhí)枺?/td>: 201710369925.7
• 申請日: 2017-05-23
• 公開（公告）號: CN108932355B
• 公開（公告）日: 2020-11-20
• 發(fā)明（設計）人: 傅詩雨;趙天良;逄淑楠;劉才齊
• 申請（專利權(quán)）人: 大唐移動通信設備有限公司
• 主分類號: G06F30/20
• 分類號: G06F30/20
• 代理公司: 北京同達信恒知識產(chǎn)權(quán)代理有限公司 11291
• 代理人: 劉醒晗

1.一種邏輯驗證方法，其特征在于，應用于基站邏輯驗證平臺，所述基站邏輯驗證平臺中包括仿真模型Testbench與待測設計DUT，所述Testbench與所述DUT之間通過總線接口相連，所述總線接口中包括用于傳輸輸入激勵以及邏輯驗證結(jié)果的信號線，所述方法包括：

所述Testbench獲取所述DUT中執(zhí)行相應可邏輯實現(xiàn)功能所需的參數(shù)文本；

所述Testbench依據(jù)所述參數(shù)文本生成輸入激勵，并調(diào)用所述總線接口中傳輸所述輸入激勵的信號線，將所述輸入激勵傳輸至所述DUT；

所述Testbench調(diào)用所述總線接口中傳輸邏輯驗證結(jié)果的信號線，獲取所述DUT基于所述輸入激勵進行邏輯驗證的邏輯驗證結(jié)果；

所述Testbench基于所述邏輯驗證結(jié)果，對所述DUT中相應可邏輯實現(xiàn)功能進行邏輯驗證。

2.如權(quán)利要求1所述的方法，其特征在于，所述Testbench獲取所述DUT中執(zhí)行相應可邏輯實現(xiàn)功能所需的參數(shù)文本，包括：

所述Testbench根據(jù)第一計數(shù)器計數(shù)值和第二計數(shù)器計數(shù)值，獲取參數(shù)文本名稱與所述第一計數(shù)器計數(shù)值和第二計數(shù)器計數(shù)值對應的參數(shù)文本；其中，所述參數(shù)文本分別與所述第一計數(shù)器計數(shù)值和第二計數(shù)器計數(shù)值一一對應；

其中，所述第一計數(shù)器用于對子幀內(nèi)包括的測試用例進行計數(shù)，每執(zhí)行完一個測試用例所述第一計數(shù)器值加1；

所述第二計數(shù)器用于對幀內(nèi)的子幀計數(shù)，每執(zhí)行完一個子幀內(nèi)的全部測試用例后所述第二計數(shù)器數(shù)值加1；

所述參數(shù)文本名稱中包括有所述參數(shù)文本對應可邏輯實現(xiàn)功能所需參數(shù)名稱、幀號、子幀號以及測試用例編號。

3.如權(quán)利要求2所述的方法，其特征在于，所述Testbench獲取所述DUT基于所述輸入激勵進行邏輯驗證的邏輯驗證結(jié)果之后，所述方法還包括：

所述Testbench將所述邏輯驗證結(jié)果，存儲至輸出文件夾名稱與所述邏輯驗證結(jié)果對應的參數(shù)文本名稱、幀號以及子幀號對應的輸出文件夾中；

所述輸出文件夾名稱中包括參數(shù)文本名稱、幀號以及子幀號；

所述Testbench基于所述獲取到的邏輯驗證結(jié)果，對所述DUT中執(zhí)行所述功能的測試用例進行邏輯驗證，包括：

所述Testbench基于存儲所述邏輯驗證結(jié)果的輸出文件夾名稱，確定與所述輸出文件夾名稱對應的參數(shù)文本名稱；

所述Testbench基于所述參數(shù)文本名稱，確定所述參數(shù)文本名稱對應參數(shù)所預期得到的邏輯驗證結(jié)果；

所述Testbench驗證所述獲取到的邏輯驗證結(jié)果與所述預期得到的邏輯驗證結(jié)果的一致性。

4.如權(quán)利要求1至3任一項所述的方法，其特征在于，所述Testbench調(diào)用所述總線接口中傳輸所述輸入激勵的信號線，將所述輸入激勵傳輸至所述DUT之前，所述方法還包括：

所述Testbench確定總線功能開關(guān)已開啟；

其中，所述總線功能開關(guān)開啟，表征所述Testbench通過所述總線接口將輸入激勵傳輸至所述DUT。

5.如權(quán)利要求1所述的方法，其特征在于，所述Testbench中包括根據(jù)所述DUT中包括的可邏輯實現(xiàn)功能所需輸入激勵的功能類型所劃分的至少一個功能模塊；

所述功能模塊至少包括有參數(shù)文本模塊；

所述Testbench從所述參數(shù)文本模塊處，獲取所述DUT中執(zhí)行相應可邏輯實現(xiàn)功能所需的參數(shù)文本。

6.一種邏輯驗證裝置，其特征在于，應用于基站邏輯驗證平臺，所述基站邏輯驗證平臺中包括仿真模型Testbench與待測設計DUT，所述Testbench與所述DUT之間通過總線接口相連，所述總線接口中包括用于傳輸輸入激勵以及邏輯驗證結(jié)果的信號線，所述裝置包括：

獲取單元，用于獲取所述DUT中執(zhí)行相應可邏輯實現(xiàn)功能所需的參數(shù)文本以及所述DUT基于輸入激勵進行邏輯驗證的邏輯驗證結(jié)果；

處理單元，用于依據(jù)所述獲取單元獲取到的所述參數(shù)文本生成輸入激勵，并調(diào)用所述總線接口中傳輸所述輸入激勵的信號線，將所述輸入激勵傳輸至所述DUT，調(diào)用所述總線接口中傳輸邏輯驗證結(jié)果的信號線，基于所述獲取單元獲取到的所述邏輯驗證結(jié)果，對所述DUT中相應可邏輯實現(xiàn)功能進行邏輯驗證。