Verification Series 8 : Code Coverage with Vivado 2024.1

Step by Step Guide from Scratch

What you'll learn
- Code Coverage flow in Vivado
- Essentials of Statement, Branch, Toggle & Condition Coverage
- FSM Covereage with bins & transition bins
- Reading Coverage reports

Requirements
- Fundamentals of Digital Electronics and Verilog

Description
In modern digital design verification,code coverageplays a critical role in ensuring the quality and completeness of simulation-based testing. It is especially significant in safety-critical and regulated industries such asaerospace and avionics, where verification must meet strict compliance standards likeDO-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 ofcode 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 betweencode coverage,functional coverage, andassertions, 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; andFSM (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, and8% involves self-check assignmentsto 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.

Who this course is for:
- This course is for anyone interested in learning about code coverage in the verification of RTL designs.
More Info