SV基础课程是一门面向硬件设计和验证领域的课程,旨在帮助学生掌握SystemVerilog语言的基本概念和特性,以及其在验证中的应用。本课程主要介绍SV中的高级数据类型和数据结构,介绍了面向对象编程,以及SV中的验证功能和方法,如断言、约束、覆盖率等。
第一章 SV简介
1.1 SV 简介
第二章 数据类型
2.1 SV数据类型
2.2 数组
2.3 数组的操作
2.4 结构体_枚举类型_字符串
第三章 过程语句与子程序
3.1 过程语句
3.2 SV子程序
第四章 接口的驱动和采样
4.1 SV的激励时序
4.2 SV的接口
4.3 SV接口的驱动和采样
第五章 面向对象编程
5.1 SV类
5.2 SV 类的成员操作
5.3 SV类的封装和进程
5.4 SV的多态
5.5 SV的多态(实操)
5.6 SV的虚接口
5.7 SV的虚接口(实操)
5.8 SV 包的使用
5.9 SV多线程之间的通信
第六章 随机化
6.1 SV 随机化约束的种类
6.2 SV 随机化约束的种类(实操)
6.3 SV的随机约束控制
6.4 SV的随机约束控制(实操)
6.5 SV 随机化约束的概率
6.6 SV的数组约束
第七章 断言
7.1 SV Assertions断言
第八章 功能覆盖率
8.1 SV的覆盖策略及覆盖组
8.2 SV的覆盖率数据采样
8.3 交叉覆盖率及覆盖选项
第九章 SV中使用DPI
9.1 SV的DPI
第十章 SV语法总结
10.1 SV语法基础总结