-
公开(公告)号：CN115421865A
公开(公告)日：2022-12-02
申请号：CN202211114627.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。
-
公开(公告)号：CN109086202B
公开(公告)日：2021-05-14
申请号：CN201810796986.6
申请日：2018-07-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于关联规则的FPGA/IP核代码规则检查方法，涉及FPGA/IP核验证技术领域。本发明的方法效率高、自动化程度高。测试人员在使用代码规则检查工具针对代码完成初步的规则检查，得到违反工具内部语法规则的检查结果之后，即可利用自动化的数据分析脚本与关联规则进行匹配，对检查结果进行分析，给出代码存在缺陷情况的判断，而不需要人工对每一条工具结果进行详细的分析、判断。本发明的方法可靠性好。代码规则检查过程依赖于代码规则检查工具以及已确认的代码缺陷数据，仅在最后一步经过测试人员的人工确认，尽可能避免引入人为操作，有效减少了因测试人员水平有限、精力不足等人为因素导致的缺陷误报、漏报情况，得到更可靠的代码规则检查结果。
-
公开(公告)号：CN110569629A
公开(公告)日：2019-12-13
申请号：CN201910853284.1
申请日：2019-09-10
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明提出了一种二进制代码文件溯源方法，该方法通过反汇编生成汇编代码，然后基于汇编指令生成二进制文件的Simhash特征值，最后结合倒排索引方法和Simhash汉明距离计算，实现二进制代码文件相似性比对，并最终完成二进制代码文件溯源。该方法具有较好的时间和空间复杂度，能够满足在海量代码库中进行二进制代码文件快速溯源分析的要求，具有较高的准确率和召回率。
-
公开(公告)号：CN106802848B
公开(公告)日：2019-06-18
申请号：CN201611187712.4
申请日：2016-12-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/26
Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。
-
公开(公告)号：CN106293641B
公开(公告)日：2018-12-25
申请号：CN201610601844.0
申请日：2016-07-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法，其中，包括：第一步：E3节拍模拟；第二步：E2节拍模拟；第三步：E1节拍模拟；第四步：DC节拍模拟；第五步：DP节拍模拟；第六步：PR节拍模拟；第七步：PW节拍模拟；第八步：PS节拍模拟；第九步：PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法，对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析，基于延迟槽结构的流水线推进，能够实现VLIW体系结构流水线的模拟和精确的周期计算，为设备时钟精确的仿真模型提供理论依据和具体实现方法。
-
Patent Agency Ranking
公开(公告)号：CN120066525A
公开(公告)日：2025-05-30
申请号：CN202510237283.X
申请日：2025-03-02
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种支持模型仿真的同步数据流语言翻译方法，属于代码生成领域。本发明在同步数据流翻译过程中对函数的输入输出结构进行修改，生成包含局部变量的上下文结构体，并对上下文结构体生成初始化函数。通过上述步骤，生成的代码能够实现对模型单个时钟周期内局部变量值的追踪，并提供输入输出变量的初始化功能。与传统方法生成的代码相比，本发明生成的代码能够在进行模型仿真时具备更高的便利性与可靠性。
-
公开(公告)号：CN120045806A
公开(公告)日：2025-05-27
申请号：CN202411952612.0
申请日：2024-12-27
Applicant: 北京计算机技术及应用研究所
IPC: G06F16/958 , G06F8/36
Abstract: 本发明涉及一种基于模板化的高可扩展门户系统，属于计算机软件领域。本发明的系统包括：存储模块、管理模块、设计模块和展示模块；存储模块：为上层管理模块提供基础的数据存储服务和缓存支撑；管理模块：依赖底层的存储服务，提供模板数据模型、样式模板管理、数据源管理、页面管理、业务组件管理功能；设计模块：包括模板设计模块和页面设计模块；展示模块：获取已设计好的门户页面，并通过浏览器渲染和展示。本发明提供了更加灵活、清晰的分层结构，实现了业务组件、样式模板、业务数据3者之间的解耦，支持灵活的自定义配置和组合，满足高可扩展性。
-
公开(公告)号：CN120029667A
公开(公告)日：2025-05-23
申请号：CN202510187569.1
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于PEG的AADL代码到图形多层次转换方法，属于嵌入式系统架构建模与分析领域。本发明定义PEG语法规则。该语法规则能够精确描述AADL语言的基本元素、递归结构以及语法优先级；构建AADL代码解析器；基于定义的PEG语法规则构建解析器，该解析器能够逐层解析AADL代码，识别各个设计元素，并在解析过程中捕获并反馈语法语义问题；生成多层次抽象语法树AST。AST能够明确表达AADL的节点构造、层次嵌套、属性映射以及元素关系。第四步，将多层次抽象语法树AST转换为图形化表达。通过图形化的方式，系统架构的各个层级被直观呈现。本发明能够清晰地呈现出不同设计元素之间的层次关系，便于设计人员和开发人员进行分析、理解和修改。
-
公开(公告)号：CN120010859A
公开(公告)日：2025-05-16
申请号：CN202510183346.8
申请日：2025-02-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41
Abstract: 本发明涉及一种基于Antlr的同步数据流模型语言解析方法，属于基于模型的软件开发工具领域。本发明可针对扩展标准同步数据流语言Lustre V6进行解析，并生成所需的抽象语法树，为后续对模型进行静态分析和形式化验证等功能提供基础。首先，需要对模型语言的特性进行分析，在标准Lustre V6文法规则上进行扩展，形成新的模型语言OnModel；根据扩展的文法规则实现OnModel对应的巴克斯范式，并基于Antlr构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN119854188A
公开(公告)日：2025-04-18
申请号：CN202411808006.1
申请日：2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: H04L43/50 , H04L69/165 , G06F11/3668
Abstract: 本发明涉及一种面向TCP和UDP通讯的接口自动化测试装置，属于接口测试技术领域。该方法通过仿真设备替代外部通讯设备或对象，为被测设备或软件提供输入数据，同时接收设备或软件输出数据，并根据输出数据进行实时自动应答，保证设备或软件通讯过程连续性；通过测试驱动器，集中管理外部仿真设备，并按照业务流程测试调度仿真设备，协同完成设备或软件接口自动化测试。
-
-
-
-
-
-
-
-
-
Search Results
61
records
(took 0.051 seconds)
