-
Patent Agency Ranking
公开(公告)号：CN118797637A
公开(公告)日：2024-10-18
申请号：CN202410779262.6
申请日：2024-06-17
Applicant: 北京微电子技术研究所
Abstract: 本发明属于硬件安全技术领域，具体涉及了一种面向FPGA木马检测的可测试性值计算方法和系统，旨在解决现有的FPGA综合网表的可测试性值获取方法无法在早期的设计阶段进行计算的问题。本发明包括：初始化FPGA综合网表的全部节点，获得初始网表；对初始网表的所有主输入I置CC0(I)＝CC1(I)＝1，对初始网表的所有主输出O置CO(O)＝0；对设置好主输入和主输出的初始网表进行拓扑化，获得拓扑化网表；根据拓扑化网表计算拓扑化网表的拓扑次序；基于所述拓扑次序，从主输入开始依次计算各节点的可控性值；基于所述拓扑次序，基于所述可控性值从主输出开始依次计算各节点的可观测性值。本发明能够在FPGA设计的初级阶段就精确计算出网表的可测试性指标，降低了后期修改的成本与风险。
-
公开(公告)号：CN118606940B
公开(公告)日：2025-03-07
申请号：CN202410654489.8
申请日：2024-05-24
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F21/56 , G06F21/76 , G06N3/042 , G06N3/08 , G06F18/214 , G06F18/241 , G06N3/0464 , G06F17/16
Abstract: 本发明属于木马检测领域，具体涉及了一种基于图神经网络的面向FPGA网表的木马检测方法，旨在解决当前的技术中缺乏有效的木马检测机制的问题。本发明包括：用HDL描述数字逻辑和系统架构得到HDL代码；由EDA工具将HDL代码转换为门级表示，将门级表示的逻辑块分配到FPGA芯片上并规划连接并生成比特流文件；将比特流文件下载到所述FPGA芯片并得到FPGA的网表文件；将网表文件转换为原始有向图；设定原始有向图中节点的木马特征，进一步将原始有向图提取特征得到特征有向图；平衡特征有向图中的恶意逻辑节点与正常节点；使用图卷积网络对平衡有向图的节点进行分类，得到木马检测结果。本发明能有精确的检测出木马。
-
公开(公告)号：CN118606940A
公开(公告)日：2024-09-06
申请号：CN202410654489.8
申请日：2024-05-24
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F21/56 , G06F21/76 , G06N3/042 , G06N3/08 , G06F18/214 , G06F18/241 , G06N3/0464 , G06F17/16
Abstract: 本发明属于木马检测领域，具体涉及了一种基于图神经网络的面向FPGA网表的木马检测方法，旨在解决当前的技术中缺乏有效的木马检测机制的问题。本发明包括：用HDL描述数字逻辑和系统架构得到HDL代码；由EDA工具将HDL代码转换为门级表示，将门级表示的逻辑块分配到FPGA芯片上并规划连接并生成比特流文件；将比特流文件下载到所述FPGA芯片并得到FPGA的网表文件；将网表文件转换为原始有向图；设定原始有向图中节点的木马特征，进一步将原始有向图提取特征得到特征有向图；平衡特征有向图中的恶意逻辑节点与正常节点；使用图卷积网络对平衡有向图的节点进行分类，得到木马检测结果。本发明能有精确的检测出木马。
-
公开(公告)号：CN117786769A
公开(公告)日：2024-03-29
申请号：CN202311667489.3
申请日：2023-12-06
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
Abstract: 本发明公开了一种面向FPGA芯片的硬件木马检测系统，包括：综合模块、子模块划分模块、仿真模块、木马检测模块和验证文件生成模块；其中，综合模块，对输入的待检测FPGA设计进行存储、读取、调用和综合处理，输出综合后网表文件；子模块划分模块，将输入的综合后网表文件进行处理，生成待检测子模块文件；仿真模块，根据外部输入的线性反馈位移寄存器文件和仿真库文件，以及子模块划分模块输出的待检测子模块设计文件，生成仿真结果文件；木马检测模块，根据仿真结果文件，生成检测结果；验证文件生成模块，根据检测结果，检测是否存在木马节点，若是，则生成用于验证木马节点的断言文件并输出；若否，则结束。
-
公开(公告)号：CN117453281A
公开(公告)日：2024-01-26
申请号：CN202311227240.0
申请日：2023-09-21
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
Abstract: 本发明公开了一种从嵌入式操作系统结构化设备驱动向非结构化设备驱动移植的方法，属于嵌入式操作系统兼容技术领域。该方法以一种对嵌入式平台和外围设备具有统一管理体系的嵌入式操作系统结构化的设备驱动为输入，分析嵌入式操作系统结构化设备驱动中各个部分，以更精细的粒度划分驱动代码，根据非结构化设备驱动的函数接口重新组合封装，实现对嵌入式平台和外围设备没有统一管理体系的非结构化设备驱动对新设备和复杂设备的驱动开发，化简了代码设计难度，提高开发效率，缩短开发时间。
-
-
-
-
Search Results
5
records
(took 0.031 seconds)
