[发明专利]基于OVL断言的微处理器流水线验证方法在审
| 申请号： | 201610254284.6 | 申请日： | 2016-04-24 |
| 公开（公告）号： | CN105930590A | 公开（公告）日： | 2016-09-07 |
| 发明（设计）人： | 焦芳 | 申请（专利权）人： | 焦芳 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;G06F11/26 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 300112 天津市西*** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于OVL断言的微处理器流水线验证方法，该方法至少包括如下步骤：步骤1：将OVL断言插入于微处理器的5级流水线的RTL中，实时监测其关键信号是否满足预期。步骤2：取指令阶段关键信号验证。步骤3：指令译码阶段关键信号验证。步骤4：指令执行阶段关键信号验证。步骤5：存储器访问阶段关键信号验证。步骤6：结果写回阶段关键信号验证。本发明在微处理器设计流水线的RTL代码中插入OVL断言，并结合动态仿真器实时监测内部信号设计是否满足预期，仿真结束后可以在log里面得到相应的断言报告信息，快速定位到设计的bug所在，极大的提高验证效率，增强验证的透明性和可靠性。 | ||
| 搜索关键词： | 基于 ovl 断言 微处理器 流水线 验证 方法 | ||
【主权项】：
一种基于OVL断言的微处理器流水线验证方法，其特征在于：该方法至少包括如下步骤：步骤1：将OVL断言插入于微处理器的5级流水线的RTL中，实时监测其关键信号是否满足预期；步骤2：取指令阶段关键信号验证；步骤3：指令译码阶段关键信号验证；步骤4：指令执行阶段关键信号验证；步骤5：存储器访问阶段关键信号验证；步骤6：结果写回阶段关键信号验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于焦芳，未经焦芳许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610254284.6/，转载请声明来源钻瓜专利网。
