A Practical Guide for SystemVerilog Assertions
单独介绍systemverilog中assertion的语法及应用，由浅入深，非常全面地讲述了assertion
下载地址
用户评论
sv的经典，浅显易懂，同时也非常适合于入门
第一章可以用来入门。
例子比较有难度。when/where/how讲的要少，不知道有没有更好的书.......
不错，英文原版的书，书中介绍的比较有条理，把sva的各个应用都讲了。