GLIFT逻辑相关硕士博士期刊学术论文 - 信丰网

GLIFT逻辑相关论文

基于门级信息流分析的多值逻辑形式化方法研究

硬件系统设计规模的增大使得测试和验证覆盖率难以保证，所隐含的安全漏洞容易导致敏感信息泄露。门级信息流分析方法能够实现对硬件......

期刊

门级信息流分析多值逻辑标签传播规则形式化描述 GLIFT逻辑 gate level information flow analysis multi-va

看过本文同时还关注