Re: Proposal for Group O (Issue 44), SystemC Flavor of PSL - first detailed draft

Hi Erich,

You wrote:
"In the SystemC flavor, if the operator '->' appears in an expression and
its left operand is a Boolean,
then this expression shall be interpreted as a PSL logical implication, not
as a SystemC member operation."

Is this intentional? I seem to remember that the opposite was suggested in
a meeting, as you also wrote in the original sketch:

"In such a case, the "HDL" interpretation (member reference) should take
precedence over the PSL interpretation (implication) to resolve the
conflict."

Regards,
Avigail
_______________________________________________________
Avigail Orni
Verification and Testing Solutions Group
IBM Haifa Research Laboratory
Phone: 972-4-829-6396 email: ornia@il.ibm.com
Received on Mon Jan 31 06:05:05 2005