Systemverilog丛书，目前国内出版的有（以出版时间为序）：

   《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》。

附件列表：

2楼： 《SystemVerilog for Design》（2nd edition）
      《SystemVerilog 硬件设计及建模》（课件）

3楼： 《SystemVerilog for Verification》（2nd edition）

4楼： 《Verification Methodology Manual for SystemVerilog》
      《SystemVerilog验证方法学》

5楼： 《Writing Testbenches Using SystemVerilog》

6楼： 《Hardware Verification With SystemVerilog》
      《Hardware Verification With C++》

7楼： 《高级验证方法学》

8楼： 《Verilog and SystemVerilog Gotchas — 101 Common Coding Errors and How to Avoid Them》

9楼： 《SystemVerilog_3.1a Language Reference Manual》
      《SystemVerilog3.1a语言参考手册》
      《IEEE Standard for SystemVerilog — Unified Hardware Design , Specification , and Verification》（2009）

10楼：《Verification Methodology Manual for Low Power》

11楼：《Digital System Design with SystemVerilog》

12楼：《A Practical Guide for SystemVerilog Assertion》

13楼：《SystemVerilog Assertions Handbook for Formal and Dynamic Verification》
      《SystemVerilog Assertions Handbook for Formal and Dynamic Verification》(2nd edition)(preface)

14楼：《Assertion Based Design》(2nd edition)
      《The Power of Assertions in SystemVerilog》
      《Generating Hardware Assertion Checkers》
      《Creating Assertion-Based IP》

15楼：《Constraint-Based Verification》

16楼：《Step-by-Step Functional Verification with SystemVeriiog and OVM》