在SystemVeri log更強(qiáng)調(diào)了利用隨機(jī)化激勵(lì)函數(shù)以提高驗(yàn)證代碼的效率和驗(yàn)證可靠性的重要性。本文以VMM庫(kù)為例，闡述了如何在SystemVeri 1og中使用隨機(jī)化函數(shù)來編寫高效率的測(cè)試代碼，重點(diǎn)介紹了可重驗(yàn)證函數(shù)庫(kù)的使用方法，以幫助讀者理解如何使用SystemVeri1og高效率地完成復(fù)雜的設(shè)計(jì)驗(yàn)證。
標(biāo)簽： Verilog System 隨機(jī) 激勵(lì)
上傳時(shí)間： 2013-11-06
上傳用戶：偷心的海盜
通過Xilinx Spartan-6 FPGA 的Multiboot特性,允許用戶一次將多個(gè)配置文件下載入Flash中,根據(jù)不同時(shí)刻的需求,在不掉電重啟的情況下,從中選擇一個(gè)來重配置FPGA,實(shí)現(xiàn)不同功能,提高器件利用率,增加系統(tǒng)安全性,降低系統(tǒng)成本。
標(biāo)簽： Xilinx-Spartan MultiBoot FPGA
上傳時(shí)間： 2013-10-26
上傳用戶：wpwpwlxwlx
一些應(yīng)用利用 Xilinx FPGA 在每次啟動(dòng)時(shí)可改變配置的能力，根據(jù)所需來改變 FPGA 的功能。Xilinx Platform Flash XCFxxP PROM 的設(shè)計(jì)修訂 (Design Revisioning) 功能，允許用戶在單個(gè)PROM 中將多種配置存儲(chǔ)為不同的修訂版本，從而簡(jiǎn)化了 FPGA 配置更改。在 FPGA 內(nèi)部加入少量的邏輯，用戶就能在 PROM 中存儲(chǔ)的多達(dá)四個(gè)不同的修訂版本之間進(jìn)行動(dòng)態(tài)切換。多重啟動(dòng)或從多個(gè)設(shè)計(jì)修訂進(jìn)行動(dòng)態(tài)重新配置的能力，與 Spartan™-3E FPGA 和第三方并行 flashPROM 一起使用時(shí)所提供的 MultiBoot 選項(xiàng)相似。本應(yīng)用指南將進(jìn)一步說明 Platform Flash PROM 如何提供附加選項(xiàng)來增強(qiáng)配置失敗時(shí)的安全性，以及如何減少引腳數(shù)量和板面積。此外，Platform Flash PROM 還為用戶提供其他優(yōu)勢(shì)：iMPACT 編程支持、單一供應(yīng)商解決方案、低成本板設(shè)計(jì)和更快速的配置加載。本應(yīng)用指南還詳細(xì)地介紹了一個(gè)包含 VHDL 源代碼的參考設(shè)計(jì)。
標(biāo)簽： Platform Flash XAPP PROM
上傳時(shí)間： 2013-10-10
上傳用戶：wangcehnglin
電路板故障分析 維修方式介紹 ASA維修技術(shù) ICT維修技術(shù) 沒有線路圖,無從修起 電路板太複雜,維修困難 維修經(jīng)驗(yàn)及技術(shù)不足 無法維修的死板,廢棄可惜 送電中作動(dòng)態(tài)維修,危險(xiǎn)性極高 備份板太多,積壓資金 送國(guó)外維修費(fèi)用高,維修時(shí)間長(zhǎng) 對(duì)老化零件無從查起無法預(yù)先更換 維修速度及效率無法提升,造成公司負(fù)擔(dān),客戶埋怨 投資大量維修設(shè)備,操作複雜,績(jī)效不彰
上傳時(shí)間： 2013-11-09
上傳用戶：chengxin
1986年以來，通用可重編程邏輯陣列（GAL）器件幾乎風(fēng)靡整個(gè)可編程邏輯器件（PLD）市場(chǎng)。GAL以其高性能、高可靠性、可擦除及輸出邏輯結(jié)構(gòu)可組態(tài)的特性，博得了廣大用戶的偏愛。就歷史而言，CAL是在其它 PLD器件的基礎(chǔ)上發(fā)展起來的。但是GAL不愧為目前最理想的PLD邏輯芯片。
標(biāo)簽： GAL 編程器 應(yīng)用技術(shù)
上傳時(shí)間： 2014-01-09
上傳用戶：宋桃子
傳統(tǒng)測(cè)控軟件有著重復(fù)利用率低、不易維護(hù)、開發(fā)周期長(zhǎng)并且成本高等缺點(diǎn)，通用測(cè)控軟件開發(fā)平臺(tái)的出現(xiàn)為解決上述問題提供了一種嶄新的方法，該平臺(tái)基于組件化思想，使用工廠、狀態(tài)機(jī)等多種設(shè)計(jì)模式，在降低模塊之間耦合性的同時(shí)，提高了代碼的重用性。使用該軟件平臺(tái)開發(fā)的測(cè)控軟件具有層次化、組件化和易升級(jí)的特點(diǎn)，并可靈活配置資源，進(jìn)行系統(tǒng)功能重構(gòu)。
標(biāo)簽： 測(cè)控 平臺(tái)設(shè)計(jì) 軟件開發(fā)
上傳時(shí)間： 2013-11-18
上傳用戶：gundan
在ARM內(nèi)核的LPC2119硬件平臺(tái)下，以u(píng)c/osII開發(fā)環(huán)境下寫的操作modem的設(shè)備驅(qū)動(dòng)程序。用戶可以不用修改即可操作modem，而且代碼是可重入的。
標(biāo)簽： 2119 ARM LPC 內(nèi)核
上傳時(shí)間： 2014-07-10
上傳用戶：小碼農(nóng)lz
CharFilter_Class實(shí)例是對(duì)CharFilter實(shí)例的完善。在CharFilter實(shí)例中，我們定義了四個(gè)全局變量，這不符合WDM驅(qū)動(dòng)程序的要求，它限制了IRP的可重入性，我們應(yīng)該使用局部變量。 該實(shí)例定義了一個(gè)READ_COMPLETION_INFO結(jié)構(gòu)，當(dāng)有DeviceControl 調(diào)用時(shí)，就分配一個(gè)結(jié)構(gòu)對(duì)象，參數(shù)設(shè)置完后，就將該結(jié)構(gòu)對(duì)象地址指針放在I.FileObject()->FsContext中。
標(biāo)簽： CharFilter CharFilter_Class
上傳時(shí)間： 2014-01-22
上傳用戶：watch100
解壓內(nèi)容：ACE自適配通信環(huán)境（代序）.pdf ACE的目標(biāo)用戶是高性能和實(shí)時(shí)通信服務(wù)和應(yīng)用的開發(fā)者。它簡(jiǎn)化了使用進(jìn)程間通信、事件多路分離、顯式動(dòng)態(tài)鏈接和并發(fā)的OO網(wǎng)絡(luò)應(yīng)用和服務(wù)的開發(fā)。此外，通過服務(wù)在運(yùn)行時(shí)與應(yīng)用的動(dòng)態(tài)鏈接，ACE使系統(tǒng)的配置和重配置得以自動(dòng)化。
上傳時(shí)間： 2015-05-21
上傳用戶：royzhangsz
本程序是用來將客戶選定圖書放入購(gòu)書車。使用戶對(duì)圖書的購(gòu)買信息有詳細(xì)的了解，暫時(shí)確定購(gòu)書者的列表。這是本項(xiàng)目的關(guān)鍵，是實(shí)現(xiàn)購(gòu)書的關(guān)鍵。是主程序的子程序。程序采用順序處理。非常駐內(nèi)存。無覆蓋要求。可重人
上傳時(shí)間： 2014-09-03
上傳用戶：1079836864
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1
