寄存器傳輸級硬件設(shè)計信息流建模與安全驗證

摘要： 近年來，已有大量研究證明信息流分析能夠有效地對設(shè)計安全屬性與安全行為進行建模。然而，現(xiàn)有的門級抽象層次的信息流分析方法往往受制于算力和驗證效力等因素難以應(yīng)對大規(guī)模設(shè)計，而RTL抽象層次的信息流分析方法需借助類型系統(tǒng)等形式化語言對硬件設(shè)計進行重新描述。因此，提出了一種寄存器傳輸級硬件設(shè)計信息流建模與安全驗證方法。該方法在寄存器傳輸級功能模型的基礎(chǔ)上構(gòu)建附加安全屬性的信息流跟蹤邏輯... （共8頁）