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

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