驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視響應的技術，以及通過使用總線功能模型把物理層次的事務抽象為更高層次的過程，并結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平臺，并圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平臺、設計基于總線功能模型的隨機激勵發生器。 本書適合于從事ASIC、SoC及系統設計與驗證的人員閱讀。
標簽： 制造 正 芯片
上傳時間： 2016-10-30
上傳用戶：tedo811
單用戶多載波mccdma的仿真，使用類編程。包含發送，信道，接收3個類。有擴頻，調制，FFT變換，高斯信道和瑞利，解調，解擴，統計誤碼率等功能，減小仿真點數可使程序運行更快。
標簽： mccdma 單用戶 仿真 多載波
上傳時間： 2016-11-04
上傳用戶：cainaifa
單用戶dscdma的仿真，使用類編程。包含發送，信道，接收3個類。有擴頻，調制，高斯信道和瑞利，解調，解擴，統計誤碼率等功能，減小仿真點數可使程序運行更快。
標簽： dscdma 單用戶 仿真
上傳時間： 2013-12-01
上傳用戶：Pzj
單用戶多載波時頻域聯合cdma擴頻的仿真，使用類編程。包含發送，信道，接收3個類。有聯合擴頻，調制，FFT變換，高斯信道和瑞利，解調，解擴，統計誤碼率等功能，減小仿真點數可使程序運行更快。
標簽： cdma 單用戶 仿真 多載波
上傳用戶：yph853211
多用戶多載波時頻域cdma擴頻的仿真，使用類編程。包含發送，信道，接收3個類。有選擇用戶數，聯合擴頻，調制，FFT變換，高斯信道和瑞利，解調，解擴，統計誤碼率等功能，減小仿真點數可使程序運行更快。
標簽： cdma 多用 仿真 多載波
上傳時間： 2013-12-28
上傳用戶：hjshhyy
開發平臺:ADS 1.2 功能：ARM下JPG文件轉成BMP文件 1、在C盤根目錄下放一個JPG文件，改名叫test.jpg 2、在ads1.2的AXD下選ARMULATE仿真。 3、運行完畢，在C盤根目錄下會產生一個test.bmp文件 注意：有的JPG文件格式可能不兼容，最好先用WINDOWS XP自帶的畫圖程序打開并 保存一下。 Seloo luo seloo@tom.com 2008-10-10
標簽： JPG ADS 1.2 ARM
上傳時間： 2016-11-09
上傳用戶：ynzfm
單片機乒乓球游戲機 可以再proteus仿真，功能詳細多樣 給大家分享
標簽： proteus 單片機 仿真
上傳時間： 2013-12-02
上傳用戶：wfl_yy
目錄 說明 DATASHEET 相關芯片手冊及ARM參考資料 實驗程序 LPC2106/2105/2104功能部件相關實驗 easyarm_drive EasyJTAG仿真器驅動程序 sofware EasyARM軟件及相關實驗程序 LPC210x ISP LPC210x的ISP軟件 Ucosii 2.52 for lpc210x and ex Ucosii移植程序及相關中間件 LPC2104工程模板 LPC210x工程模板 EasyARM2104開發套件快速入門 開發套件快速入門
標簽： easyarm_drive DATASHEET 2106 2105
上傳時間： 2016-11-18
上傳用戶：ve3344
摘 要：建立了幾個軍事短波通信系統仿真模型，并簡要敘述了軍事短波通信系統中跳頻、擴頻的干擾方程。文章給出了仿真物理結構圖以及功能模塊圖，也給出了軍事短波通信抗干擾性能仿真評估的指標，提出了利用云模型及云不確定性推理對仿真結果進行評估，并給出了干擾和無干擾條件下軍事短波通信的抗干擾性能評估結果。
標簽： 軍事 仿真模型 短波 通信系統
上傳用戶：rocwangdp
因為在仿真中，由于內存問題，不能夠使用帶有字庫的芯片，所以用串口的形式來實現該功能。
標簽： 仿真
上傳時間： 2016-12-09
上傳用戶：ardager
蟲蟲下載站版權所有 京ICP備2021023401號-1
