-
公开(公告)号：CN119847607A
公开(公告)日：2025-04-18
申请号：CN202411781459.X
申请日：2024-12-05
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开一种将指令集构建为离散化三维矩阵的流水线仿真方法。包括：根据处理器的指令集语义，依照执行功能、执行时间、执行属性三个维度，构建出全部指令的离散化三维矩阵模型；解析目标码中指令内容，建立指令内容与所述的离散化三维矩阵模型的对应关系；将目标码指令的离散化三维矩阵模型按照目标码中的指令执行顺序放入指令集运行象限，从而生成三维指令集流水线矩阵，进一步将其依照执行功能与执行时间的关系进行串行化转换；串行化后的指令集流水线是一种按照时间顺序进行单点功能执行的二维序列，执行属性用于辅助完成单点功能仿真，从而完成指令集流水线的仿真。解决了现有模拟器针对高复杂度的指令集流水线难以进行排序的仿真问题。
-
公开(公告)号：CN119088195B
公开(公告)日：2025-03-07
申请号：CN202411561916.4
申请日：2024-11-05
Applicant: 北京轩宇信息技术有限公司
Inventor： 马文姬
IPC: G06F1/3228 , G11C11/417 , G11C29/12 , G11C5/14 , G06F1/3225 , G06F1/3234
Abstract: 本发明公开一种SRAM阵列低功耗控制方法，属于SOC（System on Chip）片上存储技术领域。根据场景需要决定SRAM阵列中哪些组被使用；同时对每组SRAM配置一个Ret模式监测模块进行监测控制；对使用中的每组SRAM，若Ret模式监测模块监测到其计数器达到计数最大值后没有新的访问发起，则将该组SRAM下电，将SRAM置于Ret模式，该组SRAM中数据保持；当新的访问发起时，Ret模式监测模块控制对应的SRAM打开电源、退出Ret模式然后再接收读写操作；对未被使用的每组SRAM直接置Shutdown模式不需要进入Ret模式监测模块进行监测控制。本发明解决大规模SRAM存储阵列中静态（漏电）功耗大的问题。
-
公开(公告)号：CN119441065A
公开(公告)日：2025-02-14
申请号：CN202510036858.1
申请日：2025-01-09
Applicant: 北京轩宇信息技术有限公司
Inventor： 董彦松
IPC: G06F11/3668
Abstract: 本发明公开了一种基于大模型的软件测试方法及系统，涉及软件测试技术领域，包括以下步骤：步骤1：代码审查规则描述，对所需检查的规范进行展开：首先，将代码所需满足的检查规范进行列表，按照思维链，zero‑/few‑shot示例，上下文学习一种或者多种技术的结合，将上述列表中的检查规则根据检查要点和检查步骤描述为模型的推理指令；步骤2：代码切片，对被测软件项目进行结构解析和依赖分析：首先利用代码解析工具将代码按照函数进行切片。该基于大模型的软件测试方法及系统，可对软件评测任务实施便捷的项目管理、自定义配置以及高自动化程度的测试执行，有效提升评测效率。
-
公开(公告)号：CN119150778A
公开(公告)日：2024-12-17
申请号：CN202411251567.6
申请日：2024-09-08
Applicant: 北京轩宇信息技术有限公司
Inventor： 王天夏
IPC: G06F30/343
Abstract: 本发明公开了一种干扰检测FPGA的验证方法，涉及干扰检测处理技术领域，步骤如下：单音干扰：步骤1：单音干扰1~单音干扰N模块：SystemVerilog语言通过设置不同频率控制字，使用DDS生成不同频率的正弦波信号，根据FPGA可接收的中频信号为中心频率，以输入信号带宽范围要求为依据设置正弦信号频率，送给N个单音干扰处理模块；步骤2：N个单音干扰处理模块：选择输入信号带宽范围内的单音信号1~N送给N选一模块。本发明解决了第三方FPGA验证人员不具备实物硬件条件的验证环境问题，解决了验证环境有无的问题，使软环境验证技术成为可能选项，验证效率大为提高。
-
公开(公告)号：CN119025409A
公开(公告)日：2024-11-26
申请号：CN202410966968.3
申请日：2024-07-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36 , G06F18/2415 , G06F18/214
Abstract: 本发明提供了一种中断驱动型程序多变量原子性违反检测方法，包括：以真实航天嵌入式软件为数据库，筛选配有详细文档和带有注释源代码的软件，作为关联变量对识别模型的训练数据集；以共享变量对为对象，通过静态分析对训练数据集中的软件中的共享变量对进行特征提取，构建考虑关联变量对的关联性特征的训练数据集样本；构建学习模型并使用训练数据集样本进行训练，得到一个能够自动识别关联变量对的分类器模型；对待分析源程序进行分析，构建变量对样本作为测试样本；将测试样本输入所述的分类器模型进行关联变量对识别；根据识别的关联变量对得到原子区，分析中断的抢占是否可能破坏原子区，完成多变量原子性违反检测。
-
Patent Agency Ranking
公开(公告)号：CN114817045B
公开(公告)日：2024-10-25
申请号：CN202210472030.7
申请日：2022-04-29
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明涉及一种高效的源代码覆盖率确定方法及系统。该方法在插桩时计算出MC/DC真值表，利用位向量压缩真值表并在采集过程中实时计算真值表覆盖情况，具有精度高、膨胀率低和执行速度快的优点。同时，该方法无需额外的辅助插桩点，也无需频繁I/O和输出大量信息，产生的数据量与现有的执行标记方式相当，从而实现了低膨胀率和快速的精确覆盖率分析。
-
公开(公告)号：CN118276870A
公开(公告)日：2024-07-02
申请号：CN202410296330.3
申请日：2024-03-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 一种用于硬件描述语言代码解析的预处理方法，包括：针对RTL源代码解析后的语法树结构，分析各模块例化的特征信息获取树型数据结构A；访问树型数据结构A层次结构对应的RTL文件解析后的语法树结构，输出参数和赋值表达式结果的树型数据结构B；利用树型数据结构A层次结构对应的RTL文件解析后的语法树结构和树型数据结构B，得到全部信号名、端口名和位宽的树型数据结构表；利用树型数据结构A层次结构对应的RTL文件解析后的语法树结构，输出全部带例化层次的特殊信号信息、各信号层次及连接关系列表。本发明的预处理技术可以大大提高规则函数的开发效率及可靠性。
-
公开(公告)号：CN118112514A
公开(公告)日：2024-05-31
申请号：CN202311788700.7
申请日：2023-12-25
Applicant: 北京轩宇信息技术有限公司
Inventor： 王天夏
Abstract: 本发明公开了一种非线性调频信号旁瓣抑制效果的验证方法，包括以下步骤：步骤一，构建验证系统；步骤二，信号采集与装载；步骤三，去直流分量与合路处理；步骤四，傅里叶变换与域滤波处理；步骤五，频域乘积与傅里叶逆变换处理；步骤六，归一化与可视化处理；所述步骤三中，去直流分量处理具体为：将I、Q路数据分别减去均值；所述步骤三中，合路处理具体为：将I、Q路数据进行叠加合路；本发明提供了基于matlab环境验证NLFM信号旁瓣抑制效果的方法，并提供了相应的软架构，本发明采用软环境进行验证可节省验证成本、提高验证效率，解决了现有依赖实物硬件环境进行验证所造成的操作复杂和验证效率低下的问题。
-
公开(公告)号：CN112380133B
公开(公告)日：2024-05-14
申请号：CN202011314585.6
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种指令集模拟器利用功能库仿真的方法及装置。所述方法包括：获取目标码中需要利用功能库进行仿真的目标码函数名，及所述目标码函数名对应的功能库函数名；调用目标码解析软件对所述目标码进行解析，确定所述目标码函数名对应的目标函数入口地址；根据所述目标码函数名和所述目标函数入口地址，生成函数地址信息对应表，并将所述函数地址信息对应表发送至指令模拟器；通过所述指令模拟器根据所述功能库函数名，利用功能库函数进行仿真，以得到仿真结果。本发明实施例解决了指令集模拟器调试、测试过程中仿真复杂算法效率较低、计算结果精度较差的问题，解决了对于目标码动态调用外部库函数时无法解析的问题。
-
公开(公告)号：CN112363729B
公开(公告)日：2024-05-14
申请号：CN202011322690.4
申请日：2020-11-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种用于静态分析的多编译混合编译的监控方法及装置。所述方法包括：获取待分析程序对应的程序编译日志；根据所述程序编译日志，识别得到编译命令；根据所述编译命令，设计通用的配置文件模型，并将所述程序编译日志映射至所述配置文件模型，得到转换的编译参数；根据编译器类型提取所述待分析程序对应的编译信息。本发明实施例可以实现对多编译器混合编译的项目进行可配置的编译监控。
-
-
-
-
-
-
-
-
-
Search Results
157
records
(took 0.057 seconds)
