Verilog硬件描述语言门级和数据流建模解析课件.ppt
西安邮电大学微电子系,第三章 门级和数据流建模,西安邮电大学微电子系第三章 门级和数据流建模,前言,Verilog模型可以是实际电路不同级别的抽象。这些抽象的级别和它们对应的模型类型共有以下五种： 系统级(system) 算法级(algorithmic) RTL级(RegisterTransferLevel): 门级(gate-level): 开关级(switch-level),前言 Verilog模型可以是实际电路不同级别的抽象。这些抽,对于数字系统的逻辑设计工程师而言，熟练地掌握门级、RTL级、算法级、系统级是非常重要的。而对于电路基本部件（如门、缓冲器、驱动器等）库的设计者而言，则需要掌握用户自定义源语元件（UDP）和开关级的描述。 本章我们将通过实际的Verilog HDL模块的设计来学习如何从门级抽象的角度来设计数字电路。,对于数字系统的逻辑设计工程师而言，熟练地掌握门级、R,3.1 门级结构描述,门级建模：电路是用表示门的术语来描述的。一个逻辑网络是由许多逻辑门和开关所组成，因此用逻辑门的模型来描述逻辑网络是比较直观方法。Verilog HDL提供预定义的一些门类型的关键字（原语），可以用于门级结构建模。1. 与非门、或门和反向器等及其说明语法Verilog HDL中有关门类型的关键字共有26个之多，我们只介绍最基本的八个。有关其它的门类型关键字，读者可以通过翻阅Verilog HDL语言参考书，在设计的实践中逐步掌握。,3.1 门级结构描述门级建模：电路是用表示门的术语来描述的。,下面列出了八个基本的门类型（GATETYPE）关键字和它们所表示的门的类型：and与门nand与非门nor或非门or或门xor异或门xnor异或非门buf缓冲器not非门门的说明语法可以用标准的声明语句格式和一个简单的实例引用加以说明。,下面列出了八个基本的门类型（GATETYPE）关键字和它们所,门声明语句的格式如下：，;门的类型是门声明语句所必需的，它可以是Verilog HDL语法规定的26种门类型中的任意一种。驱动能力和延时是可选项，可根据不同的情况选不同的值或不选。在verilog中通过“实例引用”这些逻辑门来构造电路。具体的例子: nand #10 nd1(a,data,clock,clear);这说明在模块中引用了一个名为nd1的与非门（nand),输入为data、clock和clear,输出为a,输出与输入的延时为10个单位时间。,门声明语句的格式如下：,2. 门级结构描述实例： D触发器：下例是用Verilog HDL语言描述的D型主从触发器模块,2. 门级结构描述实例：,module flop(data,clock,clear,q,qb);inputdata,clock,clear;outputq,qb; nandnd1(a,data,clock,clear), nd2(b,ndata,clock), nd4(d,c,b,clear), nd5(e,c,nclock), nd6(f,d,nclock), nd8(qb,q,f,clear); nandnd3(c,a,d), nd7(q,e,qb); not iv1(ndata,data), iv2(nclock,clock);endmodule,module flop(data,clock,clear,q,门级多路选择器：,module twomux (out, a, b, sl); input a, b, sl; output out; not u1 (nsl, sl ); and u2 (sela, a, nsl); and u3 (selb, b, sl); or u4 (out, sela, selb);endmodule,门级多路选择器：module twomux (out, a,超前进位加法器,和及进位输出方程： 若定义：,超前进位加法器和及进位输出方程：,则： 推出,则：,3.2数据流建模,门级建模非常直观。但是如果电路功能比较复杂，使用门级描述不但繁琐而且容易出错。需要设计者从更高的抽象层次进行电路设计。将设计的重点放在功能的实现上。在目前的数字设计领域，数据流建模是RTL级描述的重要的组成部分。数据流建模：指根据数据在寄存器之间的 流动和处理过程对电路进行描述。,3.2数据流建模门级建模非常直观。但是如果电路功能比较复杂，,连续赋值语句（assign）是verilog数据流建模的基本语句。assign delay LHS_net=RHS_expression;半加器的例子module HalfAdder(A, B, Sum, Carry); input A, B; output Sum, Carry; assign Sum=AB; assign Carry=A endmodule,连续赋值语句（assign）是verilog数据流建模的基本,连续赋值语句的特点; 1、assign语的左值必须是一个线网而不能是寄存器。2、assign语句总是处于激活状态，即:只要任意一个操作数发生变化，表达式就会被立即从新计算，并将结果赋给等号左边的线网。3、操作数可以是线网型、寄存器型变量，也可以是函数调用。,连续赋值语句的特点;,隐式连续赋值 /普通连续赋值 wire out； assign out=in1&in2；/隐式赋值实现同样功能 wire out = in1&in2；,隐式连续赋值,1、多路选择器：/用逻辑方程描述的多路选择器module twomux (out, a, b, sl); input a, b, sl; output out; assign out =slendmodule,数据流建模举例,1、多路选择器：数据流建模举例,/使用条件操作符描述的四选一多路选择器 module mux4_1 (out,i0,i1,i2,i3,s0,s1); output out; input i0,i1,i2,i3; input s0,s1; assign out =s1? ( s0? i3:i2) : (s0? i1:i0); endmodule,/使用条件操作符描述的四选一多路选择器,2、四位全加器 module fulladder4(sum,cout,a,b,cin); output3:0 sum; output cout; input 3:0 a,b; input cin; assign cout,sum =a+b+cin; endmodule,2、四位全加器,如何检查上述例子其功能是否正确？ 需要有测试激励信号输入到被测模块 需要记录被测模块的输出信号 需要把用功能和行为描述的Verilog模块 转换为门级电路互连的电路结构（综合）。 需要对已经转换为门级电路结构的逻辑 进行测试（门级电路仿真）。 需要对布局布线后的电路结构进行测试。 （布局布线后仿真）。,模块的验证,如何检查上述例子其功能是否正确？ 模块的验证,验证程序一般是指描述一个设计确定的输入序列和期望输出的响应的代码的集合 。Testbench 是完全封闭的，没有输入也没有输出。,被测模块激励和控制信号输出响应和验证验证程序一般是指描述一个,验证模块常见的形式：timescale 时间单位/时间精度module t;reg ; /声明连接变量wire; /声明连接变量initial begin ; ; ; end /产生测试信号always #delay begin ; end /产生测试信号Testedmd m(.in1(ina), .in2(inb), .out1(outa), .out2(outb) );/被测模块的实例引用initial begin .; .; . end /记录输出和响应endmodule,验证模块常见的形式：,端口与外部信号的连接：1、顺序端口连接 连接到模块实例的信号必须与模块声明时模块端口列表中的位置保持一致。 module fulladd4_tb; reg3:0 A，B； reg C_IN; wire3:0 SUM; wire C_OUT; fulladd4 uut ( SUM, C_OUT, A, B, C_IN); endmodule,端口与外部信号的连接：,module fulladd4( sum,c_out,a,b,c_in); . . . endmodule2、命名端口连接: 在复杂的设计中，模块可能具有很多个端口，在这种情况下，要记住列表中的顺序是很困难的，而且容易出错，verilog提供了另一种端口连接方式。 fulladd4 uut(.c_out(C_OUT),.sum(SUM),.a(A) .b(B),.c_in(C_IN);,module fulladd4( sum,c_out,a,端口连接规则,从模块内部来讲，输入端口必须为线网型。从模块外部来看，输入口可以连接到线网或reg型变量。从模块内部看，输出口可以是线网或reg型。但从模块外部来看，输出必须连接到线网型，而不能连接到reg型的变量。,端口连接规则从模块内部来讲，输入端口必须为线网型。从模块外部,
