论文部分内容阅读
硬件系统设计规模的增大使得测试和验证覆盖率难以保证，所隐含的安全漏洞容易导致敏感信息泄露。门级信息流分析方法能够实现对硬件中全部逻辑信息流精确度量，防止有害信息流所引发的信息泄露。现有的工作主要研究布尔逻辑系统下门级信息流分析的基本理论、生成算法、跟踪逻辑形式化及检测验证等问题。然而，在硬件系统的设计和验证中通常需要采用多值逻辑描述电路的逻辑状态，基于门级信息流分析方法，采用构造方法生成系统的信息流模型，研究多值逻辑标签传播问题，分别构建针对四值逻辑和九值逻辑的标签传播规则集，对门级信息流跟踪逻辑进行形式