数字集成电路测试、验证，硬件安全，硬件木马检测，系统芯片的安全防护，数字系统设计与计算机应用

1. 行为级/门级代码的设计缺陷和硬件木马检测

• 支持面向第三方IP核的RTL级/门级代码检测；

• 在标准测试电路集取得平均95%以上的检测率；

• 已获授权专利1项，国家自然科学基金项目支撑相关研究。

2. 片上网络架构的系统芯片安全性设计与验证技术研究

• 构建精确的内嵌IP核行为级或门级硬件木马模型；

• 研究适应硬件木马特征分析且易于硬件实现的优化逻辑加密方法；

• 基于可测性分析的关键路径加固管理模块，研究开销优化的片上网络防护方法；

• 建立链路的抗木马攻击模型，实现通信网络的可信性设计；

• 已申请多项相关专利，国家自然科学基金项目支撑相关研究。

3. 软件自测试的可测试性设计方法

• 可以内嵌在系统的处理器中；

• 支持在线或离线的数字模块测试；

• 可配合动态可配置实现高效的在线测试；

• 核心设计思路已获授权专利1项，并实施了技术转让；

• 两项航空基金项目支撑相关研究。

构建精确的内嵌IP核行为级或门级硬件木马模型

构建精确的内嵌IP核行为级或门级硬件木马模型