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

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

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

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

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

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

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

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

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

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

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

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

本发明实施例公开了一种航天产品技术指标成功包络线的分析方法及装置。所述方法包括：根据目标产品的产品关键性能，采集得到所述目标产品的产品特性数据；基于大数据计算引擎对所述产品特性数据进行分析计算，得到所述目标产品的数据计算结果；根据所述数...

本发明实施例公开了一种基于微服务的数据自动匹配多用户要求服务的方法及装置。所述方法包括：基于预先建立的多层级数据交付模式，采集生产数据；基于任务微服务依据多用户服务要求，从所述生产数据中提取符合条件的目标生产数据；将所述目标生产数据提交...

本实用新型公开了一种基于PCIE接口的FC仿真测试装置，该装置包括：PCIE模块、电源模块、FC总线模块、存储模块以及FPGA芯片；PCIE模块，用于为电源模块提供输入电压信号，以及将上位机发送的数据转发给FPGA芯片和将FPGA芯片发...

本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定...

本申请公开了一种单变量原子违背缺陷的检测方法，该方法包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVM IR，根据中间表示形式构建程序依赖图；根据程序依赖图以及预设IFDS框架构建得到爆炸超图，根据爆炸超图对主程序数据流分析确...

本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流...

本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模...

本发明实施例公开了一种基于航天软件缺陷数据集类不平衡的对抗验证方法及装置。所述方法包括：获取航天嵌入式软件对应的缺陷数据训练集和缺陷数据测试集；合并所述缺陷数据训练集和所述缺陷数据测试集，生成合并数据集；基于集成学习方法对所述合并数据集...