混合協(xié)議轉(zhuǎn)換設(shè)計(jì)的驗(yàn)證方法、裝置、設(shè)備及存儲(chǔ)介質(zhì)
基本信息
| 申請(qǐng)?zhí)?/td> | CN201911202508.9 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN111031015B | 公開(kāi)（公告）日 | 2022-05-06 |
| 申請(qǐng)公布號(hào) | CN111031015B | 申請(qǐng)公布日 | 2022-05-06 |
| 分類(lèi)號(hào) | H04L9/40（2022.01）I;H04L69/08（2022.01）I | 分類(lèi) | 電通信技術(shù); |
| 發(fā)明人 | 徐慶陽(yáng);劉勤讓;沈劍良;劉冬培;呂平;宋克;朱珂;鐘丹;楊曉龍;宋剛;楊堃;王盼;汪欣;丁青子;黑建平 | 申請(qǐng)（專(zhuān)利權(quán)）人 | 天津市濱海新區(qū)信息技術(shù)創(chuàng)新中心 |
| 代理機(jī)構(gòu) | 天津合正知識(shí)產(chǎn)權(quán)代理有限公司 | 代理人 | 呂琦 |
| 地址 | 300000天津市濱海新區(qū)經(jīng)濟(jì)技術(shù)開(kāi)發(fā)區(qū)信環(huán)西路19號(hào)2號(hào)樓2201室 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明實(shí)施例公開(kāi)了一種混合協(xié)議轉(zhuǎn)換設(shè)計(jì)的驗(yàn)證方法、裝置、設(shè)備及存儲(chǔ)介質(zhì)，其中，所述方法包括：根據(jù)所述混合協(xié)議的激勵(lì)輸入形態(tài)和約束條件以及所對(duì)應(yīng)的輸入接口，生成各接口對(duì)應(yīng)的約束斷言；根據(jù)所述混合協(xié)議的各輸出口的輸出形態(tài)和預(yù)期格式，生成各接口對(duì)應(yīng)的檢查斷言；確定所述驗(yàn)證對(duì)象的時(shí)鐘信號(hào)和復(fù)位信號(hào)；將激勵(lì)輸入信號(hào)輸入到所述混合協(xié)議轉(zhuǎn)換設(shè)計(jì)中，所述激勵(lì)輸入信號(hào)包括：約束斷言、時(shí)鐘信號(hào)和復(fù)位信號(hào)；接收輸出結(jié)果，根據(jù)所述輸出結(jié)果與檢查斷言的比較結(jié)果得到驗(yàn)證結(jié)果?？勺龅綀?bào)文類(lèi)型和激勵(lì)組合的最大化遍歷，保證驗(yàn)證的完備性；可根據(jù)需求的變化快速實(shí)現(xiàn)對(duì)不同種協(xié)議的轉(zhuǎn)換支持。 |
