SystemVerilog Assertion 理论和实践视频教程

启芯学堂 – SystemVerilog Assertion 理论和实践

课程简介

SystemVerilog Assertion是针对数字电路设计和验证技术初/中级学员的课程，是数字电路设计和验证工程师必须掌握的一项ASIC/SoC设计验证技能。该课程不仅是对SystemVerilog Assertion的语法描述，更重要的是对SystemVerilog Assertion技术的理论和用法的归纳，总结和升华，通过SystemVerilog Assertion课程的学习可以快速成为一名合格的IC设计和验证工程师，构建基于SystemVerilog Assertion的RTL设计和验证平台，熟练掌握Assertion语义语法，进而为掌握IC高级设计和验证技术打下坚实的基础。

开课时间

课程时长

课程对象

本课程适合于使用SystemVerilog Assertion进行科研和ASIC设计和验证的具有初/中级水平的学生和工程师，也适合于有志于从事ASIC设计和验证工作，期望进入ASIC设计和验证领域的相关人员。参加学习的学员需要具有数字电路的基础知识并掌握数字逻辑仿真技术，即可完成本课程的学习。

课程费用

299元

课程资料

授课方式

课程讲师

kinglin

课程大纲

1. SystemVerilog Assertion Methodology
2. SystemVerilog Assertion Type
3. SystemVerilog Assertion Checker Library and AIP
4. SystemVerilog Assertion Syntax
5. SystemVerilog Assertion Debugging
6. SystemVerilog Assertion Pattern

7.  SystemVerilog Assertion Plan

8. SystemVerilog Assertion Coverage
9. SystemVerilog Assertion with VHDL

实验大纲

Lab1. Assertion in interface and program

Lab2: Assertion in module and binded with RTL design

Lab3: Assertion debugging with DVE

Lab4: Assertion in testbench

视频教程

课程交流