驗(yàn)證是制造出功能正確的芯片的必要步驟，是一個(gè)證明設(shè)計(jì)思路是如何實(shí)現(xiàn)的過程。本書首先介紹驗(yàn)證的基本概念和各種工具，驗(yàn)證的重要性和代價(jià)，比較了不同的驗(yàn)證方法，以及測(cè)試和驗(yàn)證的區(qū)別。然后從方法學(xué)的角度探討了驗(yàn)證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗(yàn)證計(jì)劃。在驗(yàn)證的方法和技術(shù)方面，本書引入了硬件驗(yàn)證語言（HVL），討論了使用行為描述進(jìn)行高層次建模的方法，介紹了施加激勵(lì)和監(jiān)視響應(yīng)的技術(shù)，以及通過使用總線功能模型把物理層次的事務(wù)抽象為更高層次的過程，并結(jié)合各種測(cè)試語言講解了仿真管理的各個(gè)要素。本書提出了覆蓋率驅(qū)動(dòng)的受約束的隨機(jī)事務(wù)級(jí)自檢驗(yàn)測(cè)試平臺(tái)，并圍繞這種結(jié)構(gòu)對(duì)其中各個(gè)部分原理及設(shè)計(jì)要素進(jìn)行了系統(tǒng)的討論。本書還介紹了如何編寫自檢驗(yàn)測(cè)試平臺(tái)、設(shè)計(jì)基于總線功能模型的隨機(jī)激勵(lì)發(fā)生器。 本書適合于從事ASIC、SoC及系統(tǒng)設(shè)計(jì)與驗(yàn)證的人員閱讀。
上傳時(shí)間： 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.
標(biāo)簽： MIPS 8482 Technologies 174
上傳時(shí)間： 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
標(biāo)簽： Testability Instruments application specific
上傳時(shí)間： 2016-11-13
上傳用戶：wfl_yy
VHDL語言100例詳解，北京理工大學(xué)ASIC研究生出版，這里是1-20個(gè)examples
上傳時(shí)間： 2016-11-13
上傳用戶：ddddddos
VHDL語言100例詳解，北京理工大學(xué)ASIC研究生出版，這里是21-50個(gè)examples
上傳時(shí)間： 2014-01-11
上傳用戶：tianyi223
VHDL語言100例詳解，北京理工大學(xué)ASIC研究生出版，這里是51~94個(gè)examples
上傳時(shí)間： 2013-12-13
上傳用戶：wab1981
synopsis的有限狀態(tài)機(jī)編碼方法的文檔。 針對(duì)synopsis的綜合環(huán)境，根據(jù)其綜合工具的特點(diǎn)說明安全可靠、速度適合的FSM編碼風(fēng)格。 FSM coding style under synopsis. Used for verilog or vhdl designer. Good study data for ASIC newhand.
標(biāo)簽： synopsis 有限狀態(tài)機(jī) 文檔 編碼
上傳時(shí)間： 2014-01-09
上傳用戶：onewq
usb的芯片ip core. 用HDL描述，適合asic/fpga人員參考或使用。USB ip core for ASIC/FPGA designers.
上傳時(shí)間： 2016-11-15
上傳用戶：zhangzhenyu
H.323是由ITU制定的通信控制協(xié)議，用于在分組交換網(wǎng)中提供多媒體業(yè)務(wù)。呼叫控制是其中的重要組成部分，它可用來建立點(diǎn)到點(diǎn)的媒體會(huì)話和多點(diǎn)間媒體會(huì)議。目前最新的H.323版本是V4。 H.323定義了介于電路交換網(wǎng)和分組交換網(wǎng)之間的H.323網(wǎng)關(guān)（Gateway）、用于地址翻譯和訪問控制的網(wǎng)守（GateKeeper）、提供多點(diǎn)控制的多點(diǎn)會(huì)議控制器（MC）、提供多點(diǎn)會(huì)議媒體流混合的多點(diǎn)處理器（MP），以及多點(diǎn)會(huì)議控制單元（MCU）等實(shí)體。
標(biāo)簽： 323 ITU 通信控制 協(xié)議
上傳時(shí)間： 2016-12-17
上傳用戶：liglechongchong
有關(guān)OFDM時(shí)域和頻域同步的硬件實(shí)現(xiàn)，在FPGA,DSP和ASIC上實(shí)現(xiàn)，并做了對(duì)比。
上傳時(shí)間： 2014-01-03
上傳用戶：chenbhdt
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1
<dl id="oawe2"></dl>
