Re: [sv-bc] Re: [sv-ec] Behaviour of ref port

Steven,
Related to this issue, there is an example in the SV 1800 LRM. See page 
339 (section 19.9 List of port expressions)

module mymod (
 output .P1(r[3:0]),
output .P2(r[7:4]),
ref .Y(x), input bit R );
logic [7:0] r;
int x;
...
endmodule

Which is I think wrong, as ref is used without the data type. This makes 
lot of confusion.

What is your feedback on that.

Regards
Surya.



Steven Sharp wrote:
> Just because the BNF can produce a particular syntax does not make
> that code legal.  There are many semantic rules that must also be
> satisfied by legal code.
>
> Section 19.12 says "It also creates a new type of port qualifier, ref,
> to allow shared variable behavior across a port."
>
> Section 19.12.1 on rules for variables says "A ref port shall be connected
> to an equivalent variable data type."
>
> Section 19.12.2 on rules for nets specifies the rules for connecting
> the different port directions, and does not include a rule for ref.
>
> So while I didn't find a place where the LRM came out and said that
> ref ports could not be nets, it seems clear that is the intent.
>
> Steven Sharp
> sharp@cadence.com
>
>
>   




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.