本发明公开了一种基于RTL网表的时钟网络提取方法，以RTL网表为必须输入，时钟信号源为可选输入，从RTL网表中的时序逻辑器件回溯推导，获取输入信号源到时序逻辑器件的信号路径并过滤；再通过提供的时钟源信息正向推导，得到时钟信号源到第一层时...

本发明具体公开了一种源代码自动编译方法、编译系统、电子设备及存储介质，所述方法包括以下步骤：S1、判断项目配置文件中是否存在指定编译选项，若不存在，则定位到项目配置文件中并自动抽取编译选项；S2、基于指定编译选项或自动抽取的编译选项执行...

本发明公开了基于交换架构的多FPGA仿真验证云平台调度管理方法和系统，包括获取平台资源信息，包括FPGA位置、互连关系、端口配置、带宽配置和FPGA内部资源信息；根据用户设计对资源的需求情况分配平台资源，得到用户资源分配情况；根据用户资...

本发明公开了一种基于分割通信需求的多FPGA平台网络拓扑优化方法，包括获取划分后划分块的数量和各划分块之间的连接关系；从预设的网络拓扑结构库中任意选择一种网络拓扑结构，并将划分后的设计映射到选择的网络拓扑结构中；判断各FPGA通信端口之...

本发明具体公开了一种二进制可执行文件函数特征筛选方法、设备及存储介质，所述方法包括以下步骤：S1、利用反汇编工具将二进制文件转换为汇编代码，基于训练好的神经网络模型将汇编函数映射到高维空间的向量上；S2、基于局部敏感哈希算法将高维空间的...

本发明公开了一种用于逻辑仿真系统的信号波形存储方法，包括使用编译器前端对源代码进行编译，得到对应的抽象语法树；基于抽象语法树，遍历树上的所有节点，基于该节点的语义生成对应的控制流和数据流节点，从而得到抽象语法树对应的控制流图和数据流图，...

本发明公开了一种用于硬件仿真平台的主频评估方法，包括获取分区的信息和硬件仿真平台信息；将各分区放置到对应FPGA上，分区与分区之间的信号通过对应FPGA之间的物理连线进行传输；获取传输的信号的数量以及物理连线的数量，判断传输的信号的数量...

本发明公开了一种用于多FPGA仿真验证平台的电路划分方法，包括获取电路中的Verilog项目源码进行解析，得到每个模块的资源信息以及模块之间的连线信息并进行建模，得到由节点和边组成的无向图模型；以边的位宽为权重进行最小切原则对无向图模型...

本发明公开了一种程序静态分析结果中最佳修复点的展示方法，该方法包括以下步骤：S1、获取所有污点传播路径，并对所获取的污点传播路径进行去重处理；S2、分析去重处理后的每一条污点传播路径，并基于分析结果进行组合以构建全程序污点传播流图；S3...

本发明具体公开了一种二进制可执行文件同源分析方法、计算机设备及存储介质，所述方法包括：生成二进制可执行文件对应的函数控制流图；在高维向量空间中生成对应的指令向量和基本块向量；基于预设神经网络模型获取同维度的函数向量矩阵；将函数向量矩阵进...

本发明公开了一种对Verilog HDL进行行为仿真的方法，包括获取当前仿真时刻的5个事件队列，检测队列A是否为空，若不为空，依次执行队列A中事件的处理函数；检查队列B是否为空，如果不为空，依次执行队列B中事件的处理函数；检查队列C是否...

本发明公开了一种FPGA并行仿真的海量仿真波形数据切片方法，该方法包括：设置仿真波形切分信息并将导入的FPGA项目划分为多个独立子模块，然后将对应生成的FPGA位流下载至FPGA上并行仿真；选择调试信号并将仿真波形数据缓存至DDR内存中...

本发明公开了一种用于逻辑仿真系统的高性能信号监视方法。该方法包含步骤S1：对源代码进行词法及语法分析，生成对应的抽象语法树；S2：生成基于节点语义的定义引用表；S3：对源代码执行代码生成，记录信号引用点位置，同时在信号引用点前后置入空指...

本发明公开了一种单元测试方法、系统、电子设备及存储介质，该单元测试方法包括：获取待测程序；解析待测程序，提取待测程序的待测函数及待测函数的基础信息，并利用开源框架LLVM分析待测程序，将待测程序编译成LLVM中间码；根据每个待测函数的基...

本发明公开了一种网络靶场流量实时采集系统及方法，属于网络靶场流量监测技术领域。该系统包含靶场管理模块、流量汇集模块、网络靶场设备。其采集方法为：S1：靶场管理模块设置流量采集脚本；S2：靶场管理模块发送流量采集脚本至流量汇集模块，依据该...

本发明公开了一种HDL代码仿真覆盖率异步事件驱动自动分析方法，该方法包括：HDL代码的词法语法分析；覆盖率分析环境初始化；覆盖率原语插入；生成覆盖率原语对应的可执行函数，然后将可执行函数插入到覆盖引擎的事件队列以作为单独的线程或进程进行...

本发明公开了一种符号执行方法、单元测试方法、电子设备及存储介质，该方法包括：遍历待分析程序的所有指令，建立程序分支表；对待分析程序的程序路径建立路径分支表；确认程序分支表中的所有分支未被访问，在当前路径下分析指令，收集已访问的分支记录，...

本发明公开了一种基于函数签名的自定义特征规则方法，包括统计所分析语言的安全漏洞设计编程安全特征规则；根据编程安全特征规则定义相应的状态转换流程，并记录引起状态转换的函数签名得到函数签名的集合；根据状态转换流程、函数签名的集合以及预设的规...

本发明公开了一种基于先验信息的RTL逻辑划分方法。该方法包含步骤S1：导入多模互连FPGA平台的FPGA数量、资源情况；S2：导入用户设计及用户设计中各模块之间的先验信息；S3：依据先验信息，分析用户设计，得到用户设计的资源情况表和互连...

本发明公开了一种虚实结合的网络靶场场景及快照构建方法，属于网络靶场构建技术领域。该方法包含步骤：S1：靶场管理模块设置网络靶场目标场景配置文件，构建网络靶场实验环境；S2：路由器/交换机将网络靶场目标场景配置文件备份至本地存储空间；S3...