|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2011年08 期
| 标题 |
| 一种数字量的安全输入/输出模块的设计与实现(20 卷) |
| 英文标题 |
| Design and Implementation of a safety input and output module of digital quantity |
| 摘要 |
| 本文在分析可扩展安全计算机平台实时性和安全性要求的基础上，提出基于可编程逻辑器件（FPGA）和时钟级同步2取2结构的安全输入/输出（安全I/O）模块的设计方法。深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案。功能仿真和形式化验证结果说明了设计的正确 |
| 作者 |
| 新闻作者:陈海燕1，穆建成2，马连川1 |
| 关键字 |
