公开(公告)号：CN116450501A

公开(公告)日：2023-07-18

申请号：CN202310294779.1

申请日：2023-03-24

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  贾春鹏 ,  王峥 ,  杨帆 ,  丁戈 ,  肖志恒 ,  王博祥 ,  于婷婷 ,  高栋栋

IPC: G06F11/36

Abstract: 本发明公开了一种提升静态分析精度的符号分析方法，包括以下步骤：步骤一，生成抽象语法树和控制流图；步骤二，生成调用图；步骤三，执行指针分析；步骤四，全局值编号；步骤五，计算CFG支配关系、支配边界以及控制依赖图；步骤六，静态单赋值形式构造；步骤七，显式暴露函数副作用；步骤八，构造带条件数据依赖图；步骤九，符号分析；步骤十，约束求解；本发明利用指针分析划分所有的内存区域，使得它能够处理所有的语言特性，提高了适用范围；本发明基于静态单赋值，以及通过构造带条件数据依赖图和控制依赖图，可以简洁地以遍历图的方式完成符号分析，并且通过调用SMT求解器求解以得到精确的解。

公开(公告)号：CN116011400A

公开(公告)日：2023-04-25

申请号：CN202310047877.5

申请日：2023-01-17

Applicant: 北京轩宇信息技术有限公司

Inventor： 虞砺琨 ,  陈华南 ,  于倩 ,  黄晨 ,  王小丽

IPC: G06F40/12 ,  G06F40/186

Abstract: 本发明公开了一种项目标准测试文档自动化生成方法及装置，方法包括步骤一，建立数据模型；步骤二，创建文档模板；步骤三，获取待填充数据；步骤四，匹配求解算法；步骤五，计算填充数据；步骤六，输出存储文档；装置包括信息获取模块、数据获取模块、数据处理模块和文档生成模块，所述XML中配置语法为自然语言和标识符语言，在配置文件中进行业务规则输入，本发明相较于现有的文档自动化生成方法，可实现项目文档的自动生成以及关联性分析，一键生成文档，且文档标准规范，同时支持不同类型的图表生成，具有更高的灵活度，进而解决了相关技术中手动生成效率低、以及现有自动生成方式定制化、内容不全的问题，提升了工作效率。

公开(公告)号：CN114859691A

公开(公告)日：2022-08-05

申请号：CN202210307093.7

申请日：2022-03-25

Applicant: 北京轩宇信息技术有限公司

Inventor： 郑竹萌 ,  胡萌 ,  张金巍 ,  王凌昊 ,  胡如男 ,  施建雄

IPC: G04R20/02 ,  G04R20/04 ,  H04J3/06 ,  H04L9/08 ,  H04L9/40

Abstract: 本发明公开了一种安全隔离的无线单向授时系统及方法，其中，该系统包括无线授时模块、外部时钟管理模块、单向发送模块、单向接收模块和内部时钟管理模块；其中，无线授时模块将无线电授时信号进行解调制后得到调制后的无线电授时信号；外部时钟管理模块根据调制后的无线电授时信号进行守时处理；单向发送模块将时钟信号调制为光信号，并将光信号传输给单向接收模块；单向接收模块接收到光信号后解调制为第二时钟信号，并将第二时钟信号传输给内部时钟管理模块；内部时钟管理模块根据第二时钟信号进行守时处理，并向外部用户提供时钟输出。本发明解决了现有集中授时技术的不足，将光单向特点和传统授时技术相结合，使得具有信息安全特性的优点。

公开(公告)号：CN114818563A

公开(公告)日：2022-07-29

申请号：CN202210472936.9

申请日：2022-04-29

Applicant: 北京轩宇信息技术有限公司

Inventor： 孙宇明 ,  曾霞 ,  江云松 ,  于志杰 ,  贾春鹏 ,  李铀 ,  王宏伟 ,  唐柳 ,  朱倩 ,  尤静 ,  姚春月 ,  童宗挺 ,  赵欢 ,  田甜

IPC: G06F30/3308 ,  G06F30/327

Abstract: 一种面向Verilog设计的异步事件冲突验证方法及系统，通过包括Verilog语言解析模块、基本器件识别模块、疑似异步事件自动化提取模块、异步事件端口确认模块的验证系统，通过静态分析的方法分析大规模逻辑设计异步事件疑似端口，通过人工分析的方法对输入和输出端口建模，最后通过仿真验证的方法核实问题，最终提升大规模逻辑设计产品的可靠性。

公开(公告)号：CN114385179A

公开(公告)日：2022-04-22

申请号：CN202111537354.6

申请日：2021-12-15

Applicant: 北京轩宇信息技术有限公司

Inventor： 王彦芳 ,  王政 ,  黄丽桃 ,  张小龙 ,  李婕 ,  江云松 ,  曾霞 ,  王辉

