本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法。深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案。功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性。
热门知识
数字量输出模块-
话题： 工程造价guoliang926
-
话题： 工程造价jc_yigongsi
精华知识
数字量输出模块-
话题： 工程造价zhaoxinli111
最新知识
数字量输出模块-
话题： 地产家居hui3523007
相关问答
数字量输出模块-
话题： 工程造价yanjun3313
-
话题： 工程造价qy85592566
数字量输出模块相关专题
- 梁后面的数字是什么意思
- 怎么计算数字信号的频率
- 简单的开关符号数字
- 四位半数字面板表是什么
- 塑料盒底部的数字代表什么
- 数码管显示数字原理
- 数字拼接墙的技术分析
- 数字式温度表设计
- 数字万用表的价格
- 数字万用表多少钱一个
- 基于压电堆驱动器的喷嘴挡板式气体控制阀
- 电气工程及其自动化特色专业建设探索
- 分形DGS单元结构设计及其在微带电路中的应用
- 磷铵技术改造五大磷肥工程的建议
- 以大豆油多元醇制备的硬质聚氨酯泡沫塑料的性能
- 逆变TIG焊机接触引弧电路的设计(引弧电路)
- 预制砌块(砖、石)挡土墙工程砌体施工安全技术交底
- 应用模糊数学理论对公路工程建设项目方案的综合评价
- 引嫩工程扩建区土壤水盐动态与防治土壤盐碱措施
- 中华华丹雨、污水管道沟槽开挖专项施工方案教学教材
- 中国工程图学学会成立工程与制造系统集成化分会
- 中国吹制玻璃行业市场前景分析预测年度报告(目录)
- 可替代现有隔热保温材料的新型材料
- 医院病房楼工程施工装饰装修工程施工控制
- 在生活中构筑自然——河南天旺园林工程有限公司剪影
- 中国机械工程学会授予材料热处理工程师资格人员名单
- 中国电力井盖行业市场前景分析预测年度报告(目录)