|
钻瓜专利网为您找到相关结果 734个,建议您 升级VIP下载更多相关专利
- [发明专利]数据处理方法和装置-CN202311206331.6在审
-
黄钰;高景阳
-
北京中电华大电子设计有限责任公司
-
2023-09-18
-
2023-10-24
-
G06F9/455
- 本申请一个或多个实施例提供一种数据处理方法和装置,所述方法包括:获取待比较的第一二进制文件和第二二进制文件;基于WebAssembly虚拟机规范,分别对所述第一二进制文件和所述第二二进制文件进行解析,以生成与所述第一二进制文件对应的第一树状结构,以及与所述第二二进制文件对应的第二树状结构;其中,树状结构中的节点包含WebAssembly二进制文件中的单元数据;将所述第一树状结构与所述第二树状结构进行比较,以确定所述第一树状结构和所述第二树状结构中的差异节点;在可视化界面中,针对所述第一树状结构、所述第二树状结构和所述差异节点进行输出。
- 数据处理方法装置
- [发明专利]一种复杂算法的测试激励生成器及其控制方法-CN201910925904.8有效
-
何宁宁;刘戬
-
北京中电华大电子设计有限责任公司
-
2019-09-27
-
2023-10-13
-
G06F30/398
- 本发明涉及一种复杂算法的测试激励生成器及其控制方法,其包括:固定向量生成模块、随机向量生成模块、特殊向量生成模块、时序监测模块、验证方案输入接口模块、时序信号输入接口模块和测试激励输出接口模块;固定向量生成模块产生寄存器复位读写属性等激励,随机向量生成模块产生受约束的随机化激励;特殊向量生成模块产生无法采用SystemVerilog随机化命令生成的特殊激励;测试激励生成器通过验证方案输入接口模块获取控制信号,分别控制不同的向量生成模块生成相应的测试激励,通过测试激励输出接口模块输出测试激励;测试激励生成器通过来自时序信号输入接口模块获取控制信号,控制所输出的测试激励的加载及验证启动;时序监测模块通过时序信号输入接口模块监测复杂算法验证系统的状态信息。本发明适用于纯硬件或软硬协同实现的复杂算法的测试激励生成,可以有效提高复杂算法验证的质量和效率。
- 一种复杂算法测试激励生成器及其控制方法
- [发明专利]数据处理方法和装置-CN202310961363.0有效
-
王森;高景阳
-
北京中电华大电子设计有限责任公司
-
2023-08-01
-
2023-09-26
-
G06F3/06
- 本申请一个或多个实施例提供一种数据处理方法和装置,应用于电子设备上搭载的WebAssembly虚拟机;电子设备上还搭载了NVM和RAM;该方法包括:从NVM中加载与任一程序模块的程序代码对应的WebAssembly二进制文件,从该二进制文件中确定出内存数据总量;从该二进制文件中确定出至少一个内存数据片段,以及各个内存数据片段的数据属性;基于数据属性从至少一个内存数据片段中确定出只读数据片段,并确定只读数据片段的数据量之和;将内存数据总量与只读数据片段的数据量之和的差值确定为全局数据量,以在执行程序模块时按照全局数据量在RAM中创建存储空间,并将只读数据片段保持存储在NVM中。
- 数据处理方法装置
- [发明专利]一种应用调用的方法及装置-CN202310962898.X有效
-
刘宏梅;高景阳
-
北京中电华大电子设计有限责任公司
-
2023-08-01
-
2023-09-22
-
G06F9/448
- 本说明书公开了一种应用调用的方法及装置。首先,获取目标应用模块的应用代码对应的WebAssembly字节码。其次,从全局线性内存空间中为目标应用模块分配线性内存子空间,将应用代码中的各变量存放到线性内存子空间。而后,在目标应用模块调用其他应用模块的目标函数的过程中,将目标应用模块的参数存放到虚拟机栈。读取虚拟机栈中的参数输入给目标函数,若确定参数为线性内存子空间的偏移量,则按照线性内存子空间的偏移量,从线性内存子空间中读取与参数对应的变量的取值。最后,根据与参数对应的变量的取值,执行针对目标函数的函数调用。本方法可以在各应用模块之间传递正确的参数,并降低内存资源的消耗。
- 一种应用调用方法装置
- [发明专利]数据处理方法和装置-CN202311064524.2在审
-
刘宏梅;高景阳
-
北京中电华大电子设计有限责任公司
-
2023-08-22
-
2023-09-15
-
G06F9/455
- 本申请一个或多个实施例提供一种数据处理方法和装置,该方法包括:基于WebAssembly应用模块创建第一应用实例,为第一应用实例中的数据分配第一安全存储空间中的第一存储子空间,并为第一存储子空间设置第一访问控制属性;在虚拟机中执行第一应用实例,为第一应用实例中的变量分配第一安全存储空间中的第二存储子空间,并为第二存储子空间设置第一访问控制属性,以及将虚拟机对应的访问控制属性更新为第一访问控制属性;在虚拟机中响应于针对第二安全存储空间的访问操作,确定第一访问控制属性与第二安全存储空间的第二访问控制属性是否相关联,如果第一访问控制属性与第二访问控制属性相关联,执行访问操作。
- 数据处理方法装置
|