面向自主芯片硬件安全的逻辑漏洞深度挖掘方法

专利申请号：CN202010234149.1

公 开 号：CN111428246B

发 明 人：郭世泽 王坚 李桓 杨鍊 陈哲 

代 理 人：北京正华智诚专利代理事务所(普通合伙)李梦蝶

代理机构：北京正华智诚专利代理事务所(普通合伙)

专利类型：发明专利

申 请 日：20230418

公 开 日：20200330

专利主分类号：G06F21/57

关 键 词：漏洞 源代码 基本逻辑 挖掘 等效变换 芯片硬件 互斥性 完备性 芯片 安全技术领域 研究对象 硬件逻辑 状态条件 防范 传播 安全 

摘      要：本发明公开了一种面向自主芯片硬件安全的逻辑漏洞深度挖掘方法，涉及芯片硬件安全技术领域，包括：对芯片HDL源代码进行等效变换；采用ATPG初步提取等效变换后的HDL源代码中的FSM；对初步提取到的FSM进行补全，得到完整的FSM；根据互斥性、完备性、死状态和活状态条件，从完整的FSM中挖掘基本逻辑漏洞，互斥性漏洞、完备性漏洞、死状态漏洞和活状态漏洞均为基本逻辑漏洞；若基本逻辑漏洞包括活状态或死状态漏洞，则继续挖掘传播型漏洞。本发明方法以HDL代码为输入，以FSM为主要研究对象，该方法能够从自主芯片HDL源代码中挖掘出多种类型的硬件逻辑漏洞，使得设计者和使用者能够采取相应的弥补和防范措施。