基于UVM的硬件木馬檢測(cè)研究.pdf

1、在過(guò)去幾十年，集成電路已經(jīng)滲透到人類社會(huì)活動(dòng)的各個(gè)領(lǐng)域，包括在金融，軍事，工業(yè)，交通等關(guān)乎國(guó)家命脈的領(lǐng)域也得到了廣泛的應(yīng)用，因此確保集成電路的安全性與可靠性變得十分緊迫。硬件木馬因其潛在的對(duì)信息安全的巨大威脅性，而越來(lái)越受到學(xué)者們的關(guān)注。圍繞硬件木馬檢測(cè)，研究人員已經(jīng)做了很多工作，但目前學(xué)術(shù)界仍缺少成熟可用的檢測(cè)方法和實(shí)驗(yàn)平臺(tái)。
　　本文首先詳述了硬件木馬的分類和各種檢測(cè)方法，然后著重于寄存器傳輸級(jí)（RTL）硬件木馬的檢測(cè)研究。通

2、過(guò)研究硬件木馬的激活理論和分析硬件木馬的激活概率，提出了一種用于硬件木馬檢測(cè)的虛擬掃描觸發(fā)器（DSFF）專用結(jié)構(gòu)和基于概率分析快速激活硬件木馬的方法。同時(shí)介紹了通用驗(yàn)證方法學(xué)（UVM）的發(fā)展歷史和基本理論，基于UVM驗(yàn)證方法學(xué)思想，搭建了一個(gè)基于開(kāi)源微處理器OR1200的片上系統(tǒng)（SOC）測(cè)試平臺(tái)，以O(shè)R1200為原始參考設(shè)計(jì)，在其中插入了十種不同類型的硬件木馬，然后運(yùn)用本文插入DSFF專用結(jié)構(gòu)的快速激活方法去檢測(cè)木馬。
　　實(shí)驗(yàn)