本书包括基于断言的验证,SVA介绍, SVA模拟方法论, SVA在有限状态机中的应用, SVA用于数据集约型(DATAiTENSIVE)的设计, SVA储存器, SVA协议接口,对检验器的检验等内容。