验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
单用户多载波mccdma的仿真，使用类编程。包含发送，信道，接收3个类。有扩频，调制，FFT变换，高斯信道和瑞利，解调，解扩，统计误码率等功能，减小仿真点数可使程序运行更快。
上传时间： 2016-11-04
上传用户：cainaifa
单用户dscdma的仿真，使用类编程。包含发送，信道，接收3个类。有扩频，调制，高斯信道和瑞利，解调，解扩，统计误码率等功能，减小仿真点数可使程序运行更快。
上传时间： 2013-12-01
上传用户：Pzj
单用户多载波时频域联合cdma扩频的仿真，使用类编程。包含发送，信道，接收3个类。有联合扩频，调制，FFT变换，高斯信道和瑞利，解调，解扩，统计误码率等功能，减小仿真点数可使程序运行更快。
上传时间： 2016-11-04
上传用户：yph853211
多用户多载波时频域cdma扩频的仿真，使用类编程。包含发送，信道，接收3个类。有选择用户数，联合扩频，调制，FFT变换，高斯信道和瑞利，解调，解扩，统计误码率等功能，减小仿真点数可使程序运行更快。
上传时间： 2013-12-28
上传用户：hjshhyy
开发平台:ADS 1.2 功能：ARM下JPG文件转成BMP文件 1、在C盘根目录下放一个JPG文件，改名叫test.jpg 2、在ads1.2的AXD下选ARMULATE仿真。 3、运行完毕，在C盘根目录下会产生一个test.bmp文件 注意：有的JPG文件格式可能不兼容，最好先用WINDOWS XP自带的画图程序打开并 保存一下。 Seloo luo seloo@tom.com 2008-10-10
上传时间： 2016-11-09
上传用户：ynzfm
单片机乒乓球游戏机 可以再proteus仿真，功能详细多样 给大家分享
上传时间： 2013-12-02
上传用户：wfl_yy
目录 说明 DATASHEET 相关芯片手册及ARM参考资料 实验程序 LPC2106/2105/2104功能部件相关实验 easyarm_drive EasyJTAG仿真器驱动程序 sofware EasyARM软件及相关实验程序 LPC210x ISP LPC210x的ISP软件 Ucosii 2.52 for lpc210x and ex Ucosii移植程序及相关中间件 LPC2104工程模板 LPC210x工程模板 EasyARM2104开发套件快速入门 开发套件快速入门
标签： easyarm_drive DATASHEET 2106 2105
上传时间： 2016-11-18
上传用户：ve3344
摘 要：建立了几个军事短波通信系统仿真模型，并简要叙述了军事短波通信系统中跳频、扩频的干扰方程。文章给出了仿真物理结构图以及功能模块图，也给出了军事短波通信抗干扰性能仿真评估的指标，提出了利用云模型及云不确定性推理对仿真结果进行评估，并给出了干扰和无干扰条件下军事短波通信的抗干扰性能评估结果。
上传时间： 2013-12-28
上传用户：rocwangdp
因为在仿真中，由于内存问题，不能够使用带有字库的芯片，所以用串口的形式来实现该功能。
标签： 仿真
上传时间： 2016-12-09
上传用户：ardager
