包含SystemVerilog的图书SystemVerilog for Verification（第3版）以及最新版IEEE标准；SystemVerilog Assertions的图书A Practical Guide for SystemVerilog Assertions；UVM1.2源码、官方手册、最新版IEEE标准以及图书A practical guide to adopting the universal verfication methodology(UVM)。

一份非常好的 SVA 资料，详细介绍怎样写出好的 assertion。资料的最后部分以 sync_fifo 为例子，详细介绍了 assertion 的写法

 论文分析了步进频率探地雷达距离旁瓣的产生机理及其影响，对传统的线性加权法抑制距离旁瓣效果进行了对比分析，包括时域加权和频域加权，理论和实验结果表明：线性加权法在抑制距离旁瓣的同时容易造成分辨率下降。因此，本文提出基于SVA的步进频率探地雷达距离旁瓣抑制方法，它是一种非线性加权方法，能对时域波形主瓣和旁瓣自适应地选择加权函数，达到保留主瓣抑制旁瓣的目的。仿真结果表明，该方法可以有效地抑制步进频率探地雷达距离旁瓣，旁瓣抑制比提高20 dB，并且具有频谱外推的效果，主瓣展宽仅为5%，相同条件下，采用Hamming窗线性加权则主瓣展宽为50%。

Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny (auth.) - SVA_ The Power of Assertions in SystemVerilog-Springer International Publishing (2015)

SYSTEMVERILOG ASSERTIONS FOR FORMAL VERIFICATION

System-Verilog-Assertions(SVA)-简介,断言，形式验证

Ashok B. Mehta (auth.) - SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer International Publishing 非常好的学习验证的中文资料，尤其是assertion 。极力推荐。

旁瓣抑制中的SVA和超分辨率SUPER-SVA算法的matlab代码.该算法在雷达成像领域应用较为广泛，可以在不损失主瓣性能的条件下，抑制旁瓣幅度。

这本书是为设计和验证工程师准备的。花了一个完整的部分来说明其原因和实用性拥有由设计工程师和宏级编写的微观级别的断言由验证工程师编写的断言。设计师只编写RTL并把它扔给验证工程师检查的日子一去不复返了。

关于SVA方面的经典书籍，有从基本语法到实际例子都很不错。