基于参考模型的微处理器验证方法

摘要：

本文论述了基于参考模型的微处理器验证方法。基于参考模型的微处理器验证方法,通过对设计和参考模型的状态进行实时或后处理比较来发现问题,能够有效地提高验证深度和错误定位速度,是微处理器功能验证的重要手段,在某微处理器的RTL级验证中取得了良好的验证效果。

关键词： 微处理器 参考模型 模拟验证 验证深度

作者: 巨鹏锦

作者单位: 国家高性能集成电路(上海)设计中心,上海,201203

会议类型: 国内会议

会议名称: 2006中国计算机学会体系结构专委会学术年会

会议地点: 成都

会议语种:中文

页码: 165-168,212

在线出版日期: 2006-08-17（万方平台首次上网日期，不代表论文的发表时间）