一种微处理器锁机制的指令级校验方法

发明专利有效专利

申请号：
CN201910858612.7
IPC分类号：G06F11/263;G06F11/273
申请日期：
2019-09-11
申请人：
上海高性能集成电路设计中心

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种微处理器锁机制的指令级校验方法
申请号	CN201910858612.7	申请日期	2019-09-11
法律状态	实质审查	申报国家	中国
公开/公告日	2020-01-07	公开/公告号	CN110659172A
优先权	暂无	优先权号	暂无
主分类号	G06F11/263 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/22 在准备运算或者在空闲时间期间内，通过测试作故障硬件的检测或定位〔3，2006.01〕 G06F11/26 功能检验〔3〕 G06F11/263 检验输入的产生，例如，检验向量、模或数列〔6〕	IPC分类号	G;0;6;F;1;1;/;2;6;3;;;G;0;6;F;1;1;/;2;7;3查看分类表>
申请人	上海高性能集成电路设计中心	申请人地址	上海市浦东新区张江高科园区毕升路399号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	上海高性能集成电路设计中心	当前权利人	上海高性能集成电路设计中心
发明人	胡向东;喻文星;李岱峰;覃广桂;胡云鹤
代理机构	上海泰能知识产权代理事务所	代理人	宋缨;钱文斌

摘要

本发明涉及一种微处理器锁机制的指令级校验方法，包括以下步骤：在参考模型中对锁机制进行完整建模，得到锁机制模型；为所述参考模型的每个核心单独设置一套锁同步模块，所述锁同步模块用于保存与锁相关的数据；在测试平台中，为待测设计的每个核心设置一套锁监测状态机，所述锁监测状态机用于抓取可信的与锁相关的数据，并将所述可信的与锁相关的数据实时同步给所述参考模型中的锁同步模块；所述参考模型在运行包含锁测试的激励时，在自身锁机制模型和锁同步模块的共同作用下，得出每一条指令的执行结果，并将所述执行结果与所述待测设计的结果进行对比分析，完成校验。本发明能够提高验证速度和验证效果。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供