基于SystemVerilog的图像缩放IP验证平台的研究与实现

摘要

在整个半导体行业蓬勃发展的背景下，集成电路的设计规模进一步扩大。因此近年来SOC芯片开始广泛应用于各行各业。然而在SOC芯片开发过程中，芯片的验证一直占据着整个项目周期的70％左右。传统的验证方法已经不能满足目前芯片验证中所遇到的许多问题。以先进的验证理论为基础的高效的验证方法，成为芯片功能验证的重要保障。
　　本文所研究的内容，是中国某知名电器公司的数字电视SOC芯片开发项目的一部分，即对其内部图像缩放IP的RTL代码进行全面的功能验证。从而确保图像缩放IP的设计完全满足设计规范，并实现所提出的功能要求。
　　文中首先回顾了验证方法学的发展史，并指出芯片验证所面临的挑战。而后对现今芯片验证方法学的原理进行了细致的研究，并引入了一些重要的验证概念，例如随机化，覆盖率，分层结构等。为后文奠定了扎实的理论基础。
　　图像缩放IP是数字电视SOC芯片中的一个重要的模块。主要实现了对图像的横向和纵向放大，缩小处理功能。文中根据图像缩放IP的设计要求，进行功能点分析，从而制定出详细的验证策略。之后根据制定的验证策略和测试点，以层次化，可重用，易维护为原则，并使用先进的随机约束，参考模型，代码覆盖率和功能覆盖率等先进的验证技术为手段。用SystemVerilog语言对整个验证平台进行设计和搭建，并对整个验证流程和验证环境进行详细的阐述。
　　最后，本文对整个验证平台和验证结果进行了分析，确保了图像缩放IP验证的有效性和正确性。此外，文中所搭建的验证平台可以方便的复用于系统级验证，并可作为相关项目的参考平台。

目录

封面

声明

中文摘要

英文摘要

目录

1绪论

1.1课题背景和意义

1.2 研究现状

1.3本文研究的主要内容与章节安排

2功能验证概述及方法

2.1. 功能验证概述

2.2 功能验证方法及原理

2.3 本章小结

3.数字电视SOC芯片图像缩放IP的结构与分析

3.1 数字电视SOC芯片中图像缩放模块的结构

3.2 验证规划

3.3 本章小结

4. Scaler模块验证平台的实现

4.1 接口组件(Interface)

4.2 参考模型(Reference Module)

4.3 事务发生器(Generator)

4.4 驱动组件(Driver)

4.5 监视器组件(Monitor)

4.6 计分板组件(Scoreboard)

4.7 验证环境(Environment)

4.8 测试向量(Testcase)

4.9本章小结

5. 验证环境的调试及仿真

5.1 验证环境的构建

5.2 验证结果及仿真

5.3 验证平台分析

5.4 本章小结

6 展望与总结

6.1 全文总结

6.2 展望

参考文献

致谢

个人简历

发表的学术论文