[发明专利]处理器验证系统及基于处理器验证系统的处理器验证方法有效
| 申请号： | 201711063415.3 | 申请日： | 2017-11-02 |
| 公开（公告）号： | CN109753415B | 公开（公告）日： | 2022-06-24 |
| 发明（设计）人： | 赵炎;赵彬广;陈达轶;郭鑫;余红斌 | 申请（专利权）人： | 展讯通信（上海）有限公司 |
| 主分类号： | G06F11/34 | 分类号： | G06F11/34;G06F11/22 |
| 代理公司： | 北京兰亭信通知识产权代理有限公司 11667 | 代理人： | 赵永刚 |
| 地址： | 201203 上海市浦东新区浦东*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种处理器验证系统及基于处理器验证系统的处理器验证方法，该系统包括仿真系统，用于接收待测程序，并进行仿真；参考模型，用于接收待测程序；检查点管理器，用于保存和恢复仿真系统的仿真状态；监视器，用于监测仿真系统的仿真状态，并在仿真系统的仿真状态满足预设条件时，启动检查点管理器，以使检查点管理器保存和恢复仿真系统的仿真状态；比较器，用于将仿真系统的仿真状态的值和参考模型产生的仿真期望值进行比较。在处理器出现异步中断时，通过启动检查点管理器，对当前异步中断的状态进行保存，并恢复仿真系统的仿真状态，以方便参考模型期望值的比对，在提高处理器功能验证的效率的同时，也完成了对处理器功能的完整验证。 | ||
| 搜索关键词： | 处理器 验证 系统 基于 方法 | ||
【主权项】：
1.一种处理器验证系统，其特征在于，包括：仿真系统、参考模型、检查点管理器、监视器和比较器；所述仿真系统，用于接收待测程序，并进行仿真；所述参考模型，用于接收待测程序；所述检查点管理器，用于保存和恢复所述仿真系统的仿真状态；所述监视器，用于监测所述仿真系统的仿真状态，并在所述仿真系统的仿真状态满足预设条件时，启动所述检查点管理器，以使所述检查点管理器保存和恢复所述仿真系统的仿真状态；所述比较器，用于将所述仿真系统的仿真状态的值和所述参考模型产生的仿真期望值进行比较。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于展讯通信（上海）有限公司，未经展讯通信（上海）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711063415.3/，转载请声明来源钻瓜专利网。
