SV的->操作符是什么意思？

空白MAX

最近在看SV，看到->操作符，看不懂什么意思

静影沉璧

蕴含操作符，在约束里面有

uiwjyb

->表示触发一个事件，而@表示等待一个事件（或者wait(event.triggered)），一般都是成对出现的

空白MAX

回复 3# uiwjyb

约束部分也用->，是一个意思吗？这段怎么理解？

uiwjyb

回复 4# 空白MAX


   你这是那本绿皮书上的例子吧，书上写了啊，这里的 -> 就相当于

1. if(io_space_mode)
   
2.   addr[31]==1'b1;
   

复制代码

。

uiwjyb

回复 5# uiwjyb


   再给你贴个例子助你理解，看下面的代码：

1. constraint addr_range
   
2. {
   
3.     (atype == low ) -> addr inside { [0:15] };
   
4.     (atype == mid ) -> addr inside { [16:127] };
   
5.     (atype == high) -> addr inside { [128:255] }；
   
6. }
   

复制代码

   这个例子就相当于：

1. case(atype)
   
2.     low : addr inside { [0:15] };
   
3.     mid : addr inside { [16:127] };
   
4.     high: addr inside { [128:255] };
   
5. endcase
   

复制代码

770498962

有两个功能：
1、->触发事件
2、和case差不多的功能

770498962

->触发时间
wait是等待一个事件，电平敏感
@也是等待一个事件，是posedge或negedge敏感

yuanpin318

同意楼上

空白MAX

回复 6# uiwjyb

非常感谢