国产在线一区二区不卡|在线观看中文字幕一区|亚洲中文无码h在线观看|欧美 亚洲 图色 另类|免费人成视频x8x8入口|国产福利观看天堂素人约啪|人妻无码专区一专区二专区三|国产婷婷成人久久AV免费高清

合肥金星智控科技股份有限公司
宣傳

位置:中冶有色 >

有色技術(shù)頻道 >

> 失效分析技術(shù)

> 驗證Cache一致性協(xié)議的裝置及方法

驗證Cache一致性協(xié)議的裝置及方法

928   編輯:管理員   來源:中冶有色技術(shù)網(wǎng)  
2023-03-19 09:02:32
本發(fā)明提供了一種驗證Cache一致性協(xié)議的裝置,所述的裝置包括:形式驗證平臺,利用驗證平臺內(nèi)的驗證工具,使用工具的內(nèi)部變量失效命令對模型初始表中的狀態(tài)變量進行失效;模型初始表,用來枚舉模型中的狀態(tài)變量并進行初始狀態(tài)賦值;模型其他表,包含協(xié)議說明書或者說明表的所有協(xié)議表,用來定義模型協(xié)議表之間跳轉(zhuǎn)接口,并實現(xiàn)模型協(xié)議表之間的跳轉(zhuǎn)驗證;模型規(guī)則定義表,用來定義模型協(xié)議表的跳轉(zhuǎn)規(guī)則,以及檢查Cache協(xié)議模型一致性。通過對模型中的變量狀態(tài)進行組合,增加驗證工具的驗證路徑,縮短驗證時間?;谘b置,本發(fā)明還提供了一種驗證Cache一致性協(xié)議的方法。
聲明:
“驗證Cache一致性協(xié)議的裝置及方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學習研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽:
失效分析
全國熱門有色金屬技術(shù)推薦
展開更多 +

 

中冶有色技術(shù)平臺微信公眾號
了解更多信息請您掃碼關(guān)注官方微信
中冶有色技術(shù)平臺微信公眾號中冶有色技術(shù)平臺

最新更新技術(shù)

報名參會
更多+

報告下載

第二屆中國微細粒礦物選礦技術(shù)大會
推廣

熱門技術(shù)
更多+

衡水宏運壓濾機有限公司
宣傳
環(huán)磨科技控股(集團)有限公司
宣傳

發(fā)布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記