提供六本SystemVerilog相关书籍，与
验证十二件套有些交集。
: c6 [% X5 B4 F
" k9 |) o3 _, Z3 J; r# V1 IEEE1800-2005 IEEE Standard for SystemVerilog
0 E7 b7 ^ o' w+ k
- V1 L/ s% l( j3 V" K2 |' K, Y; B
0 ^4 i9 k/ f# q8 R2 Writing Testbench using SystemVerilog
: | `- _( b4 w. t; g2 H" E7 G [/url]
+ C4 y7 C7 x A5 ]+ I- |7 X2 p6 b p) _. ^
3 Verification Methodology Manual for SystemVerilog
$ p- r3 [4 ~: Z# I
* C3 L! H0 @ Q* j: p
- d0 r" S4 b, v+ P; Q+ Z4 SystemVerilog for Design
+ A* \( j! ]* ^
( C0 B1 g2 i: E! M/ A
9 @) n; V4 p; R* O2 m+ E
5 SystemVerilog for Verification
# [% \8 e+ G4 D, L% R7 Z2 V% O
" h- j& \% m# I6 g$ v/ w7 p1 A
4 i, G/ z! ?' h4 G9 j 第二版：
9 S/ L: a& N$ w' M( {) P5 h
: t# b& ? x1 `$ K0 B$ \. }
4 t6 b5 X. f n$ l7 G, Q. k* M0 Q: R- S- S
6 Hardware Verification with SystemVerilog
& F$ Q- h* i) ?6 n9 h % |7 ]- Q" a c. ]4 J3 C" |5 N
. @* `$ b2 B5 I1 Y0 y
7 高级验证方法学
- U/ ?8 Q' _( D5 z0 w
* l: a/ ~% I& G4 H' z& G6 ^$ y, }2 F3 W/ j
8 SystemVerilog3.1a语言参考手册, 点击图片下载英文版，下载“
中文版”
. r X4 t0 S2 w+ h* l3 k 2 E ]8 K. w$ W3 \
8 t; W, Y4 Q. m4 [. W+ J
9 SystemVerilog Assertions Handbook 前三章
0 r3 w6 \9 V% \+ x P y2 U
/ q- q1 c# ?; ^/ c) }
5 k7 K( v$ a# J& a. B
10 A_Practical_Guide_for_SystemVerilog_Assertions
: [1 ~) V7 \ ^1 K4 i0 v
) o5 u1 d' R7 ?$ O [url=http://ebook.dicder.com/verification/A_Practical_Guide_for_SystemVerilog_Assertions.pdf]
" j% ~ ~5 f+ f0 W$ K
' u% P+ M- _6 _7 ?( Z& l另有几本书，没有找到，如果您有电子版的，希望能分享。
& g! K, J: M/ l" k a) v
# ^3 J9 B# u( S# ^7 V
4 x) d# T+ ]8 j2 `% v
/ a. N! i: r( ^感谢FOY的分享，9月2日，加入：7 j/ a& v" R! ]7 n
System_Verilog_for_Verification_2nd, c% f# p& N" I v1 Z9 m4 j
A_Practical_Guide_for_SystemVerilog_Assertions
