论文部分内容阅读
在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题，但存在难以定位错误的缺点，在本文中把断言技术运用在基于约束的随机测试层次化（rvm）设计平台中。通过实时监控待验证的模块的接口信号，增强了debug能力；减小了验证工作量，并且以nandflash接口模块为例，用实际的验证表明可以缩短验证的时间，加快验证的进度。