1
The Power of Assertions in SystemVerilog [E-Book] /
Other Personal Name(s): ...Cerny, Eduard....

Full text 
2
Verification Methodology Manual for SystemVerilog [E-Book] /