单独介绍system verilog中assertion的语法及应用，由浅入深，非常全面地讲述了assertion
2021-06-03 20:09:22
11.41MB
1
这本书是为设计和验证工程师准备的。花了一个完整的部分来说明其原因和实用性拥有由设计工程师和宏级编写的微观级别的断言由验证工程师编写的断言。设计师只编写RTL并把它扔给验证工程师检查的日子一去不复返了。
2021-03-30 17:24:22
22.54MB
1
关于SVA方面的经典书籍，有从基本语法到实际例子都很不错。
2019-12-21 22:17:58
11.3MB
1
关于IC验证中用到的断言和功能覆盖率，结合了方法学和应用的思想，值得一读
2019-12-21 20:27:09
47.01MB
1
SystemVerilog Assertions应用指南中文 +英文 +随书代码，SystemVerilog Assertions应用指南中文 +英文 +随书代码
2019-12-21 19:47:33
23.56MB
1
Ashok B. Mehta (auth.) - SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer International Publishing (2016)
2019-12-21 18:54:02
47.51MB
1