Ashok B. Mehta (auth.) - SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer International Publishing 非常好的学习验证的中文资料,尤其是assertion 。极力推荐。
2021-08-13 15:50:57 47.01MB SVA 断言验证 覆盖率 验证
1
中文版清华出版的A-Practical-Guide-for-SystemVerilog-Assertions,学习systemverilog断言的经典书籍
2021-08-13 10:26:16 3.61MB systemverilo assertion 断言 验证
1