龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：焦芳
摘要：本发明公开了一种基于OVL断言的微处理器流水线验证方法，该方法至少包括如下步骤：步骤1：将OVL断言插入于微处理器的5级流水线的RTL中，实时监测其关键信号是否满足预期。步骤2：取指令阶段关键信号验证。步骤3：指令译码阶段关键信号验证。步骤4：指令执行阶段关键信号验证。步骤5：存储器访问阶段关键信号验证。步骤6：结果写回阶段关键信号验证。本发明在微处理器设计流水线的RTL代码中插入OVL断言，并结合动态仿真器实时监测内部信号设计是否满足预期，仿真结束后可以在log里面得到相应的断言报告信息，快速定位到设计的bug所在，极大的提高验证效率，增强验证的透明性和可靠性。
主权项：一种基于OVL断言的微处理器流水线验证方法，其特征在于：该方法至少包括如下步骤：步骤1：将OVL断言插入于微处理器的5级流水线的RTL中，实时监测其关键信号是否满足预期；步骤2：取指令阶段关键信号验证；步骤3：指令译码阶段关键信号验证；步骤4：指令执行阶段关键信号验证；步骤5：存储器访问阶段关键信号验证；步骤6：结果写回阶段关键信号验证。
全文数据：
权利要求：
百度查询： 焦芳 基于OVL断言的微处理器流水线验证方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号