<dl id="6kq4m"></dl>
驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視響應的技術，以及通過使用總線功能模型把物理層次的事務抽象為更高層次的過程，并結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平臺，并圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平臺、設計基于總線功能模型的隨機激勵發生器。 本書適合于從事ASIC、SoC及系統設計與驗證的人員閱讀。
標簽： 制造 正 芯片
上傳時間： 2016-10-30
上傳用戶：tedo811
工廠倉庫管理系統，成功案例 採用delphi+sqlserver開發
標簽： 系統
上傳時間： 2016-11-01
上傳用戶：Shaikh
工廠採購管理系統，採用delphi+sqlserver開發，完全C/S架設，所有數據全部通過存儲過程活觸發器完成
上傳時間： 2013-12-14
上傳用戶：zhoujunzhen
一個自己編寫的柔性制造的仿真軟件,完全是自己編寫的軟件源碼
標簽： 編寫 柔性制造 仿真軟件 源碼
上傳用戶：zhangliming420
windows 環境下的所有報行指令, 如winver 檢查Windows版本 wmimgmt.msc 打開Windows管理體系結構(wmi) wupdmgr Windows更新程序 wscript Windows腳本宿主設置 write 寫字板 等等...其它的指令瑪
標簽： Windows windows wmimgmt wupdmgr
上傳時間： 2013-12-26
上傳用戶：225588
計算機通信 沈金龍 (南京郵電學院計算機科學與技術系, 南京市, 210003) (一) 計算機通信與現代電信網
標簽： 210003 計算機通信 電學 電信網
上傳時間： 2016-11-09
上傳用戶：sssl
光纖光纜技術發展以及在FTTH中的應用 綜述了近期光纖光纜制造、施工及維護技術上的發展特點，分析了其發展趨勢，并就我國光纖光纜技術與產業的發展提出了一些值得思考的問題。FTTH正在走入人們實用化的視野，國內外很多光纜生產廠商或研究所都提出了自己的構想，本文著重介紹了FTTH應用中的一些典型的光纖及光纜技術，對FTTH在我國的發展前景做了分析，并提出了自己在FTTH發展中的一些觀點。
標簽： FTTH 光纖光纜 發展 中的應用
上傳時間： 2016-11-14
上傳用戶：manking0408
CMOS集成電路設計與制造的主要流程框架
標簽： CMOS 集成電路設計 制造 流程
上傳時間： 2013-12-21
上傳用戶：13160677563
完整的CMOS工藝流程(華中科技大學電子科學與技術系)
標簽： CMOS 工藝流程 大學 電子
上傳時間： 2013-12-18
上傳用戶：youth25
針對四元數矩陣正交特征矢量系求解困難的缺點, 本文提出一種獲取四元數矩陣正交特征矢量集等效、便捷的方法, 其基本思路為: 首先, 構造四元數矩陣定義于復數域的導出陣, 并利用該導出陣特征矢量空間的一種特殊的等價空間間接獲取 相應特征值所對應的特征矢量. 然后, 將復數矢量轉換為四元數矢量, 按如此方式獲取的對應所有特征值的非零特征矢量則構 成原始四元數矩陣的正交特征矢量系
標簽： 矩陣 特征 矢量 正
上傳時間： 2013-12-09
上傳用戶：xc216
蟲蟲下載站版權所有 京ICP備2021023401號-1
