格式:pdf
大?。?span class="single-tag-height">647KB
頁(yè)數(shù): 3頁(yè)
本文在分析可擴(kuò)展安全計(jì)算機(jī)平臺(tái)實(shí)時(shí)性和安全性要求的基礎(chǔ)上,提出基于可編程邏輯器件(FPGA)和時(shí)鐘級(jí)同步2取2結(jié)構(gòu)的安全輸入/輸出(安全I(xiàn)/O)模塊的設(shè)計(jì)方法。深入闡述了安全I(xiàn)/O模塊的硬件設(shè)計(jì)原理和基于PSL語(yǔ)言的斷言驗(yàn)證方案。功能仿真和形式化驗(yàn)證結(jié)果說明了設(shè)計(jì)的正確性,同時(shí)在EDA開發(fā)平臺(tái)上長(zhǎng)時(shí)間穩(wěn)定性的測(cè)試結(jié)果也證明了安全I(xiàn)/O模塊的正確性和安全性。
格式:pdf
大?。?span class="single-tag-height">426KB
頁(yè)數(shù): 65頁(yè)
Contents CHAPTER 1 General Information...............................1 1.1 Introduction..................................................... 2 1.2 Features ...........................................................3 1.3 Applications..................................................... 4 1.4 Specifications................................................... 4 1.5 Pin Assignments....................
12路吸入型隔離數(shù)字量輸出模塊知識(shí)來自于造價(jià)通云知平臺(tái)上百萬用戶的經(jīng)驗(yàn)與心得交流。 注冊(cè)登錄 造價(jià)通即可以了解到相關(guān)12路吸入型隔離數(shù)字量輸出模塊最新的精華知識(shí)、熱門知識(shí)、相關(guān)問答、行業(yè)資訊及精品資料下載。同時(shí),造價(jià)通還為您提供材價(jià)查詢、測(cè)算、詢價(jià)、云造價(jià)等建設(shè)行業(yè)領(lǐng)域優(yōu)質(zhì)服務(wù)。手機(jī)版訪問:12路吸入型隔離數(shù)字量輸出模塊