Verilog HDL設計模擬-新品速遞

精品文檔-下載后可編輯VerilogHDL設計模擬-新品速遞VerilogHDL不僅提供描述設計的能力，而且提供對激勵、控制、存儲響應和設計驗證的建模能力。激勵和控制可用初始化語句產生。驗證運行過程中的響應可以作為“變化時保存”或作為選通的數(shù)據(jù)存儲。，設計驗證可以通過在初始化語句中寫入相應的語句自動與期望的響應值比較完成。下面是測試模塊Top的例子。該例子測試2.3節(jié)中講到的FA_Seq模塊?！畉imescale1NS/1nsmoduleTop;//一個模塊可以有一個空的端口列表。regPA,PB,PCi;wirePCo,PSum;//正在測試的實例化模塊：FA_SeqF1(PA,PB,PCi,PSum,PCo);//定位。initialbegin:ONLY_ONCEreg[3:0]Pal;//需要4位,Pal才能取值8。for(Pal=0;Pal8;Pal=Pal+1)begin{PA,PB,PCi}=Pal;#5$display(“PA,PB,PCi=%b%b%b”,PA,PB,PCi,“:::PCo,PSum=%b%b”,PCo,PSum);endendendmodule在測試模塊描述中使用位置關聯(lián)方式將模塊實例語句中的信號與模塊中的端口相連接。也就是說，PA連接到模塊FA_Seq的端口A，PB連接到模塊FA_Seq的端口B，依此類推。注意初始化語句中使用了一個for循環(huán)語句，在PA、PB和PCi上產生波形。for循環(huán)中的條賦值語句用于表示合并的目標。自右向左，右端各相應的位賦給左端的參數(shù)。初始化語句還包含有一個預先定義好的系統(tǒng)任務。系統(tǒng)任務$display將輸入以特定的格式打印輸出。系統(tǒng)任務$display調用中的時延控制規(guī)定$display任務在5個時間單位后執(zhí)行。這5個時間單位基本上代表了邏輯處理時間。即是輸入向量的加載至觀察到模塊在測試條件下輸出之間的延遲時間。這一模型中還有另外一個細微差別。Pal在初始化語句內被局部定義。為完成這一功能，初始化語句中的順序過程（begin-end）必須標記。在這種情況下,ONLY_ONCE是順序過程標記。如果在順序過程內沒有局部聲明的變量，就不需要該標記。下面是測試模塊產生的輸出。PA,PB,PCi=000:::PCo,PSum=00PA,PB,PCi=001:::PCo,PSum=01PA,PB,PCi=010:::PCo,PSum=01PA,PB,PCi=011:::PCo,PSum=10PA,PB,PCi=100:::PCo,PSum=01PA,PB,PCi=101:::PCo,PSum=10PA,PB,PCi=110:::PCo,PSum=10PA,PB,PCi=111:::PCo,PSum=11驗證與非門交叉連接構成的RS_FF模塊的測試模塊如下例所示。`timescale10ns/1nsmoduleRS_FF(Q,Qbar,R,S);outputQ,Qbar;inputR,S;nand#1(Q,R,Qbar);nand#1(Qbar,S,Q,);//在門實例語句中，實例名稱是可選的。endmodulemoduleTeST;regTS,TR;wireTQ,TQb;//測試模塊的實例語句：RS_FFNSTA(.Q(TQ),.S(TS),.R(TR),.Qbar(TQb));//采用端口名相關聯(lián)的連接方式。//加載激勵：initialbegin:TR=0;TS=0;#5TS=1;#5TS=0;TR=1;#5TS=1;TR=0;#5TS=0;#5TR=1;end//輸出顯示：initial$monitor("Attime%t,",$time,"TR=%b,TS=%b,TQ=%b,TQb=%b",TR,TS,TQ,TQb);endmoduleRS_FF模塊描述了設計的結構。在門實例語句中使用門時延；例如，個實例語句中的門時延為1個時間單位。該門時延意味著如果R或Qbar假定在T時刻變化，Q將在T+1時刻獲得計算結果值。模塊Test是一個測試模塊。測試模塊中的RS_FF用實例語句說明其端口用端口名關聯(lián)方式連接。在這一模塊中有兩條初始化語句。個初始化語句只簡單地產生TS和TR上的波形。這一初始化語句包含帶有語句間時延的程序塊過程賦值語句。第二條初始化語句調用系統(tǒng)任務$monitor。這一系統(tǒng)任務調用的功能是只要參數(shù)表中指定的變量值發(fā)生變化就打印指定的字符串。下面是測試模塊產生的輸出。請注意`timescale指令在時延上的影響。Attime0,TR=0,TS=0,TQ=x,TQb=xAttime10,TR=0,TS=0,TQ=1,TQb=1Attime50,TR=0,TS=1,TQ=1,TQb=1Attime60,TR=0,TS=1,TQ=1,TQb=0Attime100,TR=1,TS=0,TQ=1,TQb=0Attime110,TR=1,TS=0,TQ=1,TQb=1Attime120,TR=1,TS=0,TQ=0,TQb=1Attime150,TR=0,TS=1,TQ=0,TQb=1Attime160,TR=0,TS=1,TQ=1,TQb=1Attime170,TR=0,TS=1,TQ=1,TQb=0Attime200,TR=0,TS=0,TQ=1,TQb=0Attime210,TR=0,T