Proving or disproving design properties exhaustively with tools such as JasperGold or VC Formal: writing properties and constraints, managing state-space explosion through abstraction and case splitting, distinguishing a bounded from a full proof, and applying formal apps for connectivity, register and X-propagation checks.
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 in a formal verification role under an experienced formal engineer, on top of SVA fluency; the abstraction craft takes a year or more of real proofs.
Register version 1.