验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
The MIPS32® 4KEm™ core from MIPS® Technologies is a member of the MIPS32 4KE™ processor core family. It is a high-performance, low-power, 32-bit MIPS RISC core designed for custom system-on-silicon applications. The core is designed for semiconductor manufacturing companies, ASIC developers, and system OEMs who want to rapidly integrate their own custom logic and peripherals with a high-performance RISC processor. It is highly portable across processes, and can be easily integrated into full system-on-silicon designs, allowing developers to focus their attention on end-user products. The 4KEm core is ideally positioned to support new products for emerging segments of the digital consumer, network, systems, and information management markets, enabling new tailored solutions for embedded applications.
标签： MIPS 8482 Technologies 174
上传时间： 2014-12-22
上传用户：semi1981
Testability is the concern most often voiced by Texas Instruments (TIä ) application specific integrated circuit (ASIC) users. This document is intended to consolidate TI policies into a coherent approach to designing for testability. It is not intended as a specification, but as a guide you can use for developing test strategies when designs are being initiated
标签： Testability Instruments application specific
上传时间： 2016-11-13
上传用户：wfl_yy
VHDL语言100例详解，北京理工大学ASIC研究生出版，这里是1-20个examples
上传时间： 2016-11-13
上传用户：ddddddos
VHDL语言100例详解，北京理工大学ASIC研究生出版，这里是21-50个examples
上传时间： 2014-01-11
上传用户：tianyi223
VHDL语言100例详解，北京理工大学ASIC研究生出版，这里是51~94个examples
上传时间： 2013-12-13
上传用户：wab1981
synopsis的有限状态机编码方法的文档。 针对synopsis的综合环境，根据其综合工具的特点说明安全可靠、速度适合的FSM编码风格。 FSM coding style under synopsis. Used for verilog or vhdl designer. Good study data for ASIC newhand.
上传时间： 2014-01-09
上传用户：onewq
usb的芯片ip core. 用HDL描述，适合asic/fpga人员参考或使用。USB ip core for ASIC/FPGA designers.
上传时间： 2016-11-15
上传用户：zhangzhenyu
H.323是由ITU制定的通信控制协议，用于在分组交换网中提供多媒体业务。呼叫控制是其中的重要组成部分，它可用来建立点到点的媒体会话和多点间媒体会议。目前最新的H.323版本是V4。 H.323定义了介于电路交换网和分组交换网之间的H.323网关（Gateway）、用于地址翻译和访问控制的网守（GateKeeper）、提供多点控制的多点会议控制器（MC）、提供多点会议媒体流混合的多点处理器（MP），以及多点会议控制单元（MCU）等实体。
上传时间： 2016-12-17
上传用户：liglechongchong
有关OFDM时域和频域同步的硬件实现，在FPGA,DSP和ASIC上实现，并做了对比。
上传时间： 2014-01-03
上传用户：chenbhdt
