枚舉類型定義了一組具有名稱的值,在沒有指定值時默認是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
枚舉類型在設計有限狀態機時特別有用。例如,
你可以定義一個枚舉類型來描述狀態機的狀態:
enum logic [1:0] { IDLE = 2’b00, READ = 2’b01, WRITE = 2’b10, RMW = 2’b11, ILLEGAL = ‘x } current_state,next_state;
因為類型是“logic”,所以可以將未知的('x)值分配給enum成員。這樣的'x賦值對于仿真比較非常有用,而對于綜合工具而言就進行合適的優化。該枚舉可以在狀態機編碼中使用,如下所示:
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
審核編輯:劉清
-
VCS
+關注
關注
0文章
79瀏覽量
9624 -
狀態機
+關注
關注
2文章
492瀏覽量
27556
原文標題:SystemVerilog中的枚舉類型
文章出處:【微信號:芯片驗證工程師,微信公眾號:芯片驗證工程師】歡迎添加關注!文章轉載請注明出處。
發布評論請先 登錄
相關推薦
評論