GJB 9765-2020
軍用可編程邏輯器件軟件編程語言安全子集－VHDL 語言篇

Safe subset of software programming language for military programmable logic devices - VHDL language

適用范圍: 本標準規(guī)定了 VHDL 語言可編程邏輯器件軟件的編程準則。準則分為強制和建議兩種類型，強制準則為必須執(zhí)行的準則，建議準則為參照執(zhí)行的準則。本標準適用于軍用可編程邏輯器件 VHDL 語言編程。

術(shù)語	描述
端口例化 port instantiation	在 VHDL 中，通過指定模塊端口連接方式實現(xiàn)模塊的實例化。
名稱映射 name mapping	通過端口名稱對應(yīng)連接方式實現(xiàn)模塊例化的方法。
位置映射 position mapping	通過端口位置順序?qū)?yīng)實現(xiàn)模塊例化的方法。
組合邏輯 combinational logic	一種輸出僅依賴于當(dāng)前輸入值的邏輯電路。
時序邏輯 sequential logic	一種輸出不僅依賴于當(dāng)前輸入，還依賴于之前狀態(tài)的邏輯電路。

可編程邏輯器件未明確	用于實現(xiàn) VHDL 程序邏輯功能的硬件設(shè)備。