验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
这是我为公司写的手机上用的TFT显示屏的测试软件，供大家参考，IC为9320，LCD为Wintek2.8 ,经过无数次验证的。
上传时间： 2016-11-23
上传用户：qweqweqwe
通过验证的计数器，附带测试文件，适合学习和使用
标签： 计数器
上传时间： 2016-12-15
上传用户：nanfeicui
通过验证的文件，附带测试文件，非常适合学习和使用
标签：
上传时间： 2014-01-16
上传用户：zhyiroy
底层测试代码，可以用于底层功能验证，是驱动开发的基础文件
上传时间： 2014-11-23
上传用户：ecooo
验证用户信息，电子邮件，地址是否合法 身份证验证，性别验证..... 支持[数据导入]（导入格式用空格或逗号或竖线|分割字段），并验证导入数据 firefox\ie测试通过。
标签： 用户
上传时间： 2014-01-02
上传用户：洛木卓
16位CRC的c语言实现。并编写了测试程序，验证了程序的准确性
上传时间： 2014-12-02
上传用户：ZJX5201314
at89s52对9313的测试程序，经过验证，能正常使用
上传时间： 2017-06-30
上传用户：zhouli
用VC实现的USB测试程序，已经通过验证
上传时间： 2013-12-25
上传用户：leixinzhuo
在数字电视终端MPEG II 解码器测试中，解码能力测试是一个很关键的环节，即验证在前端输入码流满足TR 101 290 标准的前提下接收终端能正常解码，输出同步的视音频模拟信号。PCR 抖动 是影响接收终端解码的关键因素。本文深入探究了PCR 的功能和物理意义，并在分析PCR 抖动原因及其 测试参数的基础上，讨论了基于波形、幅度和频率三个参数的PCR 抖动仿真模型，并且根据实际测试终端解码器的需要，提出了具体的参数设置方法。
上传时间： 2017-08-22
上传用户：hewenzhi
