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

位置:中冶有色 >

有色技術頻道 >

> 物理檢測技術

> 基于有界模型的微型木馬檢測方法

基于有界模型的微型木馬檢測方法

1032   編輯:管理員   來源:中冶有色網  
2023-03-19 06:25:53
本發明涉及一種基于有界模型的微型木馬檢測方法,包括以下步驟:1)將一批具有相同功能的芯片分為訓練組和測試組;2)對所述訓練組進行物理檢測,提取可疑電路對;3)使用有界模型檢驗法對所述可疑電路對進行功能檢測,根據檢測結果判斷是否存在微型木馬,并建立基于反例的測試序列庫;4)以所述測試序列庫對測試組進行微型木馬檢測。與現有技術相比,本發明通過考慮時序邏輯電路的時序性以及有界模型檢驗的特點,快速高效地對芯片進行木馬檢測,提高微型木馬的檢測效率,并且準確區分邏輯綜合中的微型木馬與無關位的電路優化。
登錄解鎖全文
聲明:
“基于有界模型的微型木馬檢測方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽:
物理檢測
全國熱門有色金屬技術推薦
展開更多 +

 

中冶有色技術平臺

最新更新技術

報名參會
更多+

報告下載

赤泥綜合利用研究報告2025
推廣

熱門技術
更多+

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

發布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記
在线精品视频播放|无码 有码 国产18p|宅男精品一区在线观看|伊人色综合久久天天人手人婷|亚洲熟肥妇女BBXX