安全公司报告
文库搜索
切换导航
文件分类
频道
仅15元无限下载
联系我们
问题反馈
文件分类
仅15元无限下载
联系我们
问题反馈
批量下载
GJB 中华人民共和国国家军用标准 FL 0112 GJB 10157-2021 军用可编程逻辑器件软件Verilog 语言编程安全子集 Safe suhset of Verilog language programming for military programmahle logic devices 2021-12-30发布 2022-03-01实施 中央军委装备发展部‧颁布 G.JR 10157-2021 目 次 前言 范围· 引用文件· 3 术语和定义· 4 总则… 5 基本编程规范 时钟与复位 7 触发器、锁存器与缓冲器 15 8 运算符· 9 语句类· 10状态机结构 异步逻辑结构· 42 12与综合器相关的编码准则 43 附录A(资料性附录)准则汇总索引· 45 G.JB 10157-2021 前言 本标准的附录A为资料性附录。 本标准由中央军委装备发展部综合计划局提出。 本标准起草单位:中国航空综合技术研究所、中国航天科工集团有限公司第二研究院七O六研究所、 中国航天科技集团有限公司第一研究院第十二研究所、中国船舶重工集团有限公司第七一六研究所、中 国工程物理研究院电子工程研究所、中国科学院国家空间科学中心。 本标准主要起草人:冯志华、梁 敏、李东方、黄楠、潘华、叶东升、郑军、段锐宁、高虎、 阳 徽、孔祥营、白广治、薛长斌。 II
GJB 10157-2021 军用可编程逻辑器件软件 Verilog语言编程安全子集
文档预览
中文文档
76 页
50 下载
1000 浏览
0 评论
309 收藏
3.0分
赞助3.8元下载(无需注册)
温馨提示:本文档共76页,可预览 3 页,如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档
下载文档到电脑,方便使用
赞助3.8元下载
本文档由 人生无常 于
2024-09-28 07:22:04
上传分享
举报
下载
原文档
(101.4 MB)
分享
友情链接
DB31-T 1400-2023 药品生产全过程数字化追溯体系建设和运行规范 上海市.pdf
T-GZAS 018—2022 数据要素安全可信流通技术标准.pdf
T-CPUMT 001—2022 工业信息安全应急处置工具箱.pdf
GM-T 0035.5-2014 射频识别系统密码应用技术要求 第5部分:密钥管理技术要求.pdf
GM-T 0125.2-2022 JSON Web 密码应用语法规范 第2部分:数字签名.pdf
DB11-T 1484-2017 固定污染源废气挥发性有机物监测技术规范 北京市.pdf
GB-T 12452-2022 水平衡测试通则.pdf
DB11-T 948.13-2013 电梯运行安全监测信息管理系统技术规范 第13部分:平台维护要求 北京市.pdf
GM-T 0089-2020 简单证书注册协议规范.pdf
DB15-T 839—2022 高速公路养护工程预算编制办法及定额 内蒙古自治区.pdf
GB-T 20274.3-2008 信息安全技术 信息系统安全保障评估框架 第3部分:管理保障.pdf
T-ZZB 0604—2018 野营用户外折叠椅.pdf
T-CADERM 6006—2023 动态监护与自动生命支持一体机.pdf
GB-T 37204-2018 全钒液流电池用电解液.pdf
T-YAIMH 002—2022 互联网诊疗电子病历基本规范.pdf
GA-T 1980-2022 道路交通事故与违法地点表述规范.pdf
GB-T 33113-2016 水资源管理信息对象代码编制规范.pdf
OWASP 移动应用安全验证标准 中文版-v1.4.2.pdf
DB14-T 2989—2024 山西电子政务外网电子认证数字证书管理规范 山西省.pdf
T-CNFPIA 3007—2019 超薄高密度纤维板.pdf
1
/
3
76
评价文档
赞助3.8元 点击下载(101.4 MB)
回到顶部
×
微信扫码支付
3.8
元 自动下载
官方客服微信:siduwenku
支付 完成后 如未跳转 点击这里 下载
站内资源均来自网友分享或网络收集整理,若无意中侵犯到您的权利,敬请联系我们
微信(点击查看客服)
,我们将及时删除相关资源。