论文部分内容阅读
本文结合处理器芯片实际项目，重点介绍了功能验证环节的工作。文章基于VMM验证平台，利用System Verilog语言自动生成测试激励，采用断言和功能覆盖率相结合的验证方法，实时监测RTL模型运行时的各种信号，自动进行覆盖率统计，通过增加约束实现覆盖率的快速收敛。文章最终给出了基于VMM验证平台进行功能验证的结果，绘制了功能覆盖率上升曲线。