本标准规定了电子自动化设计和制造过程中电子系统与电路，特别是数字集成电路的硬件描述和设计语言(VHDL)规范。本标准适用于电子类、计算机类和通信类电子产品的设计，包括电子信息系统、电子电路及各类电子产品，特别是数字含集成的设计。当采用电子设计自动化(EDA)工具进行上达设计时，它被用作下述场合中的标准：a.数字集成电路的仿真、综合、验证和测试；b.对系统级、印刷电路板(PCB)级、芯片级、寄存器传输级和门级各类复杂电子设计的描述；c.对电子电路和电子系统进行行为级、结构级和数据流描述；d.EDA工具间或设计师间的设计数据交换。 SJ 20777-2000 电子设计硬件描述语言VHDL SJ20777-2000 标准下载解压密码：www.bzxz.net

中华人民共和国电子行业军用标准FL0137
SJ 20777—2000
电子设计硬件描述语言VHDL
Electronic design hardware deseriptionlanguage VHDL
2000-10-20 发布
2000-10-20实施
中华人民共和国信息产业部批准前言
本标准等效采用美国电气与电子工程师协会标准IEEEstd1076-1993IEEEStandardVHDLLanguageReferenceManual”，它是IEEE std 1076-1987的修改版，因此在技术内容上是一致的。
根据《国家军用标准编写的暂行规定》，在编排格式上作了较大变动，使其更具条理性。具体变动如下：
a。增加了第一章、第二章和第三章的内容：b．第二章对应于原标准的附录E，并补充了所引用的国家标准；C．第三章对应于原标准的附录B:d．第四章对应于原标推的第0章e．第五章的5.1条对应于原标准的第一章，5.2条对应于原标准的第二章，依次类推，5.14条对应于第14章：
f.附录B对应于原标准的附录C，附录C对应于原标准的附录Dg、本标准删去了原标准的英文索引部分，并删去了出版说明：h为了准确和国内使用方便，在第三章和附录A中，对关键术语给出了中英文对照。
irikAoNirKAca
1范围
1.1主题内容
1.2适用范围
2引用文件
3定义
4综述
4.1本标准的宗旨
4.2本标准的结构与术语
4.2.1句法描述
4.2.2语义描述
4.2.3举例、注释、参照
5详细要求
5.1设计实体和配置
5.1.1实体说明
5.1.2构造体
5.1.3配置说明
5.2子程序和集合包
5.2.1子程序说明
子程序体
子程序重载
5.2.4决断函数
集合包说明
集含包体
一致性规
5.3类型
标量类型
复合类型
存取类型
文件类型
5.4说明
类型说明
子类型说明
属性说明
元件说明
组模板说明
组说明
5.5指定
5.5.1属性指定
5.5.2配置指定
5.5.3分离指定
5.6名称
5.6.1名称
5.6.2简称…
5.6.3选择名
下标名
片段名
5.6.6属性名
5.7表达式…
表达式
操作符
5.7.3操作数
5.7.4静态表达式
5.7.5通用表达式
5.8顺序语句…·
5.8.1等待语句
5.8.2断言语句
5.8.3报告语句
信号赋值语句
变量赋值语句
5.8.6过程调用语句
5.8.7If语句*
5.8.8 Case语句
5.8.9Loop语句
5.8.10Next语句
5.8.11Exit 语句
5.8.12Retum语句
5.8.13Null 语句
5.9并发语句…
5.9.1块语句
5.9.2进程语句
5.9.3并发过程调用语句
5.9.4并断断言诺句..
5.9.5并发信号赋值语句
5.9.6元件实例生成语句
生成语句·
辖域或可用性
5.10.1说明区域
5.10.2说明的辖域
iKAoNrKAca-
5.10.3可用性
5.10.4Use子句·
5.10.5重载决断的上下文
设计单元及其编译
设计单元·
设计库
上下文子句
编译的顺序，
5.12确认和执行
设计层次的确认
块标题的确认
说明部分的确认
语句部分的确认
动态确认
模型的执行
词法元素
字符集合
词法元素、分隔符和限定符·
标识符
抽象文字
字符文字
串文字
位串文字
保留字
5.13.10字符的可替换性
5.14预定义语言环境
预定义属性
STANDARD集合包
5.14.3 TEXTIO 集合包
附录A名法摘要（参考件）
附录B潜在非可移植结构（参考件）附录C本标准与VHLD-1987的区别（参考件）中心
中华人民共和国电子行业军用标准电子设计硬件描述语言VHDL
Electronic design hardwaredescription languageVHDL1范围
1.1主题内容
SJ 20777--2000
本标准规定了电子自动化设计和制造过程中电子系统与电路，特别是数字集成电路的硬件描述和设计语言（VHDL）规范。1.2适用范围
本标准适用于电子类、计算机类和通信类电子产品的设计，包括电子信息系统、电子电路及备类电子产品，特别是数字集成的设计：当采用电子设计自动化（EDA）工具进行上述设计时，它被用作下述场合中的标准：a.数字集成电路的设计仿真、综合、验证和测试：b，对系统级、印刷电路板（PCB）级、芯片级、寄存器传输级利门级各类复杂电子段计的描递：
G.对电子电路和电子系统进行行为级、结构级和数据流描述：d.EDA工具间或设计师间的设计数据交换，2引用文件
GB1988—1998信息技术七位编码字符集GB/T15273.1--1994八位单字节编码图形字符集3定义
标准中采用了描述VHDL语言的大量术语和短语，其定义如下：3.1批象文字abstracttiteral
通用实数抽象类型或通用整数执象类型的文字。3.2存取类型accesstype
对指定类型客体提供存取的类型。存取这种客体是由分配符返回的存取值完成的，并认为存取值标明客体。
3.3存取模式accessmode
文件客体打开的模式。它即可以是只读的也可以是只写的。存取模式取决于提供给Open Kind参数的值。
3.4存取值acess value
中华人民共和国信想产业部2000-10-20发布TKAorKAca
2000-10~20实施
SJ 20777—2000
存取类型的值。这个值由分配符返回，并标明指定类型的客体（必须是变量）。空存取值不标明任何客体。存取值仅能标明由分配符产生的客体；它不能标明由客体说明所说明的客体。
3.5当前（有效）驱动activedriven在模拟周期期间，不论新值是否有别以前值而需要一个新的驱动3.6实参actual
与形式端口，形式参数和形式类属关联的表达式，端口，信号和变量。3.7集合aggregate
a：这种表达式表达复合类型的值，这个值通过指定复合类型每个元素的值来指定。可用位置关联利名称关联来指示哪个值与哪个元素关联。b.赋予一个复合值的变量赋值语句或信号赋值语句的某种目标。日标被认为集合的状态。
3.8别名alias
命名实体的另一个名称。
3.9分配符allocator
用丁产生通过存取值可存取的匿名，变量客体的操作，3.10编译analysis
在VHDL设计文件中源代码的句法和语义编译和把设计单元的表达组成设计库的媒介的插入。
3.1f医名anonymous
隐式产生项的未定义简称。数字类型或数组类型的基本类型是匿名的。类似地，由存取值表达的客体是慌名的。
3.12适合appropriate
如果前缀的类型是讨论的类型或前缀的类型是存取类型（其标明类型是讨论的类型）。认为前缀适合于某个类型。
3.13构造体architecturebody
与实体说明关联的体（body）用以描述设计实体的内部组织或操作。构造体用来描述设计实体的行为，数据流和结构。3.14数组客体arrayobject
数组类型的客体。
3.15数组类型arraytype
一种类型。其值由相同子类型（因此具有同一类型）的元素组成。每个元素唯一通过下标（一维数组）或下标序列（多维数组）米区分，每个下标必须是离散类型的值，必须位于正确的下标范围中。
3.16递增范围ascending ranging由左递增到右的范围。
3. 17 ASCI
美国信息交换标推代码.Standand集合包标准包括类型字符的定义，前128个表达ASCII字符集的值。
3.18断言违例assertion violationSJ 20777—2000
当断言语句的条件运算值为false时,出现的违例。3.19关联驱动 associated driver在含有信号赋值语句的进程语句中信号唯一的驱动。3.20整体关联as5ociated'in whole复合形式的单个关联元素为整个形参提供关联时。3.21单个关联associated individually形式端口，类属或相对于某些关联列表的复合类型参数的特性。其关联由在单个关联列表中的多个关联元素定义的复合形参被认为在那个关联列表中是单个关联的。此种关联元素的格式必须表达形参的非重叠子元素或片段。3.22关联元素association elemernt把实参或局部与局部或形参关联起来的元素。3.23关联刻表association List在形参，局部端口参数名与局部，实参名或表达式之间建立通信的列表。3.24属性attribute
命名实体某些特征的定义。一些属性为类型，范围，值，信号，和函数预先定义，其余属性由用户自定义，总是常数。3.25 基本分类符 base specifier词法元素指示位串文字是否被解释为二进制，八进制或十六进制值。3.26基本类型basetype
来白子类型的类型，此子类型定义了可能值的子集合，或称为约束。本子集合不要求是固有的：类型的基本类型就是类型本身。子类型的基本类型通过在定义子类型的子类型指示中递归地检查类型标记建立。如果类型标记表达一个类型，那个类型就是子类型的基本类型。否则，类型标记是子类型。这个过程在那个子类型上重复进行。又见“子类型”3.27基本文字based literal
用显式指定基数的形式表达的抽象文字。基数限制在2到16之间。3.28基本操作basic operation
具有下面某个固有性质的操作：a.赋值（在赋值语句或初始化中）。b、分配符。
c、选择名，下标名称或片段名。d.限定（在限定表达式中），显式类型转换，呈类型转换状态的形参或实参标志符及用整型或通用实型值相应于另一个数字类型的隐式类型转换：或e.某个数字文字（对通用类型），文字null（对存取类型），串文字，位串文字，集合或预定义属性。
3.29基本信号basic signal
为所有其他信号决定驱动值的信号。基本信号是一标量信号或是决断信号。
不是决断信号的子元素。
KANiKAca
SJ20777--2000
一不是具有SSta3le(T),S'Qwiet(T)成s\Transaction形式的隐式信号。一不是隐式信号GUARD。
3.30属于（某个范囿）belang(toarange)值相对于某范围的特性。如果关系（下界<=V）和（V<=上界）都成立，值V被认为属于一个范围。其中下界和上界分别悬范围的下界和上界。（5.3.1，5.3.2.1）3.31属于（某个子类型）belong（taasubtype）值相对于某子类型的特性。如果值属于这个类型并满足应用约束，则它被认为是属于某个指定类型的子类型。
3.32绑定bindingWww.bzxZ.net
把设计实体和任选的构造体与元作实例关联的进程。绑定可以在显式或默认绑定指示中指定。
3.33位串文字bitstring literal由一系列封闭在两个引号（“）字符之间并位于基本分类符之后的扩展数字形成的文字。位串文字类型由上下文决定。
3. 34 块 block
设计层次的部分的表达。块可以是内部块又可以是外部块。3.35边界bound
在配置指定的实例生成列表中标识的标号。3.36框box
在下标子类型定义中的符号（），它表达末定义范围。类型的不同客体不必有相同的边界和方向。
3.37总线bus
一种卫式的信号。当所有总线驱动关闭时，总线漂向用户指定值。3.38字符文字character literal字符类型的文字。字符文字由在两个撇号（\）字符间的一个图形文字（包括空格和无中断空格字符）形成的。
3.39字符类型character type
一种枚举类型。在其枚举文字中至少有一个字符文字。3.40紧密联系类型closelyTelatedtypes两个类型标记，表达相同类型或两个数字类型。如巢两个数组类有相同维数，它们的下标类型在每个地方都紧密联系，并且数组类型有相同的元素类型，则两个数组类型是紧密联系的。显式类型转换仅允许在紧密联系类型间进行。3.41完成complete
完成执行的laop。类似地，当while选代方案的状态FALSE或对for送代方案的所有离散范围的值被赋给选代参数，则loop送代方案完成。：3.42完整上下文completecontext一个说明，指定，语句，完整上下文用于再载决断。3.43复合类型compositetype
其值有元素的类型。有两类复合类型：数组类型和记录类型。4
SJ 20777—2000
3.44并发语句concurrentstatement异步执行语句，没有定义相关次序。并发语句用作数据流利结构描述3.45配置configuration
定义在指定块中元件实例如何绑定于设计实体，以便描述设计实体如何组合起来形成一个完整设计的结构。
3. 46 -致 confom
除一定允许微小差别外，如果两个指定由相同系列词法元素组成，并且相应的词法元素由可用性规则指定相同意义，则两个子程序的指定被认为是一致的。一致性类似地定义给延迟常数说明。
3.47 连接 connected
与实际端口或信号关联的形式端口。与保留字open关联的形式端口被认为连接的，3.48常数constant
值不可以改变的客体。常数可以显式说明，显式说明常数的子元素，或接口常数。在集合包中说明的常数也可以是延迟常数。3.49约束constraint
一个类型值的子集。一个受称为“约束”条件制约的指定类型客体的可能值的集合。如果值满足相应条件，就认为值满足约束。有下标约束，范圃约束，容量约束。3.50转换函数convertion ftnction通过关联转换值的函数。对模式in的接口客体，转换函数仅在实参中允许。对模式ou或3uffer的接口客体，转换函数仅在形参中允许，对模式inout或irkage的接口客体，转换函数在形参和实参中允许。转换函数只有一个参数。与实参关联的转换函数接受实参类型并返回形参类型。与形参关联的转换函数接受形参类型并返回实参类型3.51可转换eoertible
相对于某类型的操作数特性，如果存在对某种类型的隐式转换，则操作数可转换到那种类型。
3.52当前值current value
某个驱动单一处理的值分量，其时间分量不大于当前模拟时间。3.63进制文字decimal literal
以十进制符号表达的抛象文字。文学的基数是10。文字可任意地包括指数或小数点利分数。
3.54说明deciaration
定义了某个说明实体并且把标识符（或其他符号）与它相关联的结构。这种关联在称为说明的辖域的文本区域内有效。在说明的辖域内，可以用标识符访问关联说明实体的地方，标识符被认为是命名实体的简称。简称认为表达关联命名实体。3.55说明部分declarativepart
某些说明或语句（如实体说明，构造体，块语句）的句法分量。说明部分定义了词法区域（通常由关键字如is开始，另一个关键字如3egin结束）。在此区域，可以出现说明。3.56说明区域declarativeregion某些说明或语句的语义分量。说明区域也包括不相交部分，如实体说明的说明区域，5-
TKAOiKAca
它延伸至那个实体构造体的末尾。3.57修饰decorate
SJ 20777--2000
把用户自定义属性与命名实体相关联，并定义那个属性的值。3.58默认表达式default expression如果接口客体不关联，则默认值用作形式类属，端口或参数。默认表达式也用来为信号和它们的驱动提供初始值。
3.59延退常数deferred constant在集合包说明中，常数被说明为没有赋值符号（=）和表达式。常数相应整个说明必须存在丁定义常数值的集合包体中。3. 60 deita 周期 delta cycle一种模拟周期，在周期开始的模拟时间与周期结束的时间相同。即模拟时间在delta周期不超前，在delta 周期只有非延迟进程可以热行。3. 61 表达 denote
在说明中指定的标识符的特征。那里说明是可用的，在说明里指定的标识符被认为表达在说明里说明的命名实体。
3.62依赖（库单元）depend(ona libraryunit）在 use语句中，显式或隐含提及其他库单元的设计单元。这些依赖影响了设计单元编译的允许次序。
3.63依赖（信号值）depend(on a sigmal value）隐式信号相对于某些其他信号的特性，如果R表达一个隐式信号S'Sta3le(T),S'Quiet(T)或 S'Transaction，或者如果R表达一个隐式GUARD信号，并且S是在定义了R当前值的卫式表达式中命名的任一个其他稳式信号，隐式信号R的当前值被认为是依赖另一个信号S的当前值。
3.64 递减范围 descending range从左递减到右的范围。
3.65设计实体design entity
加上关联构造体的实体说明。不同的设计实体可共享相同的实体说明，因此可以描述相间接口的不同元件或相同元件的不同视图。3.66设计文件design file
一个或一个以上的顺序设计单元。3.67设计层次design hierarchy设计的完整表达，它是由于把一个设计实体连续分解为子元件并且把这些元作与其他可以用类似方式分解的设计实体相绑定而产生的。3.68 设计库 design library
用于编译设计单元的中问形式表达的主存储设备：3.69设计单元design unit
在设计库中可以独立编译利存储的结构，一个设计单元可以是一个实体说明，构造体，配置说明，集合包说明或集合包体说明3.70标明designate
SJ 20777---2000
当存取值非空时，与某客体联系的存取值的特性，非空存取值被认为标明了一个客体3.71标明子类型designated subtype对存取类型，由存取类型定义的子类型指示定义的子类型。3.72标明类型designated type
对存取类型，由存取类型定义的子类型指示定义的子类型的基本类型。3.73标志符designator
a．构成关联元素的部分的句法。形参标志符指定哪个形参，端口或类属（或参数，端口和类属的子元素或片段）通过指定关联元素与实参相关联。实参标志符指定哪个实参表达式，信号或变量与形参相关联（子元素或形参的子元素）。实参标志符也可以指定，指定关联元素中的形参是不关联的（与实参标志符open）形参。b。标识符，字符文字和为其他某些名称定义别名的操作符。c.表达属性名称中的预定义属性或用户自定义属性或属性指定中用户自定义癌性的简称。
d、简称，字符文字或操作符和表达在属性指定的实体名列表中的命名实体的可能的标识。
e．定义子程序名的标识符或操作符。3.74直接可用directly visible非选择可用的可用说明。除了说明被隐藏的地方，在其辖域内说明真接可用。在集合包可用部分直接出现的说明可利用use子句成为直接可用的。义见“可用”3.75离散数组discrete array
其元素是离散类型的一维数组。3.76离散范围discreterange
其边界是离散类型的范围。
3.77离散类型discretetype
枚举类型或整数类型。离散类型的每个值有一个具有整数值的位置号。下标利送代规则使用离散类型值。
3.78驱动driver
信号的预定输出波形的容器。信号值是信号驱动当前值的函数。为指定信号赋值的每个进程隐式包含那个信号的驱动。信号赋值语句仅影响关联的驱动。3.79驱动值driving value
信号提供给其他信号的信号源的值。3.80有效值effectivevalue
在表达式内通过运算对信号的访问而得到的值。3.81 确认 elaboration
通过其说明实现其作用的进程。在其确认（包括确认之前）完成之前，说明未被确认。3.82元素 element
复会类型的成分。义见“子元素“。3.83实体说明entitydeclaration指定设计实体和其使用环境之间的接口定义。它也可以指定设计实体部分的说明和语- 7 -
KANiKAca-
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。