|
|
马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
x
（经典）Janick Bergeron. 《Writing Testbench》
张春,陈新凯,李晓雯等译《编写测试平台》 相关资料 大全
The Second Edition of Writing Testbenches, Functional Verification of hdl Models presents the latest verification techniques to produce fully functional first silicon asics, systems-on-a-chip (SoC), boards and entire systems. Topics included in the new Second Edition:
*Discussions on OpenVera and e;
*Approaches for writing constrainable random stimulus generators;
*Strategies for making testbenches self-checking;
*A clear blueprint of a verification process that aims for first time success;
*Recent advances in functional verification such as coverage-driven verification process;
*VHDL and verilog language semantics;
*The semantics are presented in new verification-oriented languages;
*Techniques for applying stimulus and monitoring the response of a design;
*Behavioral modeling using non-synthesizeable constructs and coding style;
*Updated for Verilog 2001.
Writing-Testbench.part1.rar
(1000 KB, 下载次数: 55 )
Writing-Testbench.part2.rar
(1000 KB, 下载次数: 50 )
Writing-Testbench.part3.rar
(1000 KB, 下载次数: 52 )
Writing-Testbench.part4.rar
(1000 KB, 下载次数: 50 )
Writing-Testbench.part5.rar
(16.37 KB, 下载次数: 49 )
编写测试平台是电子工业出版社出版的图书，作者是伯杰龙。主要讲述了验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。
本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。
在验证的方法和技术方面，本书引入了硬件验证语（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。
本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。
本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。
（中文版）SystemVerilog验证 测试平台编写指南.part01.rar
(3 MB, 下载次数: 62 )
（中文版）SystemVerilog验证 测试平台编写指南.part02.rar
(3 MB, 下载次数: 62 )
（中文版）SystemVerilog验证 测试平台编写指南.part03.rar
(3 MB, 下载次数: 61 )
（中文版）SystemVerilog验证 测试平台编写指南.part04.rar
(3 MB, 下载次数: 57 )
（中文版）SystemVerilog验证 测试平台编写指南.part05.rar
(3 MB, 下载次数: 69 )
（中文版）SystemVerilog验证 测试平台编写指南.part06.rar
(3 MB, 下载次数: 73 )
（中文版）SystemVerilog验证 测试平台编写指南.part07.rar
(3 MB, 下载次数: 55 )
（中文版）SystemVerilog验证 测试平台编写指南.part08.rar
(3 MB, 下载次数: 59 )
（中文版）SystemVerilog验证 测试平台编写指南.part09.rar
(490.73 KB, 下载次数: 48 )
|
|
/3 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2017-4-27 14:11:21
楼主
