“马擎堃”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果6个，建议您升级VIP下载更多相关专利

[发明专利]一种处理器计算单元的参考模型构建方法及装置-CN201811603788.X有效
发明人：冯春阳;彭琅;张兴革;刘刚;王俊杰;黄晶;张帅;雷水燕;袁良晨;马擎堃 -专利权人：合芯科技（苏州）有限公司
申请日： 2018-12-26 - 公布日： 2023-10-17 - 主分类号： G06F30/20 文献下载
摘要：本发明提供了一种处理器计算单元的参考模型构建方法及装置，该方法包括：获取处理器计算单元的计算功能指令、控制功能及接口功能；根据计算功能指令建立处理器计算单元的计算模型；根据控制功能配置计算模型的控制模型；根据接口功能配置计算模型的模型接口，生成处理器计算单元的参考模型。通过实施本发明，通过对依据实际计算功能指令、控制功能和接口功能所建立的参考模型，所建立的参考模型与真实处理器中的计算单元具有良好的一致性，可以实现对计算单元中所有计算指令的计算过程进行完整模拟验证，进而可以利用该参考模型解决对计算单元功能验证困难的问题。
一种处理器计算单元参考模型构建方法装置

[发明专利]指令发射控制方法、指令执行验证方法、系统及存储介质-CN201811605223.5有效
发明人：彭琅;冯春阳;刘刚;黄晶;王俊杰;张兴革;张帅;马擎堃;雷水燕;袁良晨 -专利权人：上海合芯数字科技有限公司
申请日： 2018-12-26 - 公布日： 2023-09-01 - 主分类号： G06F30/398 文献下载
摘要：本发明提供了一种指令发射控制方法、指令执行验证方法、系统及存储介质，包括：获取正在执行指令的指令周期和当前执行周期，获取待发射指令的指令周期，根据该正在执行指令的指令周期、当前执行周期，和待发射指令的指令周期，控制待发射指令发射。通过实施本发明，在所有待发射指令按符合发射条件的顺序排列的前提下，实时检测待发射指令的指令周期，若发现待发射指令会与正在执行的指令发生写回冲突，则可以先不发射该待发射指令，先发射其他不会与该正在执行的指令发生写回冲突的指令，以此来控制待发射指令发射，避免待发射指令与正在执行指令发生回写冲突，并且也可以提高指令执行的效率。
指令发射控制方法执行验证系统存储介质

[发明专利]一种多核处理器系统的缓存一致性的验证方法及装置-CN202210467692.5在审
发明人： 马擎堃;张克松;陈元 -专利权人：海光信息技术股份有限公司
申请日： 2022-04-29 - 公布日： 2023-05-02 - 主分类号： G06F12/0815 文献下载
摘要：本申请的实施例公开了一种多核处理器系统的缓存一致性的验证方法及装置，涉及多核处理器功能验证技术领域，为能够提高多核处理器系统的缓存一致性的验证效率而发明。所述方法包括：监测第一处理器核心的第一缓存接收或发送的第一请求；监测针对第一请求的第一响应信息；从预设的内存地址与缓存行状态之间的对应关系中，确定第一缓存行的状态；基于第一缓存行的状态、命令类型以及预设的基于缓存一致性协议的状态转移规则，预测第一缓存行的状态；预设的基于缓存一致性协议的状态转移规则与多核处理器系统中使用的缓存一致性状态转移规则一致；将缓存行的当前状态与预测状态比对，确定第一缓存是否符合缓存一致性。本申请验证多核处理器缓存一致性。
一种多核处理器系统缓存一致性验证方法装置

[发明专利]一种芯片验证方法及装置、系统、电子设备、存储介质-CN202210600599.7在审
发明人：李泽辰;马擎堃;陈元 -专利权人：海光信息技术股份有限公司
申请日： 2022-05-30 - 公布日： 2023-05-02 - 主分类号： G06F11/22 文献下载
摘要：本发明实施例公开一种芯片验证方法及装置、系统、电子设备、存储介质，涉及电子设计自动化技术领域，能够在充分发挥硬件验证平台大规模、快速验证优势的同时，便于进行缺陷检测。所述方法基于硬件验证平台，包括：运行待验证芯片的硬件仿真程序；按照预设策略，向软件验证平台发送所述待验证芯片在程序运行中的行为信息和行为结果信息，以使所述软件验证平台根据所述行为信息和所述行为结果信息对所述待验证芯片进行验证复核。本发明适用于各种芯片验证中。
一种芯片验证方法装置系统电子设备存储介质

[发明专利]芯片的验证方法、验证装置以及存储介质-CN202011401225.X在审
发明人：陈元;张克松;马擎堃 -专利权人：海光信息技术股份有限公司
申请日： 2020-12-02 - 公布日： 2021-02-26 - 主分类号： G06F11/22 文献下载
摘要：一种芯片的验证方法、验证装置以及存储介质。该验证方法包括：通过硬件模拟器对所述芯片进行第一阶段测试，其中，所述第一阶段包括至少一个采样周期；通过同步采样器分别提取所述至少一个采样周期的每个的测试结果数据并进行存储，以及从所述同步采样器中导出所述至少一个采样周期的测试结果数据以用于比对从而对所述芯片进行验证。该验证方法可以有助于提高验证效率并缩小校验粒度。
芯片验证方法装置以及存储介质

[发明专利]一种基于FPGA的动目标雷达散射截面测量方法-CN201810003480.5有效
发明人：宗竹林;马擎堃 -专利权人：电子科技大学
申请日： 2018-01-03 - 公布日： 2019-12-27 - 主分类号： G01S7/41 文献下载
摘要：本发明属于无线电测量技术领域，具体的说是涉及一种基于FPGA的动目标雷达散射截面测量方法。本发明提出了一种基于FPGA的动目标雷达散射截面高精度测量的实现方法，在距离域对传统的频域脉冲压缩硬件结构进行改进，提出一种基于缓存的频域脉冲压缩硬件结构，只使用一个乘法器就可以实现背景技术中所述的理论方法，同时在多普勒域提出一种动目标检测与chirp‑z变换结合的新的硬件结构。本发明模块结构清晰，IP核复用度高，硬件结构简单，测量精度高，处理速度快，系统实时性高，系统功耗较低。
硬件结构目标雷达散射截面脉冲压缩频域测量缓存测量精度高动目标检测高精度测量无线电测量系统实时性多普勒模块结构系统功耗乘法器传统的距离域清晰改进