第八讲 VHDL语言中的函数、子程序、包和

第八讲VHDL语言中的函数、子程序、包和库提纲结构模型层次与抽象类属配置总结函数（Function）函数（Function）函数的外部参量与模式–默认的模式是in函数不能修改输入参量函数内部定义的变量在每一次调用时都要被初始化函数内部不允许出现Wait语句函数不能调用另一函数函数（Function）在结构或进程的定义区域加入函数代码函数举例：时钟沿判断函数函数举例：位矢量函数函数的一种用法：类型转换函数举例：判决函数信号赋值语句的基本结构：signal=(valueexpressionaftertimeexpression)右边的的部分常称为一个波形元素每一个信号和一个驱动器对应函数举例：判决函数在驱动器中保存了信号的当前值和未来时刻的值，即该信号的预期波形信号赋值语句的执行就是对一个信号的驱动器进行修改信号的当前值就是驱动器头部的值函数举例：判决函数如何计算共享信号的值？引入判决函数函数举例：判决函数当冲突的信号事件发生时就需要引用判决函数判决是一种隐式的关联操作函数举例：判决函数函数举例：判决函数电路行为–如果有任何其中一个控制信号打开了开关，则输出信号被拉低VHDL描述–如果有任何一个信号驱动器试图将输出信号拉低（驱动器头部的值），则判决函数返回一个0值–在任何一个驱动器试图对输出信号赋值时，判决函数将被调用函数举例：判决类型std_logic函数举例：判决类型std_logic函数举例：“线或”逻辑多个芯片共同驱动一个共享的出错指示信号结构值是各个驱动信号的逻辑或函数举例：“线或”逻辑函数资源在IEEE包（package）中有标准函数定义，可以参考学习子程序（Procedure）参数的模式可以是in(读)和out(写)默认的输入参数类型是常数默认的输出类型是变量子程序内部定义的变量在子程序每一次调用时将被初始化子程序（Procedure）子程序（Procedure）子程序（Procedure）子程序的位置决定了它的可见性（visibility）和用途子程序与信号子程序与信号子程序可以对作为输入参量的信号进行赋值按照设计中的层次划分，子程序可以对来自高层的非参量表中的信号，如端口进行赋值按照设计中的层次划分，子程序中设计的信号可能在子程序之外定义并行与顺序的子程序调用并行子程序调用等价的顺序子程序调用子程序的重载电路单元在输入信号的数量和输入信号的类型上存在差异用不同的子程序来描述这些电路单元子程序的命名将变得很烦琐子程序的重载上述电路单元可以描述为：dff_bit(clk,d,q,qbar)asynch_dff_bit(clk,d,q,qbar,reset,clear)dff_std(clk,d,q,qbar)asynch_dff_std(clk,d,q,qbar,reset,clear)所有的上述电路单元都采用相同的名字→子程序重载通过调用时的参量表来找到正确的子程序子程序的重载VHDL是一种强类型语言重载是一种处理用户自定义类型的有效、方便的办法对重载操作和重载机制的管理导致了包（package）的概念的出现包（package）包的申明部分–对包中所包含的函数，子程序和类型进行申明–用作包的接口–只有被申明的内容才可以被外部引用通过use子句来对包进行引用包体–对包头中定义的函数和子程序进行实现–实例化包头中定义的常数包举例：std_logic_1164包头包体包体是被编译到库（library）中的新定义的类型必须具有关于运算的定义，例如逻辑运算（如，and,or）和算术运算（如,+,*）分析存储在IEEE库中的std_logic_1164包库（library）设计单元最终被编译和存储在库中逻辑库的名字和其物理存储目录相对应STD库和WORK库是隐含定义的库：设计内容对基本设计单元和次级设计单元进行区分定义了编译顺序库：可见性规则库：可见性规则Whenmultipledesignunitsareinthesamefilevisibilityoflibrariesandpackagesmustbeestablishedforeachprimarydesignunit(entity,packageheader,configuration)separately!–SecondarydesignunitsderivelibraryinformationfromassociatedprimarydesignunitTheuseclausemayselectivelyestablishvisibility,e.g.,onlythefunctionrising_edge()isvisiblewithinentitydesign-2–SecondarydesigninheritvisibilityNotedesignunitdescriptionsaredecoupledfromfileunitboundariesSummary•Functions–Resolutionfunctions•Procedures–Concurrentandsequentialprocedurecalls•Subprogramoverloading•Packages–Packagedeclaration-primarydesignunit–Packagebody•Libraries–Relationshipsbetweendesignunitsandlibraries–VisibilityRules