Reply To: Synopsys VCS-MX

[Jim Lewis]

Hi Antonio,
Ouch. Did you report the tool bug to Synopsys? Did they respond?

I would have to think about a work around. Maybe if generics were
added to the package to constrain the size of DataToModel, DataFromModel,
ParamToModel, and ParamFromModel – and they were sized to match the largest
item in the system, it should be ok – maybe after some simple model tweaks
(there is a ToTransaction and FromTransaction that resize).

The problem I see is that each different device in the system has different
requirements. UARTS have 8 bits of data and 3 bits of error injection,
vs AxiStream that supports multiple bytes of data and on item that is passed
via the Param field is the TUser which can be small or much larger than the
data.