Re: [sv-ac] arguments passing

I fix a few problems in the formal semantics rosed by Yaniv and John.

A question that need to be discussed in the meeting tomorrow is:

Should $var be applied on untyped formal arguments?

The advantage of applying $var is that in some cases it will allow 
operations
that are not allowed otherwise.  For example, consider

property p1(uf);
    uf[2];
endproperty

logic [3:0] a,b;

then

without $var, the following is not legal:

assert property (p1(a &b));

not even with explicit casting

assert property (p1((logic [3:0])'(a &b));

and $var will allow this.


The disadvantage is that the user will need to know for every 
expression, whether it has
a well defined type. This is not an easy task in system verilog and may 
cause confusion.

Doron

Doron Bustan wrote:

> I modified the formalsemantics part of the arguments passing (1549).
> I think that the recursive properties are well defined now.
>
> Doron
>


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