IC设计的验证语言规范，对初学者特别有用，清下载试用。
上传时间： 2014-01-08
上传用户：youke111
IC设计的验证语言PSL简介，对初学者特别有用，清下载试用。
上传时间： 2013-12-11
上传用户：源弋弋
systemverilog是新出现的一种高级硬件描述和验证语言，这里给出了一些书和文章还有使用vmm方法开发testbench的例子
标签： systemverilog 硬件 验证语言
上传时间： 2015-12-14
上传用户：waitingfy
VMM for SystemVerilog中文版 Synopsys推崇SystemVerilog的设计和验证语言 这是一本很好的电子书
标签： SystemVerilog Synopsys VMM for
上传时间： 2015-12-26
上传用户：ayfeixiao
验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
本书重点介绍硬件设计描述和验证语言 system verilog的基本语法及其在功能验证上的应 用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以 system verilog为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用 system verilog实现 随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行 的开放式验证方法学 OVM介绍如何在验证平台中实现可重用性。
标签： system verilog
上传时间： 2022-05-12
上传用户：
SystemVerilog 语言简介SystemVerilog是一种硬件描述和验证语言（HDVL），它基于IEEE 1364-2001Verilog硬件描述语言（HDL），并对其进行了扩展，包括扩充了C语言数据类型、结构、压缩和非压缩数组、接口、断言等等，这些都使得SystemVeri1og在一个更高的抽象层次上提高了设计建模的能力。SystemVerilog由Acce11era开发，它主要定位在芯片的实现和验证流程上，并为系统级的设计流程提供了强大的连接能力。下面我们从几个方面对SystemVerilog所作的增强进行简要的介绍，期望能够通过这个介绍使大家对SystemVerilog有一个概括性的了解。1.接口（Interface）Verilog模块之间的连接是通过模块端口进行的。为了给组成设计的各个模块定义端口，我们必须对期望的硬件设计有一个详细的认识。不幸的是，在设计的早期，我们很难把握设计的细节。而且，一旦模块的端口定义完成后，我们也很难改变端口的配置。另外，一个设计中的许多模块往往具有相同的端口定义，在Verilog中，我们必须在每个模块中进行相同的定义，这为我们增加了无谓的工作量。
标签： systemverilog
上传时间： 2022-07-01
上传用户：得之我幸78
FPGA那些事儿--Modelsim仿真技巧REV6.0，经典Modelsim学习开发设计经验书籍-331页。前言笔者一直以来都在纠结，自己是否要为仿真编辑相关的教程呢？一般而言，Modelsim 等价仿真已经成为大众的常识，但是学习仿真是否学习Modelsim，笔者则是一直保持保留的态度。笔者认为，仿真是Modelsim，但是Modelsim 不是仿真，严格来讲Modelsim只是仿真所需的工具而已，又或者说Modelsim 只是学习仿真的一部小插曲而已。除此之外，笔者也认为仿真可以是验证语言，但是验证语言却不是仿真，因为验证语言只是仿真的一小部分而已，事实上仿真也不一定需要验证语言。常规告诉笔者，仿真一定要学习Modelsim 还有验证语言，亦即Modelsim 除了学习操作软件以外，我们还要熟悉TCL 命令（Tool Command Language）。此外，学习验证语言除了掌握部分关键字以外，还要记忆熟悉大量的系统函数，还有预处理。年轻的笔者，因为年少无知就这样上当了，最后笔者因为承受不了那巨大的学习负担，结果自爆了。经过惨痛的经历以后，笔者重新思考“仿真是什么？”，仿真难道是常规口中说过的东西吗？还是其它呢？苦思冥想后，笔者终于悟道“仿真既是虚拟建模”这一概念。虚拟建模还有实际建模除了概念（环境）的差别以外，两者其实是同样的东西。换句话说，一套用在实际建模的习惯，也能应用在仿真的身上。按照这条线索继续思考，笔者发现仿真其实是复合体，其中包括建模，时序等各种基础知识。换言之，仿真不仅需要一定程度的基础，仿真不能按照常规去理解，不然脑袋会短路。期间，笔者发现愈多细节，那压抑不了的求知欲也就愈烧愈旺盛，就这样日夜颠倒研究一段时间以后，笔者终于遇见仿真的关键，亦即个体仿真与整体仿真之间的差异。常规的参考书一般都是讨论个体仿真而已，然而它们不曾涉及整体仿真。一个过多模块其中的仿真对象好比一块大切糕，压倒性的仿真信息会让我们喘不过起来，为此笔者开始找寻解决方法。后来笔者又发现到，早期建模会严重影响仿真的表现，如果笔者不规则分化整体模块，仿真很容易会变得一团糟，而且模块也会失去连接性。笔者愈是深入研究仿真，愈是发现以往不曾遇见的细节问题，然而这些细节问题也未曾出现在任何一本参考书的身上。渐渐地，笔者开始认识，那些所谓的权威还有常规，从根本上只是外表好看的纸老虎而已，细节的涉及程度完全不行。笔者非常后悔，为什么自己会浪费那么多时间在它们的身上。可恶的常规！快把笔者的青春还回来！ 所以说，常规什么的最讨厌了，最好统统都给我爆炸去吧！呜咕，过多怨气实在一言难尽，欲知详情，读者自己看书去吧...
上传时间： 2022-05-02
上传用户：
C语言作的四色验证1．需求分析问题描述：证明了可以用不多于4种颜色对n个区域着色，而满足相邻的区域具有不同的颜色输入形式 ： 暂定最多50个区域，如需证明更多区域，修改#define S 50 即可；以整形形式输入（取值范围1-32767）用户需要证明的区域数目，相联的一对矩阵； 输出形式：以0和1输出关联矩阵，和以blue yellow orange pink形式输出每个区域相对应证明出的颜色；
上传时间： 2015-01-10
上传用户：风之骄子
用计算机语言编程验证CPU真伪
上传时间： 2015-01-20
上传用户：yiwen213
