Functional verification book（功能验证书籍收藏）

1，Co-verification  of  hardware  and  software  for  ARM  soc  design.pdf  (3.1  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109795

2，Functional  verification  coverage  measurement  and  analysis.pdf  (3.72  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109796

3，Hardware  verification  with  systemverilog  an  object-oriented  framework.pdf  (3.43  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109798

4，高级验证方法学.pdf  (3.34  MB)  中文

http://www.eetop.cn/bbs/attachment.php?aid=109799

5，funcation_methodology_manual_3rd_edition.pdf  (3.26  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109800

6,  The  Verilog  Golden  Reference  Guide.pdf  (270.43  KB) 

http://www.eetop.cn/bbs/attachment.php?aid=109982

7,  SYSTEMVERILOG  FOR  VERIFICATION-A  Guide  to  Learning  the  Testbench  Language  Features.pdf  (1.41  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109983

8,  VERIFICATION  METHODOLOGY  MANUAL-Using  Properties  in  Design  Coverage.PDF  (1.22  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109984

9,  Verification  Methodology  Manual  for  systemverilog  .pdf  (4.22  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109988

10,  system-on-a-chip  verification  methodology  and  techniques.pdf  (4.28  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=109993

11,  Professional  verification-a  Guide  to  advanced  functional  verification.pdf  (4.24  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110009

12,  Principles_of_Verifiable_RTL_Design_2nd_Edition.pdf  (3.94  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110016

13,  Assertion_based_Design_2nd.rar  (2.93  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110166

14,  Prentice_Design_Verification_With_E_Ebook.chm  (1.83  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110167

15,  Comprehensive  Functional  Verification.pdf  (3.08  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110180

16,  Functional.Verification.of.Programmable.Embedded.Architectures.A.Top.Down.Approach.part1.rar

http://www.eetop.cn/bbs/attachment.php?aid=110185

Functional.Verification.of.Programmable.Embedded.Architectures.A.Top.Down.Approach.part2.rar

http://www.eetop.cn/bbs/attachment.php?aid=110186

17,  Hardware  Design  Verification-  Simulation  and  Formal  Method-Based  Approaches.part1.rar  (4.77  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110188

Hardware  Design  Verification-  Simulation  and  Formal  Method-Based  Approaches.part2.rar  (1.82  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110190

18,  writing_testbenches_2rd.part1.rar  (4.77  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110191

writing_testbenches_2rd.part2.rar  (4.77  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110194

writing_testbenches_2rd.part3.rar  (1.5  MB) 

http://www.eetop.cn/bbs/attachment.php?aid=110195