书名：SystemVerilogAssertionsHandbookforFormalandDynamicVerification作者：BenCohen,SrinivasanVenkataramanan,AjeethaKumari,LisaPiper语言：英文版本：第1版感谢genghis网友的搜集整理。