2-4解碼器測試驗証程式編譯錯誤

ultraman

剛接觸,看不懂,希望先進們可以解說一下程式,還有一直編譯錯誤,我不懂為什麼錯誤,如果可以也想請教一下
  e# @$ ~! N& `' Y7 v/ z4 U8 P
) c+ n4 h6 f) M+ n0 {! F1 I'timescale 1ns/1ns

module the_2-4_decoder_testing_and_certification_program;
. L  W( u. F1 H1 S- S
0 h8 H* o) N5 Hwire[3:0]y;
" }) }9 [3 Q8 V4 Ereg a;
9 C: p2 b) r2 Z8 _% K; i4 jreg b;
4 Q7 C) E$ U% \: J) d
. `5 m# o5 l1 g, N: I5 f4 J% C8 adeco2_4g UUT(
& T4 ?2 V2 d( u/ y        .y(y),
0 z' @  }3 e" C& m) G; z3 p" p5 v        .a(a),
        .b(b));
       
integer TX_FILE;
1 G% n9 N7 L/ K8 X$ C' W" n2 q, Ninteger TX_ERROR;

initial
: L# V2 K) ?: _begin
        TX_ERROR=0;
+ @& D, _/ K$ p1 }+ x        TX_FILE=$fopen("result.txt");
       
7 j5 I3 I! A$ u3 z+ p3 W        a=1'b0;
        b=1'b0;
       
        #100
        a=1'b1;
       
' U& v" ]/ T% b4 s        #100
        a=1'b0;                
        b=1'b1;
       
        #100
        b=1'b1;
; B' q$ Z/ v$ ?7 Y3 X5 A0 }/ k       
8 S  S) Z: N' U* p+ l        #150
% j2 v) U4 a5 x! o        if(TX_ERROR==0)
' J1 x. _+ I. C1 y2 ~        begin
$ y9 X5 ?: |) x                $display("No errors or warning");
                $display(TX_FILE,"No errors or warning");
        end else begin
/ m# B) `" k1 n6 W& p# h( e9 O. ^                $display("%d errors found in simulation",TX_ERROR);
                $display(TX_FILE,"%d errors found in simulation",TX_ERROR);
: E% ~- {* v3 o2 X2 R        end
                $fclose(TX_FILE);
* r0 Z0 N+ t. Y: u                $stop;
        end
0 s7 s# [# o( L6 O* _       
6 _7 H0 M* ^  L6 \# L& ~5 Q% t        task CHECK_y;
        input[3:0]NEXT_y;
* N# z& I6 ^4 a! F& X$ B" j3 ?- d        #0 begin
                if(NEXT_y!==y)begin
                        $display("Error at time=%dns y=%b,expected=%b",
6 k' a7 n& w+ x7 N- m                        $time,y,NEXT_y);
! U$ n$ I1 O( N, M, G3 P/ X/ ?# k                        $fdisplay(TX_FILE,"Error at time=%dns y=%b,expected=%b",                               
1 K# M5 e  J4 @  N! r                        $time,y,NEXT_y);
6 A: o9 l2 X8 N- o" t                        TX_ERROR=TX_ERROR+1;
                end
        end
endtask
endmodule

card_4_girt

* C6 `0 R/ n. q% z! M! B你的錯誤有以下幾點: (關於指令解釋以及程式檔請見此帖最底下)
( {, i& L( c/ L/ S; K5 M1. `timescale 1ns/1ns (請把第一行改成跟這裡一樣的"標點符號")
2. module the_2-4_decoder_testing_and_certification_program;
' [! @  N# ~6 h    必須改成
    module the_2_4_decoder_testing_and_certification_program;

編譯雖過但必須注意的地方:
) ]4 u) \! \( I1. fopen可以適時在後面加入要寫入或讀出，會比較知道動作，比如說
. I6 ?: n0 ?. I' i9 k8 e5 w* y- s    $fopen("result.txt","w");
    模式有w(寫入至未存在或已存在的檔案)、r(讀出)、a(寫入至已存在的檔案)等
+ M! H, v: {4 ]- ~    w的寫入方式是尚未存在的檔案會自動創造且寫入程式訊息，或是對存在的檔案進行覆蓋性寫入，因此每次執行完的結果會把上次結果全部蓋掉
    a的寫入方式是尚未存在的檔案會自動創造且寫入程式訊息，或是對存在的檔案進行非覆蓋性寫入，因此每次執行完的結果會顯示在上次結果之後
    你也可以參考下面的頁面:
) U4 O8 u2 b6 `8 Q0 q% Y    http://www.asic-world.com/verilog/verilog2k3.html
3 b7 v' @5 g9 l3 y3 G1 a) s' h
+ Y6 a# _( g% w2. 因為你的程式含有$stop任務，對testbench會使模擬暫停，因此對後面才定義的task宣告來說並沒有作用到，最好是能在initial begin...end區塊之前就定義好task
3. 你沒有呼叫你的"CHECK_y" task，所以就算把測試的pattern寫出來也沒有作用，應該要想辦法代個值給CHECK_y，才有機會知道TX_ERROR是否為0，並輸出對應的訊息以利debug
, ?9 t  P5 O; Z4 k, D7 U4. 不清楚哪一個是你的第一個輸入，不過我是把它當成{b,a}={00,01,10,11}來看，那麼你應該將刪除線部分改成紅色部分，不然會少一種輸入的可能性
       //{b,a}=2'b00;
2 q) X! b* ~: t: E       a=1'b0;
( d7 ^5 ^. x, `6 C9 E        b=1'b0;
        //{b,a}=2'b01;      
        #100
        CHECK_y(4'bxxxx);
. r  E, b% C9 C2 J# J& t/ B# L: ]        a=1'b1;
       //{b,a}=2'b10;
) W  ^' S- W. S& }        #100:
        CHECK_y(4'bxxxx);
        a=1'b0;                 
        b=1'b1;
        //{b,a}=2'b11;      
. e: U  s% I8 d# ?* P% Z5 U        #100
        CHECK_y(4'bxxxx);
. g2 s; Q; A! i  |0 P6 ?        b=1'b1;  //{b,a}=2'b10;
        a=1'b1;  //{b,a}=2'b11;
        #150
        CHECK_y(4'bxxxx);
9 R( N0 G5 z9 d% ?
5. 關於詳細的解釋，以及可用ModelSim 6.2版模擬的do file(.do)、改過的testbench以及2 to 4 decoder的設計檔，都在下面這個附件中，可參考看看

: b1 Y+ W$ W4 v' Z, S
希望對你有幫助!!