验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
VC功能函数，求出最大者、经典测试可用，希望给大家带来帮助
标签： 函数
上传时间： 2013-12-13
上传用户：清风冷雨
这是VISUAL C++ 6.0环境下编译的ECG测试程序，因为是演示版，功能还很不完全！
上传时间： 2013-12-20
上传用户：dongqiangqiang
实现PDA中sqlserver ce 与PC机sqlserver 2000的pull、push、submit功能，所有功能均测试通过，有疑问请联系QQ:32820515 测试环境： win2k+sqlserver2000+sqlserver CE 2.0+sqlserver CE sp4 + IIS
标签： sqlserver submit 2000 pull
上传时间： 2014-01-22
上传用户：qiaoyue
要求该软件能够对教育软件及其提供的资源进行测试，并且能够根据测试分 析的结果部分的更新相应的教育标准，及文档、系统管理等功能。软件具有稳定 的性能和一定的安全性。 。
上传时间： 2016-11-04
上传用户：dapangxie
开发环境:ADS 1.2/SDT 2.51 GUI测试，由于没有触摸屏，所以将触摸屏的代码给屏蔽了； 请将FS44B0II开发板连接好交叉网线、直连串口线、电源， 并连接好G57液晶屏，同时还要连接好背光电源； 然后在BIOS的命令窗口里面敲netrun命令； 点击FS44B0_G57_uCGUI\uC-GUI\FS44B0_G57_uCGUI_Data\DebugRel目录下： 批处理文件FS44B0_G57_uCGUI.BAT 下面你就可以看到液晶屏上面显示优龙标志 它会延时一两秒中进入下一个画面，逐步延时GUI的各项功能，请耐心观看；
上传时间： 2013-12-20
上传用户：pkkkkp
IS62LV1024测试程序，实现该芯片的所有功能；
上传时间： 2013-12-22
上传用户：lx9076
以C8051F020单片机做的多功能计数器，2008山东大学生电子大赛题目。可以实现频率、周期、时间间隔等测量，可以LCD显示、语音报告结果，并能测试温度、显示时间（DS1302）。
上传时间： 2014-01-23
上传用户：Miyuki
用J2ME开发的手机版大富翁程序。除基本功能之外，包括股票、道具卡等功能。在eclipse下测试通过。
上传时间： 2013-12-12
上传用户：lixinxiang
用C++实现的维吉尼亚密码源程序,已经在DevC++上测试过，大家可以再进行功能完善
上传时间： 2016-11-14
上传用户：ommshaggar
