4 books
Sva
The Power of Assertions in SystemVerilog
Verification Methodology Manual for Systemverilog
Hierarchical Annotated Action Diagrams