GB∕T37979-2019可编程逻辑器件软件VHDL编程安全要求

ICS35080L77 .中 华 人 民 共 和 国 国 家 标 准 GB/T379792019 可编程逻辑器件软件 VHDL编程 安全要求 SaferuleofVHDLforprogrammablelogicdevicesoftware2019-08-30发布 2020-03-01实施 国 家 市 场 监 督 管 理 总 局 发 布 中国国家标准化管理委员会 GB/T379792019 目 次 前言 范围1 1 规范性引用文件2 1 术语和定义3 1 缩略语4 1 安全细则5 1 例化类 5.1 1 结构设计类 5.2 4 敏感列表类 5.3 8 声明定义类 5.4 9 命名类 5.5 10 运算类 5.6 13 循环控制类 5.7 16 分支控制类 5.8 16 时钟类 5.9 20 复位及初始化类 5.10 26 状态机类 5.11 30 综合 约束类 5.12 / 33 注释类 5.13 35 编码格式类 5.14 36 参考文献 37 GB/T379792019 前 言 本标准按照 给出的规则起草 GB/T1.12009 。 请注意本文件的某些内容可能涉及专利 本文件的发布机构不承担识别这些专利的责任 。 。 本标准由全国信息技术标准化技术委员会 提出并归口 (SAC/TC28) 。 本标准起草单位 中国航天科工集团第三研究院第三 四研究所 中国电子技术标准化研究院 中 : 、 、核控制系统工程有限公司 中科院国家空间科学中心 、 。 本标准主要起草人 李丽华 王黎 杨楠 王栋 朱琳 张国宇 韩旭东 王颖 刁立峰 刘伟 郑金艳 : 、 、 、 、 、 、 、 、 、 、 、李文鹏 胡义武 胡勇 郝永乐 赵静 李超 程承 姜晓辉 姚 秀 娟 高 媛 黄 勇 张 清 张 旸 旸 刘 志 凯 、 、 、 、 、 、 、 、 、 、 、 、 、 、梁成华 陈朋 周宁 徐轻尘 石璐 、 、 、 、 。 GB/T379792019 可编程逻辑器件软件 VHDL编程 安全要求1 范围 本标准规定了 用于可编程逻辑器件软件编程安全细则 VHDL 。 本标准适用于可编程逻辑器件软件 的编程安全设计 编码 测试及其使用 数字电路 VHDL 、 、 。ASIC 设计时也可参照使用 。2 规范性引用文件 下列文件对于本文件的应用是必不可少的 凡是注日期的引用文件 仅注日期的版本适用于本文 。 , 件 凡是不注日期的引用文件 其最新版本 包括所有的修改单 适用于本文件 。 , ( ) 。 信息技术 软件工程术语 GB/T114572006 可编程逻辑器件软件开发通用要求 GB/T337812017 3 术语和定义 和 界定的术语和定义适用于本文件 GB/T114572006 GB/T337812017 。4 缩略语 下列缩略语适用于本文件 。 现场可编程门阵列 FPGA: (FieldProgrammableGateArray) 超高速集成电路硬件描述语言 VHDL: (Very-high-speedintegratedcircuitHardwareDescriptionLanguage)5 安全细则 51 例化类 . 511 端口例化应采取名称映射的方式 避免位置映射 . , 。 在进行端口例化时 应采取名称映射的方式 避免位置映射 利于提高程序的可读性和可维护性 , , , 。 示例 : 遵循示例 端口例化采取名称映射 reset_filter_inst