【下载】SystemVerilog专辑

genghis

    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》（3rd 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》
      《SystemVerilog与功能验证》


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》
      《A Practical Guide to Adopting the Universal Verification Methodology》

genghis

    《SystemVerilog for Design》Springer 2004年出版，2006年9月第二版。中文版为《SystemVerilog 硬件设计及建模》，科学出版社2007年10月出版。

genghis

《SystemVerilog for verification》, Springer 2006年7月出版，2008年9月第二版，2011年9月第三版。中文版为《SystemVerilog验证 -- 测试平台编写指南》，科学出版社2009年9月出版。

genghis

《Verification Methodology Manual for SystemVerilog 》Springer 2005年5月出版。中文版为《SystemVerilog验证方法学》，北京航空航天大学出版社2007年5月出版。

        

genghis

《Writing Testbenches Using SystemVerilog》Springer 2005年9月出版。作者为VMM的第一作者。



[ 本帖最后由 genghis 于 2008-1-3 16:56 编辑 ]

genghis

《Hardware Verification With SystemVerilog》 springer 2007年3月出版。本书作者2006年出版了《Hardware Verification With C++》。

genghis

《高级验证方法学》电子科技大学出版社 2007年8月出版。作者为mentor资深验证技术专家，英文版书名为《The Verification Cookbook》，简称AVM，2006年12月出版。


[ 本帖最后由 genghis 于 2007-12-31 01:22 编辑 ]

genghis

《Verilog and SystemVerilog Gotchas — 101 Common Coding Errors and How to Avoid Them》Spring 2007年9月出版。
《SystemVerilog与功能验证》机械工业出版社2010年10月出版。

genghis

《SystemVerilog_3.1a Language Reference Manual》2004年5月问世。中文版为《SystemVerilog3.1a语言参考手册》。
《IEEE Standard for SystemVerilog — Unified Hardware Design , Specification , and Verification》IEEE 2009年11月出版。

genghis

《Verification Methodology Manual for Low Power》2009年3月出版，由synopsys , Renesas Technology和ARM的资深验证团队合作完成。