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

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

【技术实现步骤摘要】

所属的技术人员可以清楚地了解到，为描述的方便和简洁，上述描述的存储装置、处理装置的具体工作过程及有关说明，可以参考前述方法实施例中的对应过程，在此不再赘述。本领域技术人员应该能够意识到，结合本文中所公开的实施例描述的各示例的模块、方法步骤，能够以电子硬件、计算机软件或者二者的结合来实现，软件模块、方法步骤对应的程序可以置于随机存储器(ram)、内存、只读存储器(rom)、电可编程rom、电可擦除可编程rom、寄存器、硬盘、可移动磁盘、cd-rom、或内所公知的任意其它形式的存储介质中。为了清楚地说明电子硬件和软件的可互换性，在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以电子硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。本领域技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本专利技术的范围。术语“第一”、“第二”等是用于区别类似的对象，而不是用于描述或表示特定的顺序或先后次序。术语“包括”或者任何其它类似用语旨在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备/装置不仅包括那些要素本文档来自技高网...

【技术保护点】

1.一种面向FPGA木马检测的可测试性值计算方法，其特征在于，所述方法包括：

2.根据权利要求1所述的面向FPGA木马检测的可测试性值计算方法，其特征在于，

3.根据权利要求2所述的面向FPGA木马检测的可测试性值计算方法，其特征在于，所述可控性值的计算方法根据可以确定逻辑门的输出时的输入可控性值的数量不同进行区分；

4.根据权利要求3所述的面向FPGA木马检测的可测试性值计算方法，其特征在于，所述查找表LUT的可控性值计算方法为：

5.根据权利要求4所述的面向FPGA木马检测的可测试性值计算方法，其特征在于，所述查找表LUT的可观测性值计...

【技术特征摘要】

1.一种面向fpga木马检测的可测试性值计算方法，其特征在于，所述方法包括：

2.根据权利要求1所述的面向fpga木马检测的可测试性值计算方法，其特征在于，

3.根据权利要求2所述的面向fpga木马检测的可测试性值计算方法，其特征在于，所述可控性值的计算方法根据可以确定逻辑门的输出时的输入可控性值的数量不同进行区分；

4.根据权利要求3所述的面向fpga木马检测的可测试性值计算方法，其特征在于，所述查找表lut的可控性值计算方法为：

5.根据权利要求4所述的面向fpga木马检测的可测试性值计算方法，其特征在于，所述查找表lut的可观测性值计算方法为：

6.根据权利要...

【专利技术属性】
技术研发人员：肖克，张彦龙，王硕，周婧，张雪婷，田春生，杜忠，
申请(专利权)人：北京微电子技术研究所，
类型：发明
国别省市：