莫里斯文轩莱蒂马诺
集成电路芯片验证入门指南
验证形式化工具包电路设计
清华大学出版社电路设计SystemVerilog9787302635079
清华大学出版社电路设计SYSTEMVERILOG9787302635079
设计硬件设计时序功耗
克里斯科学出版社张春斯皮尔
硬件设计SystemVerilog验证设计
科学出版社孙健硬件设计设计
克里斯科学出版社斯皮尔测试
SYSTEMVERILOGASSERTIONS正版指南
格雷格布斯克里斯张春
科学出版社测试新华软件工程
科学出版社张春测试SystemVerilog
电路设计清华大学出版社数字SystemVerilog
断言修订版SystemVerilog手册
SystemVerilog软件断言微电子
科恩科学出版社断言SystemVerilog
科学出版社孙健断言修订版
科恩科学出版社断言修订版
科恩科学出版社孙健浩然
痛点验证断言修订版