HDL & verification AC-02
Bring structure and visibility to verification. Explore language features for stimulus, interfaces, assertions and coverage, together with object-oriented testbench construction.
Course content
- Data types
- Interfaces
- always_comb, always_latch and always_ff
- Assertions
- Clocking blocks
- Coverage
- Arrays and queues
- DPI
- Classes
- Inheritance
- Polymorphism
- Functional coverage
Learning focus
Choose stimulus, assertions and coverage for a testbench; connect a failing check to a specific transaction.
Applied example
Trace a request/acknowledgement failure, then identify the stimulus and coverage point needed to reproduce it.
Plan this training
Tell us about your team, target platform and learning goals.
Examples illustrate course concepts. Tools, hardware and delivery details are agreed for your training.