5 works on record
The power of assertions in SystemVerilog
Berifike shon mesodoroji manyuaru
Hierarchical annotated action diagrams
Verification methodology manual for SystemVerilog
SVA