寄存器传输级硬件设计信息流建模与安全验证

摘要： 近年来，已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而，现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计，而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此，提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑... （共8页）