微处理器流水线内部信号的断言验证

摘要：

传统的验证方法通常是对设计打入相应的激励,并观察输出波形是否满足预期,这样的验证方法可观察性低,并且不能保证验证的完备性.本论文主要研究基于OVL的断言验证,将断言技术与微处理器流水线验证相结合,在RTL中插入断言监视器来监测微处理器流水线的内部关键信号是否满足预期.使用断言技术与动态仿真相结合,最后结果表明本论文采用的验证技术可以大大的提高验证效率,保证验证的真实性和可靠性.

关键词： 微处理器 流水线 内部信号 断言验证

作者: 焦芳 严伟 张玥 严韫瑶

作者单位: 软件与微电子学院,北京大学,北京,100871

会议类型: 国内会议

会议名称: 2016年上海市研究生学术论坛——电子科学与技术

会议地点: 上海

会议语种:中文

页码: 291-294

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