|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2011年08 期
| 標(biāo)題 |
| 一種數(shù)字量的安全輸入/輸出模塊的設(shè)計與實現(xiàn)(20 卷) |
| 英文標(biāo)題 |
| Design and Implementation of a safety input and output module of digital quantity |
| 摘要 |
| 本文在分析可擴展安全計算機平臺實時性和安全性要求的基礎(chǔ)上，提出基于可編程邏輯器件（FPGA）和時鐘級同步2取2結(jié)構(gòu)的安全輸入/輸出（安全I(xiàn)/O）模塊的設(shè)計方法。深入闡述了安全I(xiàn)/O模塊的硬件設(shè)計原理和基于PSL語言的斷言驗證方案。功能仿真和形式化驗證結(jié)果說明了設(shè)計的正確 |
| 作者 |
| 新聞作者:陳海燕1，穆建成2，馬連川1 |
| 關(guān)鍵字 |
