北京微电子技术研究所肖克获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉北京微电子技术研究所申请的专利面向FPGA木马检测的可测试性值计算方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118797637B 。
龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410779262.6，技术领域涉及：G06F21/56；该发明授权面向FPGA木马检测的可测试性值计算方法和系统是由肖克;张彦龙;王硕;周婧;张雪婷;田春生;杜忠设计研发完成，并于2024-06-17向国家知识产权局提交的专利申请。
本面向FPGA木马检测的可测试性值计算方法和系统在说明书摘要公布了：本发明属于硬件安全技术领域，具体涉及了一种面向FPGA木马检测的可测试性值计算方法和系统，旨在解决现有的FPGA综合网表的可测试性值获取方法无法在早期的设计阶段进行计算的问题。本发明包括：初始化FPGA综合网表的全部节点，获得初始网表；对初始网表的所有主输入I置CC0I＝CC1I＝1，对初始网表的所有主输出O置COO＝0；对设置好主输入和主输出的初始网表进行拓扑化，获得拓扑化网表；根据拓扑化网表计算拓扑化网表的拓扑次序；基于所述拓扑次序，从主输入开始依次计算各节点的可控性值；基于所述拓扑次序，基于所述可控性值从主输出开始依次计算各节点的可观测性值。本发明能够在FPGA设计的初级阶段就精确计算出网表的可测试性指标，降低了后期修改的成本与风险。
本发明授权面向FPGA木马检测的可测试性值计算方法和系统在权利要求书中公布了：1.一种面向FPGA木马检测的可测试性值计算方法，其特征在于，所述方法包括： 步骤S1，初始化FPGA综合网表的全部节点，获得初始网表； 步骤S2，对初始网表的所有主输入I置CC0I＝CC1I＝1，对初始网表的所有主输出O置COO＝0； 步骤S3，对设置好主输入和主输出的初始网表进行拓扑化，获得拓扑化网表； 步骤S4，根据拓扑化网表计算拓扑化网表的拓扑次序； 步骤S5，基于所述拓扑次序，从主输入开始依次计算各节点的可控性值； 步骤S6，基于所述拓扑次序，基于所述可控性值从主输出开始依次计算各节点的可观测性值；所述可控性值和可观测性值作为可测试性值。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京微电子技术研究所，其通讯地址为：100076 北京市丰台区东高地四营门北路二号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号