SystemVerilog丛书，目前国内出版的有（以出版时间为序）：_systemverilog for design third edition

   《SystemVerilog Assertions应用指南》,清华大学出版社2006年10月出版。英文原版书名《A Practical Guide for SystemVerilog Assertion》。

   《SystemVerilog验证方法学》,北京航空航天大学出版社2007年5月出版。英文原版书名《Verification Methodology Manual for SystemVerilog》。

   《高级验证方法学》,电子科技大学出版社 2007年8月出版。英文原版书名《The Verification Cookbook》。

   《SystemVerilog 硬件设计及建模》,科学出版社2007年10月出版。英文原版书名《SystemVerilog for Design》（2nd edition）。

   《SystemVerilog验证 -- 测试平台编写指南》,科学出版社2009年9月出版。英文原版书名《SystemVerilog for Verification》(2nd edition)。

   《SystemVerilog与功能验证》，机械工业出版社2010年10月出版。

   《SystemVerilog数字系统设计》,电子工业出版社2011年2月出版。英文原版书名《Digital System Design with SystemVerilog》。