GJB 10157-2021 军用可编程逻辑器件软件语言编程安全子集.pdf

GJ~

中华人民共和回国家军用标准

FL0112G.IB10157-2021

军用可编程逻辑器件软件Verilog

语言编程安全子集

SafesuhsetofVeriloglanguageprogrammingfor

militaryprogrammahlelogicdevices

2021一12-30发布

2022一03一01实施

中央军委装备发展部颁布

（；.『R10157-2021

目次

自ll言……..II

ItB回…......

2号｜用文fLj……

3术语和l定义……

4总则.........….........

5基木编程规范…….…………l

6时钟与复位.………·………•7

7触发缆、锁在然与缓冲然…..……………….........…·15

R运~符·········…………·········…··············20

9语句号楼………………n

m状态机结构…………···41

11异，步逻辑结构………………··……………42

12与综合然相关的编码叶f.!Jll)..…………·…43

附录A（资料。性附录）准则汇总索引…………··········45

C:.IB10157-2021

lllJl§i

本标准的附录A为资本4-性附录。

本标准由中央军委装备发展部综合计划局能出．

木标准起草单位：中恒｜航空综合技术研究所、中国航天科工织凶何限公司第二研究院七O六研究所、

国航天科技集团有限公司第一研究院第｜－二研究所、中国船tJOfil工集团有限公司第七一六研究所、中

中

罔t程物理研究l!i\:电手工程研究所、中闵科学院国家~fElj科学中心．

木标准主要起草人：冯志华、梁敏、李东方、黄楠、满华、I~~东fl·、郑军、段说宁、高虎、

阳徽、孔样蓄、白广治、薛氏斌。

II

（；.『R10157-2021

军用可编程逻辑器件软件Verilo~

语言编程安全子集

1范围

木标准规定了Veriln旦语言严于语法规定的aJ综合Verilng语言编程安全子化．

本标准适用于军用可编程逻将怨件安全关键软件，兴他军用可编程逻辑器件软件也可参照执仔。

2引用文件

r1~文件中的4可关条款通过引用而成为本标准的条款．儿是按问期或版次的引用文件，其后的任何

修改单（不包含勘误的内容）或修订版本均不适用于本标准，但提倡佼用本标准的各方探讨佼用其最新版

本的可能性．凡是不注U期！＆版i欠的号｜用文件，;it最新版本边用于本标准。

GB/T11457信息技术软件工程术语