一种基于代码混淆技术的Verilog源码保护系统和方法

    公开(公告)号:CN118551373A

    公开(公告)日:2024-08-27

    申请号:CN202410540554.4

    申请日:2024-04-30

    Abstract: 本发明公开了一种基于代码混淆技术的Verilog源码保护系统和方法,该系统包括:迭代仲裁器,用于将接收到的Verilog源码逐行输入到词法分析器中;将收到的混淆模式向下传递至仲裁器;词法分析器,用于对Verilog源码中的代码进行分析分类后输出;仲裁器,用于以混淆模式作为参考信息,对标识符进行仲裁后输出;随机混淆器,用于对标识符进行随机混淆处理后输出;格式处理器,用于对所有输入信息进行布局混淆处理后输出;输出器,用于输出混淆后的Verilog代码。本发明能够以很低的复杂度完成大规模Verilog硬件代码的混淆处理,实现对代码的加密处理,可实现对Verilog源码的模块名、输入输出信号、寄存器和连线等信息的隐藏,进而实现对Verilog源代码知识产权的保护。

    一种基于FPGA的电路模块测试方法

    公开(公告)号:CN112034331B

    公开(公告)日:2023-04-18

    申请号:CN202010826182.3

    申请日:2020-08-17

    Abstract: 一种基于FPGA的电路模块测试方法,包括步骤:1)获取目标电路模块的电路网表;2)获取测试电路模块的电路网表;3)根据目标电路模块的电路网表和测试电路模块的电路网表生成整体电路模块的电路网表,具体为:将测试电路模块的测试端口对应连接到目标电路模块的硬宏单元上,同时删除测试电路模块对应的硬宏单元;或将目标电路模块的测试端口对应连接到测试电路模块的硬宏单元上,同时删除目标电路模块对应的硬宏单元;4)使用步骤3)获得的整体电路模块的电路网表,对所述目标电路模块进行测试。本发明模拟了FPGA中IP核等电路模块通常作为整体电路的一部分的真实使用环境,从而使测试结果更准确。

    一种基于FPGA的电路模块测试方法

    公开(公告)号:CN112034331A

    公开(公告)日:2020-12-04

    申请号:CN202010826182.3

    申请日:2020-08-17

    Abstract: 一种基于FPGA的电路模块测试方法,包括步骤:1)获取目标电路模块的电路网表;2)获取测试电路模块的电路网表;3)根据目标电路模块的电路网表和测试电路模块的电路网表生成整体电路模块的电路网表,具体为:将测试电路模块的测试端口对应连接到目标电路模块的硬宏单元上,同时删除测试电路模块对应的硬宏单元;或将目标电路模块的测试端口对应连接到测试电路模块的硬宏单元上,同时删除目标电路模块对应的硬宏单元;4)使用步骤3)获得的整体电路模块的电路网表,对所述目标电路模块进行测试。本发明模拟了FPGA中IP核等电路模块通常作为整体电路的一部分的真实使用环境,从而使测试结果更准确。

    一种基于代码混淆技术的Verilog源码保护系统和方法

    公开(公告)号:CN118551373B

    公开(公告)日:2025-04-15

    申请号:CN202410540554.4

    申请日:2024-04-30

    Abstract: 本发明公开了一种基于代码混淆技术的Verilog源码保护系统和方法,该系统包括:迭代仲裁器,用于将接收到的Verilog源码逐行输入到词法分析器中;将收到的混淆模式向下传递至仲裁器;词法分析器,用于对Verilog源码中的代码进行分析分类后输出;仲裁器,用于以混淆模式作为参考信息,对标识符进行仲裁后输出;随机混淆器,用于对标识符进行随机混淆处理后输出;格式处理器,用于对所有输入信息进行布局混淆处理后输出;输出器,用于输出混淆后的Verilog代码。本发明能够以很低的复杂度完成大规模Verilog硬件代码的混淆处理,实现对代码的加密处理,可实现对Verilog源码的模块名、输入输出信号、寄存器和连线等信息的隐藏,进而实现对Verilog源代码知识产权的保护。

    一种利用可扩展标签语言编辑Eclipse界面及调用工具的方法

    公开(公告)号:CN114879957A

    公开(公告)日:2022-08-09

    申请号:CN202210302675.6

    申请日:2022-03-24

    Abstract: 一种利用可扩展标签语言编辑Eclipse界面及调用工具的方法,利用编写好的XML文件对Eclipse界面进行设计开发,生成一个菜单界面,包括:菜单中的层次关系,每个菜单项的图标以及功能函数调用;或在Eclipse中调用外部工具,并为每个工具创建和传递参数,将配置参数以及外部工具调用指令以命令行的形式输出,完成后将生成结果在Eclipse中显示;或指定输入文件及文件类型,调用Eclipse的插件开发接口,完成对界面工具的使用。本方法中限定了Eclipse界面的布局,只需要利用XML文件创建或编辑界面中的不同元素并指定元素类型及属性,无需再进行排版设计、界面布局,从而减轻了界面设计的复杂程度;通过XML代码调用外部工具或使用Eclipse插件来完成功能设计,简化了代码设计过程,提高开发效率。

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

    公开(公告)号:CN118797637A

    公开(公告)日:2024-10-18

    申请号:CN202410779262.6

    申请日:2024-06-17

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

Patent Agency Ranking