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

  • Post author:
  • Post category:其他


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

如下,

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

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

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

转载于:https://www.cnblogs.com/guofu2010/articles/2462301.html