verilog(有限状态机)中序列检测器的问题

Question

我想制作一个序列检测器，可以检测三个连续的序列。当序列被检测到时，数字电路停止并等待复位信号激活，所以它将再次检测序列。我写了代码，但它有一些问题。在xvlog文件中，我有以下错误：

"syntax error near ;"(用于23、25、27、29、35、47、48行(

和

"default case should appear only once"(用于第23、25、27、29、35、48、49行(。

这是代码：

`timescale 1ns / 1ps
`define S0 3'd0;
`define S1 3'd1;
`define S2 3'd2;
`define S3 3'd3;
`define S4 3'd4;
module kolo1(out,in,r,clk);
output out;
reg out;
input in,r,clk;
reg [2:0] stanje,sledece_stanje;
initial
begin
stanje=`S0;
sledece_stanje=`S0;
out=0;
end
always @(stanje or r or in)
begin
case(stanje)
`S0: if(r) sledece_stanje=`S1;
else sledece_stanje=`S0;
`S1: if(in) sledece_stanje=`S2;
else sledece_stanje=`S0;
`S2: if(in) sledece_stanje=`S3;
else sledece_stanje=`S0;
`S3: if(in) sledece_stanje=`S4;
else sledece_stanje=`S0;
`S4: begin 
repeat(1) @(posedge clk);
sledece_stanje=`S0;
end
default: sledece_stanje=`S0;
endcase 
end
always @(posedge clk)
begin
stanje=sledece_stanje;
end
always @(stanje)
begin
case(stanje)
`S0,`S1,`S2,`S3: out=0;
`S4:out=1;
default: out=0;
endcase
end
endmodule
module stimulus;
reg clk,in,res;
wire out;
kolo1 k1(out,in,res,clk);
initial
clk=1'b0;
always 
#2 clk=~clk;
initial 
begin
$monitor($time,"out=%b in=%b res=%b clk=%b",out,in,res,clk);
in=0;res=0;
#2 res=1;
#20 res=0;
#5 res=1;
#30 $finish;
end
endmodule

Answer 1

您应该从define宏中删除分号：

`define S0 3'd0
`define S1 3'd1
`define S2 3'd2
`define S3 3'd3
`define S4 3'd4

编译器执行一个简单的文本替换。例如，每当它看到`S0时，它就会被3'd0;替换。因此，

`S0: if(r) sledece_stanje=`S1;

变为：

3'd0;: if(r) sledece_stanje=`S1;

;:是一个语法错误。