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