When I use xrun to do simulation, many warnings are reported as below:
-------------------------------------------------------------------------------
file: /proj/example/rtl/axi2local.v
(* covered_fsm, channel, is="IntCurState", os="IntNextState", trans="IDLE->IDLE", trans="IDLE->WAIT", trans="WAIT->WAIT", trans="WAIT->RSP", trans="RSP->IDLE", trans="RSP->RSP" *)
|
xmvlog: *W,DUPATR (/proj/example/rtl/axi2local.v,12669|87): duplicate attribute name (trans).
-------------------------------------------------------------------------------
It seems that xrun think it's not correct to use multiple "trans" attibute. But I think this is allowed in Verilog-2001 standard. I've seen this kind of code many times. Am I right?
Thanks a lot!