摘要：随着芯片集成度的发展，芯片性能越来越高，而上市时间越来越短，芯片验证在芯片设计中非常关键并贯穿于整个设计过程，验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法，定义了基于功能点覆盖率驱动的验证流程，利用PSL语言描述断言检查很有效，通过模拟工具检查断言是否成功，从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中，有效地降低了验证工作的复杂度，同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性，同时用覆盖率数据定量评价验证进程，提高了整个设计的效率。

关键词：覆盖率驱动 功能验证 psl systemverilog 

单位：国防科学技术大学计算机学院 湖南长沙410073