淺析SystemVerilog中的枚舉類型

枚舉類型定義了一組具有名稱的值，在沒有指定值時默認是int型數值。

enum {red, green, blue} light1, light2;

在上面的例子中，沒有指定任何數據類型，因此使用默認的“int”數據類型。所以枚舉類型light1和light2被定義為默認類型int的變量，其中包括三個成員:red, green, blue。由于沒有指定各個含義的值，所以

red= 0，green= 1，blue= 2

再舉一個例子

enum integer {IDLE, XX='x, S1='b01, S2='b10} state, next;

這里的數據類型是“integer”，這意味著可以將“x”和“z”值分配給枚舉成員。

enum {bronze=3, silver, gold} medal;

以bronze = 3作為初始值。因此,silver等于4，gold等于5

enum {a=3, b=7, c} alphabet;

顯式de為“a”和“b”賦值，因此，c將取b = 7后的值。所以c等于8，也就是說

enum {a=0, b=7, c, d=8} alphabet;

Synopsys– VCS:
Error-[ENUMDUPL] Duplicate labels in enum
The enum label 'd' has the value 4'd8 which is duplicate of enum label 'c' in the declared enum.

上面這種寫法就會導致編譯錯誤，因為c和d的值都等于8。

enum {a, b=7, c} alphabet;

“a”是第一個成員，它沒有值。所以,a等于0。因此，

a = 0, b = 7, c = 8

enum bit [3:0] {red=‘h13, green, blue} color;

Synopsys– VCS:
Error-[ENUMRANGE] Enum label outside value range
The enum label 'red' has the value 'h00000013 which is outside the range of
the base type of the declared enum, which is 4 bit unsigned.

上面這個示例也會導致編譯錯誤，因為red=‘h13超出了 bit[3:0]所能夠表示的最大值（'hF） 。修改成下面的寫法就沒有問題了。

enum bit [3:0] {red=‘d13, green, blue} color;

此時

red = 13, green = 14, and blue = 15

枚舉類型在設計有限狀態(tài)機時特別有用。例如,
你可以定義一個枚舉類型來描述狀態(tài)機的狀態(tài):

enum logic [1:0] { IDLE = 2’b00,
 READ = 2’b01,
 WRITE = 2’b10,
 RMW = 2’b11,
 ILLEGAL = ‘x } current_state,next_state;

因為類型是“l(fā)ogic”，所以可以將未知的('x)值分配給enum成員。這樣的'x賦值對于仿真比較非常有用，而對于綜合工具而言就進行合適的優(yōu)化。該枚舉可以在狀態(tài)機編碼中使用，如下所示:

always @(posedge clk, negedge reset)
 if (!reset) 
    current_state <= IDLE;
 else 
    current_state = next_state;
 
 always @* begin
 …
 case (current_state)
    IDLE : if (rdy) next_state = READ;
    READ : if (go) next_state = WRITE;
    …
 endcase
end

Enumerated-Type Methods

枚舉類型的變量提供了很多內建的方法，方便提取枚舉類型成員的值。

module enum_methods;
 typedef enum { red, green, blue, yellow } Colors;
 Colors c; 
 initial begin
    $display("Number of members in Colors = %0d",c.num); 
    c = c.frst( );
    $display("First member # = %0d",c); 
    c = c.next(2); 
    $display("c = %0d",c); 
    c = c.last ( );
    $display("Last member # = %0d",c);
    $display( "%s : %0d", c.name, c );
 end
 endmodule

Simulation log:

run -all;
# KERNEL: Number of members in Colors = 4
# KERNEL: First member # = 0
# KERNEL: c = 2
# KERNEL: Last member # = 3
# KERNEL: yellow : 3
# KERNEL: Simulation has fnished. There are no more test vectors to simulate.
exit

在這個例子中，我們定義了一個

typedef enum {red, green, blue, yellow} Colors;

Colors有四個成員，

red= 0，
green= 1，
blue= 2，
yellow= 3

我們首先使用“num()”方法顯示枚舉中的成員數量。

枚舉中有四名成員。所以，顯示日志顯示

Number of members in Colors = 4.

然后使用方法“frst()”獲取第一個成員的值。第一個成員是值為0的“red”，因此打印顯示

First member = 0.

然后我們使用“next(2)”，會獲取后面第2個值2.

接下來，我們通過last()獲得枚舉類型最后一個成員的值3

Last member # = 3

下面是另一個簡單的例子:

module datatype1;
 enum bit [3:0] {red, green, blue=5} color; 
 int i1;
 initial
begin
    i1 = green; 
    $display ("color.name = %s", color.name);
    $display ("red=%s green=%d blue=%d",color.
name,green,blue); //OK
    $display ("red=%d green=%d blue=%d",red,green,blue); //OK
 end
 endmodule

Simulation log:

i1 = 1
color.name = red
red=red green= 1 blue= 5
red= 0 green= 1 blue= 5

 V C S S i m u l a t i o n R e p o r t

Enumerated Type withRanges

枚舉類型的成員可以指定范圍

module datatype1;
typedef enum { read=10, write[5], intr[6:8] } cycle;
enum { readreg[2] = 1, writereg[2:4] = 10 } reg0;
initial
begin
   $display ("read=%0d
", read);
   $display ("write0=%0d write1=%0d write2=%0d write3=%0d 
write4=%0d
", write0,write1,write2,write3,write4); 
   $display ("intr6=%0d, intr7=%0d intr8=%0d
",intr6, 
intr7, intr8);
   $display ("readreg0=%0d readreg1=%0d
",readreg0, 
readreg1);
   $display ("writereg2=%0d writereg3=%0d writereg4=%0d
n",writereg2, writereg3, writereg4);
end
endmodule

typedef enum { read=10, write[5], intr[6:8] } cycle;

定義一個包含三個成員的枚舉類型“cycle”。第一個“read”;然后是一系列5個writes，分別是“write0”、“write1”、“write2”、“write3”、“write4”;然后是三個“intr”的，即“intr6”、“intr7”和“intr8”。

類似的，

enum { readreg[2] = 1, writereg[2:4] = 10 } reg0;

定義一個包含兩個成員:

readreg0和readreg1，

writereg2, writereg3和writereg4。

下面是仿真log

read=10
write0=11 write1=12 write2=13 write3=14 write4=15
intr6=16, intr7=17 intr8=18
readreg0=1 readreg1=2
writereg2=10 writereg3=11 writereg4=12
V C S S i m u l a t i o n R e p o r t

審核編輯：劉清