使用Synopsys VCS使用constraint遇到的一个奇怪问题

实在有点晕乎了，VCS是不是支持implicity contraint,

如下，

AHB_DW == 32 =>  addr[1:0] == 0;

这个在编译时总报错，说是=>这个操作符用错了地方。

改成if形式的implicity contraint就可以了，这是为何？