枚举类型定义了一组具有名称的值,在没有指定值时默认是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文章
78浏览量
9589 -
状态机
+关注
关注
2文章
492浏览量
27470
原文标题:SystemVerilog中的枚举类型
文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
评论