验证形式化工具包电路设计
格雷格布斯克里斯张春
科学出版社张春测试SystemVerilog
克里斯科学出版社斯皮尔测试
验证指南技术指南systemverilog
科学出版社测试新华软件工程
验证systemverilog视界漫游
硬件设计SystemVerilog验证设计
科学出版社孙健硬件设计设计
SystemVerilog科学出版社验证硬件设计
SystemVerilog硬件设计建模验证
验证芯片本图锦囊
李建文形式化设计工具包
SystemVerilog科学出版社建模平装
莫里斯莱蒂马诺迈克尔
萨瑟兰斯图尔特SystemVerilog建模
清华大学出版社电路设计新华书店SystemVerilog
克里斯科学出版社张春斯皮尔
清华大学出版社电路设计SYSTEMVERILOG9787302635079
清华大学出版社电路设计SystemVerilog9787302635079
电路设计清华大学出版社数字SystemVerilog
验证SystemVerilog视界漫游