IPC: G06F8/41 ,  G06F16/901

Abstract: 本发明公开了一种面向人工智能的基于计算图模型的代码生成方法及装置。所述方法包括：获取计算图和输出节点；从输出节点开始，根据计算图中的有向边进行向前查找，直至找到所有的输入节点；以查找路径上的所有节点为集合，构建计算逻辑树；根据所有节点的节点类型，对所有节点进行预处理；从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点；重复执行从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点，直至根节点作为父节点。本发明可以解决在星载计算机上存储空间有限，无法容纳相应的依赖库和运行时占用的内存的问题。

公开(公告)号：CN114297962A

公开(公告)日：2022-04-08

申请号：CN202111491603.2

申请日：2021-12-08

Applicant: 北京轩宇信息技术有限公司

Inventor： 王宏伟 ,  曾霞 ,  江云松 ,  唐柳 ,  孙宇明 ,  李铀 ,  马玉平 ,  张金巍

IPC: G06F30/33

Abstract: 本发明公开了一种自适应接口FPGA软硬件协同仿真加速系统。该系统包括：上位机和硬件板卡端，上位机包括仿真软件单元和通信单元，硬件板卡端包括主FPGA单元和从FPGA单元，仿真软件单元在运行仿真之前控制被测设计的配置流bit文件加载至从FPGA单元，并向主FPGA单元写入激励数据；通信单元负责仿真激励数据、仿真测试数据及被测设计配置数据的传输通信，根据用户测试需求选择PCIE XDMA或USB GPIF II其中一种通信方式；主FPGA单元接收被测FPGA设计仿真结果，并发送至通信单元；从FPGA单元根据激励数据对被测设计进行仿真测试，得到测试数据。本发明可以提高FPGA设计仿真验证的效率。

公开(公告)号：CN109474582B

公开(公告)日：2021-10-01

申请号：CN201811249953.6

申请日：2018-10-25

Applicant: 北京轩宇信息技术有限公司

Inventor： 吴瑾 ,  江云松 ,  陈睿 ,  贾春鹏 ,  魏鹏 ,  王永杰 ,  房振军 ,  高栋栋 ,  于倩 ,  黄晨 ,  王小丽 ,  杨建磊

IPC: H04L29/06

Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。

公开(公告)号：CN112783765A

公开(公告)日：2021-05-11

申请号：CN202110043899.5

申请日：2021-01-13

Applicant: 北京轩宇信息技术有限公司

Inventor： 陈睿 ,  杨帆 ,  江云松 ,  于婷婷 ,  刘亚威 ,  王浩 ,  高栋栋 ,  李超 ,  贾春鹏 ,  吴瑾

IPC: G06F11/36

Abstract: 本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定void*或void*成员指向的实际类型以及根据实际类型生成输入驱动文件；判断实际类型是否为结构体类型且结构体类型中的结构体是否包含指向动态堆数据结构的成员；若是结构体类型且结构体类型中的结构体包含指向动态堆数据结构的成员，则设置指针或结构体展开层次，并根据展开层次生成配置文件，根据驱动文件以及配置文件自动生成测试用例。本申请解决了现有技术中生成的测试用例覆盖率较低、执行崩溃或内存开销过大的技术问题。

公开(公告)号：CN112506521A

公开(公告)日：2021-03-16

申请号：CN202011496767.X

申请日：2020-12-17

Applicant: 北京轩宇信息技术有限公司

Inventor： 王政 ,  黄丽桃 ,  江云松 ,  张小龙 ,  毕旭辉 ,  史泾位

IPC: G06F8/41

Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。

公开(公告)号：CN112364583A

公开(公告)日：2021-02-12

申请号：CN202011334416.9

申请日：2020-11-24

Applicant: 北京轩宇信息技术有限公司

Inventor： 王宏伟 ,  马玉平 ,  赵欢 ,  孙宇明 ,  李铀 ,  唐柳 ,  于志杰

IPC: G06F30/331 ,  G06F30/34 ,  G06F111/02

Abstract: 本申请公开了一种FPGA软硬件协同仿真系统及方法，该系统包括：上位机和FPGA板卡；其中，上位机，包括仿真软件单元和第一通信单元；所述仿真软件单元，用于根据预设的仿真时钟频率循环提取预设时间段内的仿真激励数据以及接收并显示所述FPGA板卡反馈的仿真结果数据；所述第一通信单元，用于将所述仿真激励数据发送给所述FPGA板卡，以及接收所述FPGA板卡基于所述仿真激励数据反馈的仿真结果数据；FPGA板卡，与所述仿真软件单元连接，用于装载被测FPGA设计工程，并根据所述仿真激励数据进行仿真运算得到所述仿真结果数据。本申请解决了现有技术中仿真测试的效率较低的技术问题。