本发明公开了针对大规模静态缺陷检测的指针分析方法，包括以下步骤：步骤一，解析被分析工程的源代码；步骤二，构造控制流图；步骤三，构造函数调用图；步骤四，对调用图进行拓扑排序；步骤五，执行符号化的局部指针分析；步骤六，完成全程序的指针分析；...

本发明公开了一种基于链表和逆向遍历的汇编代码中if结构识别方法，包括以下步骤：步骤一，创建链表和以地址为索引图的图；步骤二，汇编指令汇总与存储；步骤三，反优化操作；步骤四，逆向遍历链表；步骤五，无条件跳转指令的识别与归纳；步骤六，条件跳...

本发明公开了一种面向多对象系统的关键字驱动测试方法及系统，方法包括步骤一，创建关键字执行流；步骤二，执行关键字；步骤三，测试结果反馈；步骤四，持续测试；步骤五，创建并行执行流；步骤六，切换测试对象；系统包括自动化测试模块、并行执行模块和...

本申请公开了一种修改RTL源代码文件的方法及电子设备，该方法包括：获取待测设计的全部RTL源代码文件以及待测设计顶层RTL源代码的文件名，将每个RTL源代码文件中各模块的例化名与文件名进行关联，并将关联结果保存为树型的数据结构；逐一获取...

本发明公开了精确的中断驱动型嵌入式软件数据竞争动态检测方法，包括以下步骤：步骤一，获取候选同步操作集；步骤二，筛选候选同步操作；步骤三，验证同步操作的准确性；步骤四，检测程序中的数据竞争；相较于现有的数据竞争动态检测方法，本发明通过识别...

本发明公开了提升源代码静态分析工具鲁棒性的方法，包括以下步骤：步骤一，设计鲁棒性编译前端；步骤二，设计语法转译器；步骤三，提升原分析工具的鲁棒性；步骤四，添加零配置；所述步骤1.2中，词法解析模块预留了nextToken接口可供子类实现...

本发明公开了针对实时嵌入式软件源代码覆盖率分析系统，包括CPU指令集模拟器模块，所述CPU指令集模拟器模块包括包括插桩模块、编译模块、目标码符号分析模块、配置文件生成模块、配置接口模块、指令执行模块、时钟计时和维护模块、函数检查模块、函...

本发明公开了一种基于关键字驱动的自动化测试并行执行系统，包括：并行执行管理模块，用于对测试子线程进行管理；关键字步骤并行执行模块，用于创建测试子线程的可执行环境；信息交互模块，用于实现线程间的信息传递和交互；异常处理模块，用于在关键字步...

一种门级网表跨时钟域自动化分析方法及系统，通过包括仿真库自动抽象模块、Verilog程序分析模块、门级网表时钟树和复位树推断模块、跨时钟域特征识别模块、违规显示模块，进行Verilog语言解析、仿真库自动抽象、门级网表时钟树推断、门级网...

本发明涉及硬件描述语言VHDL的跨时钟域分析，使用静态分析的方法识别可编程逻辑设计中的跨时钟域路径。本发明属于硬件描述语言静态分析技术领域。本发明能够对使用VHDL硬件描述语言编写的可编程逻辑设计，进行解析生成抽象语法树，分析并遍历抽象...

本发明公开了一种基于线程循环调度顺序化的中断驱动程序模型检测方法，属于软件模型检测领域。首先收集输入的中断驱动程序的中断相关信息，如软件中包含的中断类型、数量、优先级等。初步的源到源的转化处理将中断驱动程序转化为标准多线程程序，然后使用...

本发明公开了一种基于单变量访问序模式的中断数据竞争模型检测方法，属于软件模型检测领域。首先选择待检测模式并输入待检测变量的名称和类型，然后对中断程序进行顺序化处理，根据选择的模式在待检测变量的读写语句前后添加赋值语句和断言，再将其输入给...

一种用于符号执行的复杂类型输入变量懒符号化方法及系统，包括生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；在执行过程中对内存地址访问...

本发明公开了一种基于步长的分布式仿真系统时间同步方法，包括：确定不同仿真节点之间的同步步长；确定在每台计算机上的各仿真节点之间的本地时间同步步长t；确定分布式仿真系统时间同步步长T；要求T是t的整数倍；在每台计算机上，各个仿真节点按照本...

本发明公开了一种安全隔离的无线单向授时系统及方法，其中，该系统包括无线授时模块、外部时钟管理模块、单向发送模块、单向接收模块和内部时钟管理模块；其中，无线授时模块将无线电授时信号进行解调制后得到调制后的无线电授时信号；外部时钟管理模块根...

一种面向Verilog设计的异步事件冲突验证方法及系统，通过包括Verilog语言解析模块、基本器件识别模块、疑似异步事件自动化提取模块、异步事件端口确认模块的验证系统，通过静态分析的方法分析大规模逻辑设计异步事件疑似端口，通过人工分析...

本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和...

本发明公开了一种面向人工智能的基于计算图模型的代码生成方法及装置。所述方法包括：获取计算图和输出节点；从输出节点开始，根据计算图中的有向边进行向前查找，直至找到所有的输入节点；以查找路径上的所有节点为集合，构建计算逻辑树；根据所有节点的...

本发明公开了一种自适应接口FPGA软硬件协同仿真加速系统。该系统包括：上位机和硬件板卡端，上位机包括仿真软件单元和通信单元，硬件板卡端包括主FPGA单元和从FPGA单元，仿真软件单元在运行仿真之前控制被测设计的配置流bit文件加载至从F...

本申请公开了一种对Word文件数据结构化条目化的处理方法，该方法包括：创建浏览器控件，通过所述浏览器控件在线打开、编辑Word文件得到所述Word文件所对应的文件数据；对所述文件数据进行数据化、条目化得到结构化条目化的数据。本申请解决了...