[發(fā)明專利]邏輯電路設(shè)計的驗證方法、裝置、電子設(shè)備及存儲介質(zhì)有效
| 申請?zhí)枺?/td> | 201710693558.6 | 申請日： | 2017-08-14 |
| 公開（公告）號： | CN107247859B | 公開（公告）日： | 2018-11-02 |
| 發(fā)明（設(shè)計）人： | 韋國恒;田守政 | 申請（專利權(quán)）人： | 深圳云天勵飛技術(shù)有限公司 |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50 |
| 代理公司： | 深圳市賽恩倍吉知識產(chǎn)權(quán)代理有限公司 44334 | 代理人： | 曾柳燕 |
| 地址： | 51800*** | 國省代碼： | 廣東;44 |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 邏輯 電路設(shè)計 驗證 方法 裝置 電子設(shè)備 存儲 介質(zhì) | ||
1.一種邏輯電路設(shè)計的驗證方法，其特征在于，所述方法包括：
通過驗證平臺生成配置數(shù)據(jù)及激勵數(shù)據(jù)，所述驗證平臺通過接口一與參考對象進行通信，通過接口二與待驗對象進行通信；
以預(yù)設(shè)格式將所述配置數(shù)據(jù)及激勵數(shù)據(jù)保存成文本文檔并存儲至目標存儲器；
通過所述驗證平臺將所述配置數(shù)據(jù)及所述激勵數(shù)據(jù)發(fā)送至所述待驗對象；
通過所述驗證平臺控制所述參考對象從所述目標存儲器中以所述預(yù)設(shè)格式對所述文本文檔進行解析后讀取所述配置數(shù)據(jù)及所述激勵數(shù)據(jù)，以使所述參考對象開始仿真計算，所述待驗對象是用第一語言實現(xiàn)算法的邏輯電路代碼，所述參考對象是用第二語言實現(xiàn)所述算法的代碼，所述第一語言與所述第二語言不同；
通過所述驗證平臺控制所述參考對象結(jié)束仿真計算；
通過所述驗證平臺以所述預(yù)設(shè)格式從所述參考對象的輸出文件中讀取所述參考對象的輸出數(shù)據(jù)；
通過所述驗證平臺獲取所述待驗對象的輸出數(shù)據(jù)；
根據(jù)所述參考對象的輸出數(shù)據(jù)及所述待驗對象的輸出數(shù)據(jù)，確定所述待驗對象的驗證結(jié)果。
2.如權(quán)利要求1所述的邏輯電路設(shè)計的驗證方法，其特征在于，所述文本文檔包括以下一種或多種的組合：純文本文檔、二進制文檔、JavaScript對象標記語言文檔。
3.如權(quán)利要求1所述的邏輯電路設(shè)計的驗證方法，其特征在于，所述驗證平臺包括：數(shù)據(jù)輸入模塊、參考模型模塊、數(shù)據(jù)輸出模塊及數(shù)據(jù)比對模塊；所述數(shù)據(jù)輸入模塊用于將所述配置數(shù)據(jù)及所述激勵數(shù)據(jù)發(fā)送至待驗對象；所述數(shù)據(jù)輸出模塊用于獲取所述待驗對象的輸出數(shù)據(jù)，所述參考模型模塊用于獲取所述參考對象的輸出數(shù)據(jù)，所述數(shù)據(jù)比對模塊用于根據(jù)所述參考對象的輸出數(shù)據(jù)及所述待驗對象的輸出數(shù)據(jù)，確定所述待驗對象的驗證結(jié)果。
4.如權(quán)利要求1所述的邏輯電路設(shè)計的驗證方法，其特征在于，所述通過所述驗證平臺控制所述參考對象從所述目標存儲器中讀取所述配置數(shù)據(jù)及所述激勵數(shù)據(jù)，以使所述參考對象開始仿真計算包括：
當所述驗證平臺啟動時，生成控制所述參考對象的進程以啟動所述參考對象，并使所述參考對象檢測存儲所述配置數(shù)據(jù)及所述激勵數(shù)據(jù)的文本文檔；及/或
所述通過所述驗證平臺控制所述參考對象結(jié)束仿真計算包括：
獲取所述驗證平臺的運行狀態(tài)數(shù)據(jù)；
將所述運行狀態(tài)數(shù)據(jù)以預(yù)設(shè)格式存儲至所述目標存儲器中以供所述參考對象進行檢測結(jié)束狀態(tài)數(shù)據(jù)；
當所述參考對象檢測到所述包括結(jié)束狀態(tài)數(shù)據(jù)的運行狀態(tài)數(shù)據(jù)時，所述參考對象結(jié)束仿真計算，并將所述參考對象的輸出數(shù)據(jù)以預(yù)設(shè)格式存儲至所述目標存儲器中。
5.如權(quán)利要求1所述的邏輯電路設(shè)計的驗證方法，其特征在于，所述根據(jù)所述參考對象的輸出數(shù)據(jù)及所述待驗對象的輸出數(shù)據(jù)，確定所述待驗對象的驗證結(jié)果包括：
當所述參考對象的輸出數(shù)據(jù)與所述待驗對象的輸出數(shù)據(jù)相同時，確定所述待驗對象驗證通過；及/或
當所述參考對象的輸出數(shù)據(jù)與所述待驗對象的輸出數(shù)據(jù)不相同時，確定所述待驗對象驗證不通過。
6.如權(quán)利要求1至5中任一項所述的邏輯電路設(shè)計的驗證方法，其特征在于，所述第二語言包括Python語言。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于深圳云天勵飛技術(shù)有限公司，未經(jīng)深圳云天勵飛技術(shù)有限公司許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201710693558.6/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
