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