How to handle operator of undefined associativity

[Pallav singh]

Hi

we have a unary opeator ( not ) in system verilog assertion.
the associativity of operator not is undefined.

should user be allowed to write multiple not

not not not ( expr );
not not ( expr );

Thanks
Pallav

 

[Jonathan Bromley]

On Thu, 29 Apr 2010 22:03:20 -0700 (PDT), Pallav singh wrote:

we have a unary opeator ( not ) in system verilog assertion.
the associativity of operator not is undefined.

should user be allowed to write multiple not

not not not ( expr );
not not ( expr );

I'm not sure I understand. There's only one possible way to
group multiple unary operators applied to one operand:

not (not (not (expr)))

The other possibility,

(((not not) not) expr)

makes absolutely no sense.

So the only interesting question is: can the not operator
be applied to the result of (not (expr)) ? If (expr) is a
property, I believe the answer is yes (but I would need
to check to be certain).

--
Jonathan Bromley