一种数字量的安全输入/输出模块的设计与实现
- 详情
- 2021-04-27
- 简介
- 647KB
- 页数 3P
- 阅读 79
- 下载 32
本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法。深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案。功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性。
对不起,您暂无在线预览权限,如需浏览请
立即登录热门商品
相关推荐
一种数字量的安全输入/输出模块的设计与实现 647KB
PXI总线数字输入/输出模块的设计与实现 1009KB
接近开关与PLC数字量输入模块的配型与连接 464KB
输入输出模块怎么接 44KB
双输入输出模块功能 108KB
汉语自动分词输入/输出模块的设计 524KB
基于USB的多路输入输出模块设计 137KB
工程地质软件数据输入输出模块设计 547KB
自校正频率输出模块的设计 222KB
一种电容式触摸输入模块的设计 572KB