验证是制造出功能正确的芯片的必要步骤,是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具,验证的重要性和代价,比较了不同的验证方法,以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次,介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面,本书引入了硬件验证语言(HVL),讨论了使用行为描述进行高层次建模的方法,介绍了施加激励和监视响应的技术,以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程,并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台,并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间: 2016-10-30
上传用户:tedo811
半导体集成电路术语解释(共40页,免费共享学习)
上传时间: 2014-01-18
上传用户:franktu
一个自己编写的柔性制造的仿真软件,完全是自己编写的软件源码
上传时间: 2016-11-01
上传用户:zhangliming420
1302时间集成电路,在430上调试通过
上传时间: 2014-01-01
上传用户:qq521
光纤光缆技术发展以及在FTTH中的应用 综述了近期光纤光缆制造、施工及维护技术上的发展特点,分析了其发展趋势,并就我国光纤光缆技术与产业的发展提出了一些值得思考的问题。FTTH正在走入人们实用化的视野,国内外很多光缆生产厂商或研究所都提出了自己的构想,本文着重介绍了FTTH应用中的一些典型的光纤及光缆技术,对FTTH在我国的发展前景做了分析,并提出了自己在FTTH发展中的一些观点。
上传时间: 2016-11-14
上传用户:manking0408
模拟CMOS集成电路速成(清华大学电子工程系)
上传时间: 2013-12-21
上传用户:a6697238
集成电路的后端设计(包括版图设计和验证)
上传时间: 2016-11-15
上传用户:小码农lz
Cadence基础培训(全定制集成电路设计的整个流程)
上传时间: 2014-11-30
上传用户:gxmm
“信息机”一指禅——制造行业0703.doc
上传时间: 2016-11-20
上传用户:nanfeicui
模拟电子学习的基础课程,包括双极型模拟集成电路和低频设计部分
上传时间: 2014-01-10
上传用户:shinesyh