SystemVerilog Assertions (SVA) with Xilinx Vivado 2020.1
🌟 推荐使用 Xilinx Vivado 2020.1 学习 SystemVerilog Assertions (SVA)。这一功能强大的工具可用于实现 ASIC 和 FPGA 的验证，帮助您更轻松地完成设计验证。👨‍💻

课程地址：https://xueshu.fun/1490
演示地址：https://www.udemy.com/course/systemverilog-assertions-sva-with-xilinx-vivado-20201/

课程内容

，您将学习如何使用 Xilinx Vivado Design Suite 2020 中的 System Verilog 断言，根据 LRM 1800 2017 对 System Verilog 断言的见解，以及布尔运算符、序列运算符和属性运算符的使用。您将了解并发和立即断言的力量，深入了解系统任务和采样边功能，并学习在并发断言中使用局部变量和即时断言在数字系统中的应用。此外，您将探索断言在FSM中的应用，以及在 SystemVerilog TB 中使用断言。

本课程包括19小时点播视频、67篇文章、2个练习测试、终身访问权限以及在手机和电视上的访问权限。要求您对Verilog有基本的理解。

在设计验证中使用断言是验证RTL行为的常见方法。与基于 Verilog 的行为检查相比，使用 SV 断言的主要优势是复杂序列的简单实现。SystemVerilog 断言的运算符集有限，但选择特定的运算符以满足设计规范需要多年的经验。在这个课程中，您将学习如何使用断言来快速跟踪错误，提高验证效率。