|
|
马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
x
本帖最后由 CMOS3511 于 2012-6-5 12:36 编辑
这些资料大部分在坛子里面都有，但是比较分散，之前见过一个验证资料汇总的帖子，不过没有发在验证版，而且之后也没有找到，这里做一个人工汇总吧。有些资料直接google或baidu就能找到pdf，有些资料只有坛子里面有，大家酌情处理，各取所需吧，至少这些书都是很不错的资料。
以下按书名首字母顺序排列：
1. A Practical Guide for Systemverilog Assertions
A Practical Guide for SystemVerilog Assertions.zip
(10.02 MB, 下载次数: 237 )
2. A Practical Guide to Adopting the Universal Verification Methodology(UVM)
A Practical Guide to Adopting the Universal Verification Methodology(UVM).pdf
(12.19 MB, 下载次数: 265 )
3. Advanced Formal Verification
advanced formal verification.pdf
(4.19 MB, 下载次数: 160 )
4. Assertion Based Design (2nd)
Assertion_based_Design_2nd.pdf
(5.57 MB, 下载次数: 1611 )
5. Clock Domain Crossing (CDC) Design & Verification
Clock Domain Crossing (CDC) Design & Verification.pdf
(1.72 MB, 下载次数: 314 )
6. Comprehensive Functional Verification: The Complete Industry Cycle
Comprehensive Functional Verification The Complete Industry Cycle.pdf
(3.08 MB, 下载次数: 1644 )
7. Co-Verification of Hardware and Software for arm SOC Design
Co-verification of hardware and software for ARM soc design.pdf
(3.1 MB, 下载次数: 195 )
8. Functional Verification Coverage Measurement and Analysis
Functional verification coverage measurement and analysis.pdf
(3.72 MB, 下载次数: 1644 )
9. Functional Verification of Programmable Embedded Architectures A Top Down Approach
Functional.Verification.of.Programmable.Embedded.Architectures.A.Top.Down.Approach.pdf
(8.99 MB, 下载次数: 126 )
10. Hardware Design Verification- Simulation and Formal Method-Based Approaches
Hardware Design Verification- Simulation and Formal Method-Based Approaches.chm
(6.63 MB, 下载次数: 201 )
11. Hardware Verification with SystemVerilog an Object-Oriented Framework
Hardware verification with systemverilog an object-oriented framework.pdf
(3.43 MB, 下载次数: 280 )
12. Mentor 高级验证方法学 AVM
Mentor_AVM.pdf
(3.34 MB, 下载次数: 70 )
13. Prentice Design Verification with E
Prentice_Design_Verification_With_E_Ebook.chm
(1.83 MB, 下载次数: 1495 )
14. Principles of Verifiable RTL Design (2nd)
Principles_of_Verifiable_RTL_Design_2nd_Edition.pdf
(3.94 MB, 下载次数: 1623 )
15. Professional Verification: A Guide to Advanced Functional Verification
Professional verification-a Guide to advanced functional verification.pdf
(4.24 MB, 下载次数: 1622 )
16. System-On-a-Chip Verification Methodology and Techniques
system-on-a-chip verification methodology and techniques.pdf
(4.28 MB, 下载次数: 168 )
17. SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
SYSTEMVERILOG FOR VERIFICATION-A Guide to Learning the Testbench Language Features.pdf
(1.41 MB, 下载次数: 1602 )
18. UVM Cookbook
uvm.cookbook.pdf
(9.48 MB, 下载次数: 146 )
19. Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog.pdf
(4.22 MB, 下载次数: 1148 )
20. Verification Methodology Manual: Using Properties in Design Coverage
VERIFICATION METHODOLOGY MANUAL-Using Properties in Design Coverage.PDF
(1.22 MB, 下载次数: 1601 )
21. Verification Methodology Manual (3rd)
verification_methodology_manual_3rd_edition.pdf
(3.26 MB, 下载次数: 1591 )
22. Writing Testbenches (2nd)
writing_testbenches_2rd.pdf
(11.87 MB, 下载次数: 599 )
23. Writing Testbenches Using SystemVerilog
Writing_testbenches_using_SystemVerilog.pdf
(1.93 MB, 下载次数: 199 )
|
|
/2 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2012-6-5 12:32:05
楼主
