验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
基于MSP430的CYpress USB芯片68013的开发，此固件程序实现了异步的读写控制，经测试实际可用
上传时间： 2016-10-30
上传用户：caozhizhi
时钟芯片DS1302的使用,用LED显示的，具有键盘调节功能,在Keil下测试通过
上传时间： 2013-12-27
上传用户：aix008
at45db081测试程序，实现单片机与该芯片的数据流通信情况；
上传时间： 2013-11-30
上传用户：362279997
IS62LV1024测试程序，实现该芯片的所有功能；
上传时间： 2013-12-22
上传用户：lx9076
AVR基本外设测试程序，包括1602LCD，外部中断，定时计数器0，键盘扫描等。本工程是基于Mega8而进行的，可以基本不用修改而应用到AVR的其他芯片上，比如Mega16，Mega162等。
上传时间： 2013-12-01
上传用户：libinxny
CH375这个经典的芯片，相信很多人想了解他，这是一个 测试 程序
上传时间： 2016-11-16
上传用户：天涯
这个是个航模产品的锂电测试器，可以测试1—4S的锂电电压及平衡。主芯片M48
上传时间： 2016-11-17
上传用户：jyycc
该代码是FM1702芯片的驱动程序源代码，已经测试通过，可以放心参考。
上传时间： 2016-11-21
上传用户：ccclll
AVR单片机平台Atmega32+CH375A芯片读写U盘代码，可以实现在优盘中创建文件，写入文件等。已经在ICCAVR平台测试通过
上传时间： 2014-01-23
上传用户：1109003457
