[sv-ac] how should "a ##0 b throughout c " be interpreted?

The question is how should "a ##0 b throughout c " be interpreted?
IEEE 1800-2009, 16.9.1 Operator precedence shows that ## has higher
precedence than the throughout . Thus, I believe that
"a ##0 b throughout c " should be interpreted as
"(a ##0 b) throughout c " // that will yield an error because the LHS of the
throughout need a boolean and not a sequence
rather than
"a ##0 (b throughout c) " // A violation of the precedence rule.

It is interesting that 2 tool vendors are taking the 2nd interpretation.

http://verificationguild.com/modules.php?name=Forums&file=viewtopic&p=17467#17467

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