Writing SVA properties, sequences and cover points that express real design intent: interface protocol checks, handshake liveness, arbitration fairness and register access legality, usable both in simulation and as formal targets.
No statement on what tools can do has been recorded for this skill yet.
The Hub knows of no registered course, programme or certification for this skill yet.
Note from the research register: Learned by writing assertions for a block under a DV or formal lead, with the 1800 assertion chapters and vacuity reports as the teaching feedback loop.
Register version 1.