首页 > 工程造价 >造价学术 >造价其他资料 > 一种数字量的安全输入/输出模块的设计与实现
一种数字量的安全输入/输出模块的设计与实现

一种数字量的安全输入/输出模块的设计与实现

原价 100 积分

促销价 50 评分 4.7 积分

*温馨提示:该数据为用户自主上传分享,如有侵权请 举报联系客服处理。
报错
  • 详情
  • 2021-04-27
  • 简介
  • pdf
  • 647KB
  • 页数 3P
  • 阅读 79
  • 下载 32
本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法。深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案。功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性。

对不起,您暂无在线预览权限,如需浏览请

立即登录