|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/verification-series-8-code-coverage-with-vivado-20241/
课程评论：没有评论
课程名称：验证系列8：使用Vivado 2024.1进行代码覆盖 课程概述：在现代数字设计验证中，代码覆盖在确保基于仿真的测试质量和完整性方面发挥着至关重要的作用。这在航空航天和航空电子等安全关键和受监管行业中尤为重要，因为验证必须满足严格的合规标准，如DO-254。DO-254要求硬件设计经过严格的验证过程，而代码覆盖则是证明所有RTL部分都已被测试的重要指标。这有助于识别设计中未进行测试的部分，确保在仿真期间没有功能被忽视。 本课程深入探讨了使用Vivado进行代码覆盖的各个方面，强调实践学习。内容涵盖了覆盖工作流程的每一个关键部分，包括了解代码覆盖的目的和类型、在Vivado中生成和分析覆盖报告。课程还阐明了代码覆盖、功能覆盖和断言之间的区别，帮助学习者理解这些元素如何在全面的验证策略中相互补充。 学习者将探索五种主要类型的代码覆盖：语句覆盖（检查仿真期间每一行代码是否已执行）、分支覆盖（确保所有控制流分支都已采用）、条件覆盖（验证决策语句中的每个布尔条件）、切换覆盖（跟踪信号的转换以确认全面活动）、以及有限状态机（FSM）覆盖（确保状态机中的所有状态和转换都被执行）。 通过逐步演示，学生将学习如何设计测试平台、编写RTL代码、使用Vivado进行仿真并解读覆盖结果。课程80%专注于代码和流程演示，12%涵盖理论基础，8%涉及自我检查作业，以增强逻辑推理和理解能力。 完成本课程后，学习者将不仅理解代码覆盖背后的理论，还将获得使用Vivado在实际验证环境中实现覆盖闭合的实践经验，特别适合在遵循合规标准如DO-254的专业人士。
In modern digital design verification, code coverage plays a critical role in ensuring the quality and completeness of simulation-based testing. It is especially significant in safety-critical and regulated industries such as aerospace and avionics, where verification must meet strict compliance standards like DO-254. DO-254 mandates that hardware designs undergo rigorous verification processes, and code coverage is a key metric to demonstrate that all parts of the RTL have been exercised and tested. This helps identify untested portions of the design, ensuring that no functionality is left unchecked during simulation.This course offers an in-depth exploration of code coverage using Vivado, with a strong emphasis on practical learning. It covers every essential aspect of the coverage workflow-from understanding the purpose and types of code coverage to generating and analyzing coverage reports in Vivado. The course clarifies the differences between code coverage, functional coverage, and assertions, helping learners understand how these elements complement each other in a comprehensive verification strategy.Learners will explore five main types of code coverage: Statement Coverage, which checks whether each line of code has been executed during simulation; Branch Coverage, which ensures all control flow branches have been taken; Condition Coverage, which verifies each boolean condition within decision statements; Toggle Coverage, which tracks the transitions of signals to confirm full activity; and FSM (Finite State Machine) Coverage, which ensures all states and transitions in a state machine are exercised.Through step-by-step demonstrations, students will learn how to design testbenches, write RTL code, simulate with Vivado, and interpret coverage results. 80% of the course is focused on code and flow demonstrations, 12% covers the theoretical foundations, and 8% involves self-check assignments to reinforce logical reasoning and understanding.By the end of this course, learners will not only understand the theory behind code coverage but also gain practical experience using Vivado to achieve coverage closure in real-world verification environments, making it ideal for professionals working under compliance-driven standards like DO-254.
