Verilog測試臺狀態圖

Question

我有一個家庭作業問題，需要製作一個mealy機器的狀態圖，每當連續輸入3個或更多個1時就會輸出一個狀態圖。 我想出了它，並且我看到它的方式在我的案例（狀態）中概述，並且我感覺它是正確的，因爲它編譯得很好。我認爲我的問題在於我的測試平臺。這一切都在一個文件中，但打散，使我的解釋更容易...

// This is my module for the state diagram 
module prob558(output reg y,input x, clk,reset); 
parameter s0=2'b00,s1=2'b01,s2=2'b10,s3=2'b11; 
reg [1:0] state; 
always @(posedge clk, negedge reset) 
if (reset==0) state<=s0; 
else 
case(state) 
s0: if (x==0) state<=s0 && y==0; else if(x==1)state<=s1 && y==0; 
s1: if (x==0) state<=s0 && y==0; else if(x==1)state<=s2 && y==0; 
s2: if (x==0) state<=s0 && y==0; else if(x==1)state<=s3 && y==0; 
s3: if (x==0) state<=s0 && y==1; else if(x==1)state<=s3 && y==1; 
endcase 
endmodule 

這裏是我的測試臺開始的地方......我想在這裏做的是隻輸出x和y來看到他們來出什麼是

module prob558_tb(); 
reg clock; 
reg reset; 
reg x; 
wire y; 
prob558 p558(y,x,clk,reset); 


// this is where I am starting to get lost, I am only trying to follow a 
// poorly explained example my professor showed us for a synchronous 
// circuit... 
initial #200 $finish; 
initial begin 
clock = 0; 
reset = 0; 
#5 reset =1; 
#5 clock=~clock; 
end 

// This I came up with my own, and although it is wrong, this is the way I am 
// thinking of it. What I am trying to do below is to have the 'x' inputs be 
// set by these numbers I am inputting, and then I was thinking it would go 
// through my case statements and the 'y' output would be given 
initial begin 
#10 x=1; 
#10 x=0; 
#10 x=1; 
#10 x=1; 
#10 x=1; 
#10 x=1; 
#10 x=1; 
#10 x=0; 
#10 x=0; 
end 

// the following below I know is correct! 
initial begin 
$monitor("x= %d y=%d",x,y); 
$dumpfile("prob558.vcd"); 
$dumpvars; 
end 
endmodule 

我得到的0101010 X輸入和我的Y輸出全部出來爲「Y = X」 如果任何人有任何提示改進我將不勝感激！

Answer 1

這裏有一對夫婦，我想在指向您的測試平臺，並幫助你找出什麼是錯在你的RTL代碼更正：

1. clk必須clock

   // prob558 p558(y,x,clk,reset); <-- clk must be clock 
       prob558 p558(y,x,clock,reset); 
   

2. clock世代必須處於無限循環

   //#5 clock=~clock; <-- should be inside an infinite loop 
   
   initial begin 
       forever begin 
       #5 clock = ~clock; 
       end 
   end 
   

3. 等待復位斷言某些輸入信號之前

   @(posedge reset); // wait for reset 
   

4. 使用@(posedge clock)而不是#10同步您輸入clock使用非阻塞分配。

   // #10 x=1; <-- use @(posedge clock) instead and a non-blocking assignment 
   // #10 x=0; 
   // #10 x=1; 
   // #10 x=1; 
   // #10 x=1; 
   // #10 x=1; 
   // #10 x=1; 
   // #10 x=0; 
   // #10 x=0; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 0; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 1; 
       @(posedge clock) x <= 0; 
       @(posedge clock) x <= 0; 
   

你可能想嘗試運行上述更正here，看到波形。

現在，您可以嘗試修復RTL代碼的邏輯（輸出y輸出不正確，請參閱Greg的評論），因爲這是您的作業。