Verilog硬件描述語言門級和數(shù)據(jù)流建模

西安郵電大學微電子系第三章

門級和數(shù)據(jù)流建模前言

Verilog模型可以是實際電路不同級別的抽象。這些抽象的級別和它們對應(yīng)的模型類型共有以下五種：

系統(tǒng)級(system)算法級(algorithmic)RTL級(RegisterTransferLevel):門級(gate-level):

開關(guān)級(switch-level)對于數(shù)字系統(tǒng)的邏輯設(shè)計工程師而言，熟練地掌握門級、RTL級、算法級、系統(tǒng)級是非常重要的。而對于電路基本部件（如門、緩沖器、驅(qū)動器等）庫的設(shè)計者而言，則需要掌握用戶自定義源語元件（UDP）和開關(guān)級的描述。本章我們將通過實際的VerilogHDL模塊的設(shè)計來學習如何從門級抽象的角度來設(shè)計數(shù)字電路。

3.1門級結(jié)構(gòu)描述門級建模：電路是用表示門的術(shù)語來描述的。一個邏輯網(wǎng)絡(luò)是由許多邏輯門和開關(guān)所組成，因此用邏輯門的模型來描述邏輯網(wǎng)絡(luò)是比較直觀方法。VerilogHDL提供預(yù)定義的一些門類型的關(guān)鍵字（原語），可以用于門級結(jié)構(gòu)建模。1.與非門、或門和反向器等及其說明語法VerilogHDL中有關(guān)門類型的關(guān)鍵字共有26個之多，我們只介紹最基本的八個。有關(guān)其它的門類型關(guān)鍵字，讀者可以通過翻閱VerilogHDL語言參考書，在設(shè)計的實踐中逐步掌握。下面列出了八個基本的門類型（GATETYPE）關(guān)鍵字和它們所表示的門的類型：

and 與門 nand 與非門 nor 或非門 or 或門 xor 異或門 xnor 異或非門 buf 緩沖器 not 非門

門的說明語法可以用標準的聲明語句格式和一個簡單的實例引用加以說明。

門聲明語句的格式如下：

<門的類型>[<驅(qū)動能力><延時>]<門實例1>，<門實例2>，…<門實例n>;

門的類型是門聲明語句所必需的，它可以是VerilogHDL語法規(guī)定的26種門類型中的任意一種。驅(qū)動能力和延時是可選項，可根據(jù)不同的情況選不同的值或不選。在verilog中通過“實例引用”這些邏輯門來構(gòu)造電路。具體的例子:

nand#10nd1(a,data,clock,clear);

這說明在模塊中引用了一個名為nd1的與非門（nand),輸入為data、clock和clear,輸出為a,輸出與輸入的延時為10個單位時間。2.門級結(jié)構(gòu)描述實例：D觸發(fā)器：

下例是用VerilogHDL語言描述的D型主從觸發(fā)器模塊

module

flop(data,clock,clear,q,qb);input data,clock,clear;output q,qb;

nand nd1(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);nand nd3(c,a,d),nd7(q,e,qb);not iv1(ndata,data),iv2(nclock,clock);

endmodule門級多路選擇器：moduletwomux(out,a,b,sl);inputa,b,sl;outputout;notu1(nsl,sl);andu2(sela,a,nsl);andu3(selb,b,sl);oru4(out,sela,selb);endmodule

超前進位加法器和及進位輸出方程：若定義：

則：推出3.2數(shù)據(jù)流建模門級建模非常直觀。但是如果電路功能比較復(fù)雜，使用門級描述不但繁瑣而且容易出錯。需要設(shè)計者從更高的抽象層次進行電路設(shè)計。將設(shè)計的重點放在功能的實現(xiàn)上。在目前的數(shù)字設(shè)計領(lǐng)域，數(shù)據(jù)流建模是RTL級描述的重要的組成部分。數(shù)據(jù)流建模：指根據(jù)數(shù)據(jù)在寄存器之間的流動和處理過程對電路進行描述。連續(xù)賦值語句（assign）是verilog數(shù)據(jù)流建模的基本語句。assign[delay]LHS_net=RHS_expression;半加器的例子moduleHalfAdder(A,B,Sum,Carry);inputA,B;outputSum,Carry;assignSum=A^B;assignCarry=A&B;endmodule連續(xù)賦值語句的特點;1、assign語的左值必須是一個線網(wǎng)而不能是寄存器。2、assign語句總是處于激活狀態(tài)，即:只要任意一個操作數(shù)發(fā)生變化，表達式就會被立即從新計算，并將結(jié)果賦給等號左邊的線網(wǎng)。3、操作數(shù)可以是線網(wǎng)型、寄存器型變量，也可以是函數(shù)調(diào)用。隱式連續(xù)賦值

//普通連續(xù)賦值wireout；assignout=in1&in2；//隱式賦值實現(xiàn)同樣功能

wireout=in1&in2；1、多路選擇器：//用邏輯方程描述的多路選擇器moduletwomux(out,a,b,sl);inputa,b,sl;outputout;assignout=~sl&a|sl&b;endmodule數(shù)據(jù)流建模舉例//使用條件操作符描述的四選一多路選擇器

modulemux4_1(out,i0,i1,i2,i3,s0,s1);outputout;inputi0,i1,i2,i3;inputs0,s1;assignout=s1?(s0?i3:i2):(s0?i1:i0);endmodule2、四位全加器modulefulladder4(sum,cout,a,b,cin);output[3:0]sum;

outputcout;input[3:0]a,b;inputcin;assign{cout,sum}=a+b+cin;endmodule如何檢查上述例子其功能是否正確？需要有測試激勵信號輸入到被測模塊需要記錄被測模塊的輸出信號需要把用功能和行為描述的Verilog模塊轉(zhuǎn)換為門級電路互連的電路結(jié)構(gòu)（綜合）。需要對已經(jīng)轉(zhuǎn)換為門級電路結(jié)構(gòu)的邏輯進行測試（門級電路仿真）。需要對布局布線后的電路結(jié)構(gòu)進行測試。（布局布線后仿真）。

模塊的驗證被測模塊激勵和控制信號輸出響應(yīng)和驗證驗證程序一般是指描述一個設(shè)計確定的輸入序列和期望輸出的響應(yīng)的代碼的集合。Testbench是完全封閉的，沒有輸入也沒有輸出。驗證模塊常見的形式：`timescale時間單位/時間精度modulet;reg…;//聲明連接變量wire…;//聲明連接變量initialbegin…;…;…;end……//產(chǎn)生測試信號always#delaybegin…;end……//產(chǎn)生測試信號Testedmdm(.in1(ina),.in2(inb),.out1(outa),.out2(outb));//被測模塊的實例引用initialbegin….;….;….end//記錄輸出和響應(yīng)endmodule端口與外部信號的連接：1、順序端口連接連接到模塊實例的信號必須與模塊聲明時模塊端口列表中的位置保持一致。

modulefulladd4_tb;reg[3:0]A，B；

regC_IN;wire[3:0]SUM;wireC_OUT;fulladd4uut(SUM,C_OUT,A,B,C_IN);endmodulemodulefulladd4(sum,c_out,a,b,c_in);...endmodule2、命名端口連接:

在復(fù)雜的設(shè)計中，模塊可能具有很多個端口，在這種情況下，要記住列表中的順序是很困難的，而且容易出錯，verilog提供了另一種端口連接方式。