本發(fā)明涉及一種基于有界模型的微型木馬檢測方法,包括以下步驟:1)將一批具有相同功能的
芯片分為訓(xùn)練組和測試組;2)對所述訓(xùn)練組進(jìn)行物理檢測,提取可疑電路對;3)使用有界模型檢驗法對所述可疑電路對進(jìn)行功能檢測,根據(jù)檢測結(jié)果判斷是否存在微型木馬,并建立基于反例的測試序列庫;4)以所述測試序列庫對測試組進(jìn)行微型木馬檢測。與現(xiàn)有技術(shù)相比,本發(fā)明通過考慮時序邏輯電路的時序性以及有界模型檢驗的特點,快速高效地對芯片進(jìn)行木馬檢測,提高微型木馬的檢測效率,并且準(zhǔn)確區(qū)分邏輯綜合中的微型木馬與無關(guān)位的電路優(yōu)化。
聲明:
“基于有界模型的微型木馬檢測方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)