Xilinx Vivado 2020
SystemVerilog Assertions (SVA) with Xilinx Vivado 2020.1
🌟 推荐使用 Xilinx Vivado 2020.1 学习 SystemVerilog Assertions (SVA)。这一功能强大的工具可用于实现 ASIC 和 FPGA 的验证，帮助您更轻松地完成设计验证。👨💻
课程地址：xueshu.fun/1490
演示地址：www.udemy.com/course/syst…
课程内容
，您将学习如何使用 Xilinx Vivado Design Suite 2020 中的 System Verilog 断言，根据 LRM 1800 2017 对 System Verilog 断言的见解，以及布尔运算符、序列运算符和属性运算符的使用。您将了解并发和立即断言的力量，深入了解系统任务和采样边功能，并学习在并发断言中使用局部变量和即时断言在数字系统中的应用。此外，您将探索断言在FSM中的应用，以及在 SystemVerilog TB 中使用断言。
本课程包括19小时点播视频、67篇文章、2个练习测试、终身访问权限以及在手机和电视上的访问权限。要求您对Verilog有基本的理解。
在设计验证中使用断言是验证RTL行为的常见方法。与基于 Verilog 的行为检查相比，使用 SV 断言的主要优势是复杂序列的简单实现。SystemVerilog 断言的运算符集有限，但选择特定的运算符以满足设计规范需要多年的经验。在这个课程中，您将学习如何使用断言来快速跟踪错误，提高验证效率。
学术Funxueshu.fun/ 持续更新Udemy，Coursera等在线课堂上的视频教程，类别涵盖人工智能、机器学习、编程语言、游戏开发、网络安全、云计算、Linux运维、面试技巧等计算机学科的全部知识。
所有视频教程均包含中英双语字幕、练习源码及配套的补充资料。
