驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視響應的技術，以及通過使用總線功能模型把物理層次的事務抽象為更高層次的過程，并結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平臺，并圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平臺、設計基于總線功能模型的隨機激勵發生器。 本書適合于從事ASIC、SoC及系統設計與驗證的人員閱讀。
上傳時間： 2016-10-30
上傳用戶：tedo811
軟件信息如下： 軟件名稱：鄭州聚鑫打包帶廠網站源代碼免費版 軟件版本：V2008 建議分類：企業網站 聯系EMAIL：hzy174@126.com 客服Q Q：908997410 客服電話：13213133057 軟件網站：http://www.zzjux.com 下載地址：http://www.kkfenlei.com/downlode/jx.rar 軟件容量：4.62M 軟件類型：免費軟件 應用平臺：Win9x/Me/NT/2000/XP 軟件介紹：企業網站開發管理系統，可用于企業類網站。采用ASP+Access程序設計，后臺管理。 版面美觀大方，使用我們的系統，很快建立起專業的企業類網站。聯系電話13213133057， 郵箱hzy174@126.com,QQ:908997410。需要更多信息，請訪問我們的網站http://www.kkfenlei.com 本網站開發管理系統后臺管理登錄：admin/adminlogin.asp 用戶名：kkfenlei 密碼：kkfenlei 注冊后將增加留言管理登錄： 用戶名：kkfenlei 密碼：kkfenlei 下載地址:http://www.kkfenlei.com/downlode/jx.rar
上傳時間： 2016-11-21
上傳用戶：yiwen213
《圖書管理系統》簡介： 圖書管理是一個大眾化的軟件管理，實用性強。因為知識能力的限制， 該軟件只具備簡單的幾項內容，還有待改進和完善。 軟件基本功能介紹如下： 1.實現圖書信息的添加 2.實現原有圖書信息的查找 3.實現圖書信息的修改 4.實現圖書信息的打?。ㄝ敵鲈谄聊簧希? 5.實現圖書相關信息的刪除 6.簡單的退出功能
上傳時間： 2016-12-08
上傳用戶：liansi
Microsoft Windows是一個基于Intel x86微處理芯片的個人計算機上的具有圖形用戶接口的多任務和多窗口的操作系統，它是對MS-DOS操作系統的擴展和延伸。與MS-DOS操作系統相比，它有許多優越之處：首先，它提供了比MS-DOS字符界面更為直觀、友好的圖形用戶界面；其次，它可以一次運行多個程序，方便了用戶的操作，提高了機器的利用率；再次，Windows環境下的應用程序具有一致的外觀和用戶接口，用戶只需要熟悉其中一兩個程序，就可以觸類旁通學會使用別的Windows應用程序。另外，Windows還具有更好的虛擬內存管理和設備無關特性等等。由于Windows具有以上突出優點，Windows平臺上的軟件開發和程序設計已成主流。這一講首先介紹Windows發展簡史，然后分析Windows操作系統的特點以及Windows程序設計的關鍵概念，最后介紹Windows程序設計的過程及開發工具。
標簽： Microsoft Windows Intel x86
上傳時間： 2013-12-16
上傳用戶：鳳臨西北
Dialog Semiconductor Plc近日推出新款IC——DA9034。此款IC整合了電源管理和音頻子系統，特為快速增長的新興產品(如智能手機，便攜式多媒體播放器、PDA及個人瀏覽器等)中采用的最新一代應用處理器量身打造。該電源管理及音頻控制器IC滿足了不斷增長的整合更多功能的需求，從而可延長電池壽命及使手持設備小型化和輕巧化。該芯片集成了50多種不同的主要功能，包括24位高質量保真立體聲子系統、電流額定值可高達1400mA的特殊降壓變換器及首批用以實現動態電壓管理(DVM)的線性穩壓器。
標簽： Semiconductor Dialog 9034 Plc
上傳時間： 2014-01-19
上傳用戶：zjf3110
網站類似的管理系統，q群的，大家共享下
上傳時間： 2017-01-08
上傳用戶：xzt
設計一個用于管理朋友信息的程序。將朋友信息（年齡、姓名、電話）存放在MyFrd.dat中，從文件讀出這些信息并顯示，并能按姓名(要求可簡化輸入，如只輸入姓氏便可查詢)進行查詢，將查詢信息輸出屏幕。
上傳時間： 2014-01-16
上傳用戶：水口鴻勝電器
Q: 我應該怎樣處理內存泄漏？ A: 很簡單，只要寫“不漏”的代碼就完事了啊。顯然，如果你的代碼到處是new、delete、指針運算，那你想讓它“不漏”都難。不管你有多么小心謹慎，君為人，非神也，錯誤在所難免。最終你會被自己越來越復雜的代碼逼瘋的——你將投身于與內存泄漏的奮斗之中，對bug們不離不棄，直至山峰沒有棱角，地球不再轉動。而能讓你避免這樣困境的技巧也不復雜：你只要倚重隱含在幕后的分配機制——構造和析構，讓C++的強大的類系統來助你一臂之力就OK了。標準庫中的那些容器就是很好的實例。它們讓你不必化費大量的時間精力也能輕松愜意地管理內存。我們來看看下面的示例代碼——設想一下，如果沒有了string和vector，世界將會怎樣？如果不用它們，你能第一次就寫出毫無內存錯誤的同樣功能代碼嗎？
標簽： 內存泄漏
上傳時間： 2017-01-25
上傳用戶：alan-ee
這是一個學生成績管理系統，其中“I”表示插入，“L”表示瀏覽，“Q”表示查詢， “E”表示退出，“D”表示刪除，“M”表示修改,"c"表示統計各分數段人數,"p"表示打印. 本程序實現了：
標簽： 管理系統
上傳時間： 2017-01-28
上傳用戶：stvnash
一種常用的電壓基準芯片，，說明非常詳細，在電源管理電路經常用到
標簽： 電壓基準芯片
上傳時間： 2013-12-23
上傳用戶：ztj182002
