首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

面向FPGA木马检测的可测试性值计算方法和系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:北京微电子技术研究所

摘要:本发明属于硬件安全技术领域,具体涉及了一种面向FPGA木马检测的可测试性值计算方法和系统,旨在解决现有的FPGA综合网表的可测试性值获取方法无法在早期的设计阶段进行计算的问题。本发明包括:初始化FPGA综合网表的全部节点,获得初始网表;对初始网表的所有主输入I置CC0I=CC1I=1,对初始网表的所有主输出O置COO=0;对设置好主输入和主输出的初始网表进行拓扑化,获得拓扑化网表;根据拓扑化网表计算拓扑化网表的拓扑次序;基于所述拓扑次序,从主输入开始依次计算各节点的可控性值;基于所述拓扑次序,基于所述可控性值从主输出开始依次计算各节点的可观测性值。本发明能够在FPGA设计的初级阶段就精确计算出网表的可测试性指标,降低了后期修改的成本与风险。

主权项:1.一种面向FPGA木马检测的可测试性值计算方法,其特征在于,所述方法包括:步骤S1,初始化FPGA综合网表的全部节点,获得初始网表;步骤S2,对初始网表的所有主输入I置CC0I=CC1I=1,对初始网表的所有主输出O置COO=0;步骤S3,对设置好主输入和主输出的初始网表进行拓扑化,获得拓扑化网表;步骤S4,根据拓扑化网表计算拓扑化网表的拓扑次序;步骤S5,基于所述拓扑次序,从主输入开始依次计算各节点的可控性值;步骤S6,基于所述拓扑次序,基于所述可控性值从主输出开始依次计算各节点的可观测性值;所述可控性值和可观测性值作为可测试性值。

全文数据:

权利要求:

百度查询: 北京微电子技术研究所 面向FPGA木马检测的可测试性值计算方法和系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。