验证是制造出功能正确的芯片的必要步骤,是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具,验证的重要性和代价,比较了不同的验证方法,以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次,介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面,本书引入了硬件验证语言(HVL),讨论了使用行为描述进行高层次建模的方法,介绍了施加激励和监视响应的技术,以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程,并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台,并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
资源简介:验证是制造出功能正确的芯片的必要步骤,是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具,验证的重要性和代价,比较了不同的验证方法,以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次,介绍了覆盖率模型和如何...
上传时间: 2016-10-29
上传用户:tedo811
资源简介:该程序功能是求出2到10之间的偶数和,程序经过运行,保证绝对正确。
上传时间: 2016-06-23
上传用户:pompey
资源简介:这是AD7416汇编程序 功能:本程序作用是读出数字温度传感器AD7416芯片的温度值。
上传时间: 2014-01-05
上传用户:123456wh
资源简介:这是micrel公司宽带路由ARM9芯片的VXWORKS BSP 源代码,可以直接FLASH启动
上传时间: 2014-11-23
上传用户:cainaifa
资源简介:这是nordic公司nrf9e5无线通讯芯片的驱动程序
上传时间: 2015-04-12
上传用户:jhksyghr
资源简介:这是一个关于一个无线通讯芯片的无线的audio的单片机的程序,是用C51开发的
上传时间: 2014-01-08
上传用户:mpquest
资源简介:这是一个关于一个无线通讯芯片的无线的joystick是用C51开发的
上传时间: 2014-01-15
上传用户:lifangyuan12
资源简介:这是一个关于一个无线通讯芯片的无线的link的程序,是用C51开发的
上传时间: 2015-08-30
上传用户:edisonfather
资源简介:这是一个关于一个无线通讯芯片的无线的seial程序,是用C51开发的
上传时间: 2014-11-23
上传用户:Miyuki
资源简介:这是一个关于一个无线通讯芯片的无线的wor机的程序,是用C51开发的
上传时间: 2015-08-30
上传用户:清风冷雨
资源简介:这是一个以EP1C6为核心芯片的实验板原理图。希望对学习FPGA的朋友有帮助
上传时间: 2015-09-01
上传用户:1583060504
资源简介:TWI使用范例是AVR单片机对AT24C02系列芯片的读写操作
上传时间: 2015-09-11
上传用户:chens000
资源简介:本程序是89C51驱动ISD4000系列语音芯片的驱动程序
上传时间: 2013-12-08
上传用户:waitingfy
资源简介:这是一个飞利浦arm芯片的对flash的操作说明,很不错,对我帮助很大
上传时间: 2015-12-08
上传用户:xauthu
资源简介:这是一个液晶的测试程序,是一款用ST7920做芯片的12864液晶的程序,绝对可用,方便而且可移植调用
上传时间: 2013-12-19
上传用户:cc1015285075
资源简介:这是一个液晶的测试程序,是一款用ST7920做芯片的12864液晶的程序,绝对可用,方便而且可移植调用,还附有说明书
上传时间: 2013-12-03
上传用户:wangyi39
资源简介:图书管理系统的源码,是文档.功能就是提供简单的查询,插入,删除等.
上传时间: 2013-12-23
上传用户:13160677563
资源简介:这个是一款电子音量控制芯片的控制源码,通过I2C接口进行数据传输,需要的可以下载
上传时间: 2016-09-06
上传用户:jcljkh
资源简介:这是一个讲述有关ecc加密芯片的内部资料,包括了体系结构和实现方法
上传时间: 2013-12-31
上传用户:mpquest
资源简介:是几款数码管驱动芯片的资料 tm1618
上传时间: 2014-01-06
上传用户:lhc9102
资源简介:一款居于世纪民生CS6208的带TCP-IP网络功能的8位MCU内核的芯片的应用代码。
上传时间: 2017-07-19
上传用户:caixiaoxu26
资源简介:saa7106的芯片的驱动代码,是linux下的驱动代码
上传时间: 2016-12-08
上传用户:asasasas
资源简介:16C550的芯片的驱动成序,已经通过实际产品的测试并应用。
上传时间: 2014-01-09
上传用户:rishian
资源简介:用于数据块容错编码校验的芯片的RS编码器设计
上传时间: 2016-07-11
上传用户:woshini123456
资源简介:用于数据块容错编码校验的芯片的RS编码器设计的测试代码
上传时间: 2014-05-29
上传用户:lijinchuan
资源简介:用于DRX3973或DRX39系列的芯片的控制
上传时间: 2017-03-03
上传用户:康郎
资源简介:TI6713的flash测试程序。稍作修改可应用于其他6000系列的芯片的falsh测试。
上传时间: 2013-12-18
上传用户:zaizaibang
资源简介:本程序是使用APRIORI算法搜索相关联的项目,在搜索前需要用户先对项目的个数和最低支持度进行设置,然后程序就会在指定的项目是找出满足最低支持度的相关联的频繁项目集
上传时间: 2016-10-20
上传用户:csgcd001
资源简介:A3955SB是美国Allegro公司推出的一种高集成度步进电机驱动专用芯片,文中介绍了该芯片的特点、引脚功能和工作原理,给出了一种性价比较高的实用电路。
上传时间: 2014-01-22
上传用户:talenthn
资源简介:信息安全在当今的社会生产生活中已经被广为关注,对敏感信息进行加密是提高信息安全性的一种常见的和有效的手段。 常见的加密方法有软件加密和硬件加密。软件加密的方法因为加密速度低、安全性差以及安装不便,在一些高端或主流的加密处理中都采用硬件加密手...
上传时间: 2013-05-24
上传用户:黄华强