验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
Microsoft Windows是一个基于Intel x86微处理芯片的个人计算机上的具有图形用户接口的多任务和多窗口的操作系统，它是对MS-DOS操作系统的扩展和延伸。与MS-DOS操作系统相比，它有许多优越之处：首先，它提供了比MS-DOS字符界面更为直观、友好的图形用户界面；其次，它可以一次运行多个程序，方便了用户的操作，提高了机器的利用率；再次，Windows环境下的应用程序具有一致的外观和用户接口，用户只需要熟悉其中一两个程序，就可以触类旁通学会使用别的Windows应用程序。另外，Windows还具有更好的虚拟内存管理和设备无关特性等等。由于Windows具有以上突出优点，Windows平台上的软件开发和程序设计已成主流。这一讲首先介绍Windows发展简史，然后分析Windows操作系统的特点以及Windows程序设计的关键概念，最后介绍Windows程序设计的过程及开发工具。
标签： Microsoft Windows Intel x86
上传时间： 2013-12-16
上传用户：凤临西北
充电器的充电过程主要由MAX1898控制，而单片机芯片主要是对电池起保护作用
上传时间： 2014-01-14
上传用户：moerwang
板上资源： LM2576电源，MAX3232电平转换芯片，11.0592M有源晶振，ATMEGA128L，FM32256（铁电），滑槽式SIM卡座，40PZIF接插件，通信 模块支持CM320,TC35i，MC35i，MC39i，GTM900A/B等模块。 使用方法：1、不焊接M128和FM32256以及晶振，将桥接电阻R29,R30,R31焊上，就是标准串口无线MODEM，根据模块不同可以支持GPRS和CDMA， 当然也可以作为GSM猫或者短信猫来使用。 2、焊上M128芯片，FM32256可以根据实际需要决定是否使用，除了支持上面的应用模式外，还能做成不需要上位机的透明传输模块， 实现单片机或者一些非计算机设备无线上网传输数据的要求。
上传时间： 2017-01-19
上传用户：ukuk
单芯片，单电源，直接4-20ma电流转换为，轨到轨0-5V电压输出
标签： 单芯片
上传时间： 2014-01-20
上传用户：417313137
液晶驱动芯片，用于驱动小尺寸数字液晶屏使用，可以用51单片机管理。
上传时间： 2013-12-30
上传用户：小码农lz
液晶驱动芯片，用于驱动小尺寸数字液晶屏使用，可以用51单片机管理。
上传时间： 2017-02-10
上传用户：851197153
液晶驱动芯片，用于驱动小尺寸数字液晶屏使用，可以用51单片机管理。
上传时间： 2017-02-10
上传用户：lixinxiang
arm处理器的存储管理单元的描叙，不可多得的介绍，对高档ARM芯片的
上传时间： 2017-02-12
上传用户：569342831
嵌入式系统的大量数据都存储在其F1ash芯片上。根据Flash器件的固有特性，构建一个适合管理NAND Flash存储器的FAT文件系统，并阐述具体的设计思想。该系统改进了FAT表和FRT表的存储方式，延长了存储
上传时间： 2017-03-02
上传用户：qiaoyue
