You'll be able to: Build SystemVerilog testbenches, write SVA assertions, and apply coverage-driven verification.
Who Can Apply?
See why SV extends Verilog for verification.
Use enums, structs and dynamic/associative arrays.
Encapsulate connectivity with interfaces.
Build testbench components with OOP.
Generate constrained-random stimulus.
Define covergroups and measure coverage.
Assemble a layered testbench.
Coordinate concurrent testbench threads.
Write immediate assertions to check behaviour.
Write concurrent SVA sequences.
Build properties with implication operators.
Use assertions for coverage and debug.