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