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