《SystemVerilog for Design》Springer 2004年出版，2006年9月第二版。
SystemVerilog for Design(2nd edition).pdf
(2.9 MB)
中文版為《SystemVerilog 硬件設計及建模》，科學出版社2007年10月出版。
SystemVerilog硬件設計及建模（課件）.rar
(145.32 KB)
|
|
《SystemVerilog for verification》, Springer 2006年7月出版，2008年9月第二版。中文版為《SystemVerilog驗證 -- 測試平臺編寫指南》，科學出版社2009年9月出版。
SystemVerilog for Verification(2nd).pdf
(2.49 MB)
|
|
《Verification Methodology Manual for SystemVerilog 》Springer 2005年5月出版。中文版為《SystemVerilog驗證方法學》，北京航空航天大學出版社2007年5月出版。
Verification Methodology Manual for SystemVerilog.pdf
(2.06 MB)
SystemVerilog 驗證方法學.part01.rar
(4.77 MB)
SystemVerilog 驗證方法學.part02.rar
(4.77 MB)
SystemVerilog 驗證方法學.part03.rar
(4.77 MB)
SystemVerilog 驗證方法學.part04.rar
(4.77 MB)
SystemVerilog 驗證方法學.part05.rar
(4.77 MB)
SystemVerilog 驗證方法學.part06.rar
(4.77 MB)
SystemVerilog 驗證方法學.part07.rar
(4.77 MB)
SystemVerilog 驗證方法學.part08.rar
(4.77 MB)
SystemVerilog 驗證方法學.part09.rar
(4.77 MB)
SystemVerilog 驗證方法學.part10.rar
(538.03 KB)
|
|
《Writing Testbenches Using SystemVerilog》Springer 2005年9月出版。作者為VMM的第一作者。
Writing Testbenches using SystemVerilog.pdf
(2.9 MB)
|
|
《Hardware Verification With SystemVerilog》 springer 2007年3月出版。
Hardware Verification with SystemVerilog.pdf
(3.49 MB)
本書作者2006年出版了《Hardware Verification With C++》。
Hardware Verification with C++.pdf
(2.32 MB)
|
|
《高級驗證方法學》電子科技大學出版社 2007年8月出版。作者為mentor資深驗證技術專家，英文版書名為《The Verification Cookbook》，簡稱AVM，2006年12月出版。
高級驗證方法學（中文版）（by mentor）.pdf
(3.34 MB)
|
|
《Verilog and SystemVerilog Gotchas — 101 Common Coding Errors and How to Avoid Them》Spring 2007年9月出版。
Verilog and SystemVerilog Gotchas.pdf
(6.65 MB)
|
|
《SystemVerilog_3.1a Language Reference Manual》2004年5月問世。中文版為《SystemVerilog3.1a語言參考手冊》。
SystemVerilog_3.1a Language Reference Manual.pdf
(4.05 MB)
SystemVerilog 3.1a 語言參考手冊.rar
(2.49 MB)
《IEEE Standard for SystemVerilog — Unified Hardware Design , Specification , and Verification》IEEE 2009年11月出版。
abbr_448df0187461bbeedb796a443d3aea95.rar
(5.79 MB)
|
|
《Verification Methodology Manual for Low Power》2009年3月出版，由synopsys , Renesas Technology和ARM的資深驗證團隊合作完成。
VMM-LP_PDF.pdf
(3.18 MB)
|
|
《Digital System Design with Systemverilog》 prentice hall 2009年10月出版。作者為經典教材《Digital System Design with VHDL》的作者。
Digital System Design with SystemVerilog(draft).pdf
(2.51 MB)
|
|
《A Practical Guide for SystemVerilog Assertion》 ，Springer 2005年4月出版。中文版為《SystemVerilog Assertions應用指南》，清華大學出版社2006年10月出版。附書光盤內容為書中所有代碼。
A Practical Guide for SystemVerilog Assertions.part1.rar
(3.81 MB)
A Practical Guide for SystemVerilog Assertions.part2.rar
(3.81 MB)
A Practical Guide for SystemVerilog Assertions.part3.rar
(2.2 MB)
配書光盤.rar
(3.06 MB)
|
|
《SystemVerilog Assertion Handbook》2005年出版。
SystemVerilog Assertion Handbook.part1.rar
(4.77 MB)
SystemVerilog Assertion Handbook.part2.rar
(4.77 MB)
SystemVerilog Assertion Handbook.part3.rar
(4.77 MB)
SystemVerilog Assertion Handbook.part4.rar
(4.77 MB)
SystemVerilog Assertion Handbook.part5.rar
(1.63 MB)
|
|
《Assertion Based Design》(2nd edition) Kluwer Academic Publishers 2004年出版。
Assertion-Based Design.pdf
(4.71 MB)
|
|
《Step-by-Step Functional Verification with SystemVeriiog and OVM》Hansen Brown Publishing Company 2008年出版
step-by-step functional verification with systemverilog and ovm.part1.rar
(4.77 MB)
step-by-step functional verification with systemverilog and ovm.part2.rar
(4.77 MB)
step-by-step functional verification with systemverilog and ovm.part3.rar
(4.77 MB)
step-by-step functional verification with systemverilog and ovm.part4.rar
(4.77 MB)
step-by-step functional verification with systemverilog and ovm.part5.rar
(4.77 MB)
step-by-step functional verification with systemverilog and ovm.part6.rar
(2.16 MB)
|
|
《Constraint-Based Verification》springer 2006年1月出版。
Constraint-Based Verification.pdf
(2.26 MB)
|
| 謝謝樓主共享，下載學習！ |
| thanks!!! |
| thanks!!! |
|
回復15樓topcircuit： 很好的書呢! 向您說聲謝謝了! |
| 很多有用的書 |
