[sv-bc] 8.3, Propagation of unique/priority down an if...else...if


Subject: [sv-bc] 8.3, Propagation of unique/priority down an if...else...if
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Thu Feb 20 2003 - 08:40:12 PST


I propose adding a clarification like the following to SV LRM section 8.3
after the paragraphs about 'unique if' and 'priority if' --

    The 'unique' and 'priority' keywords apply to the entire series
    of 'if...else...if' conditions. In the preceding examples it
    would have been illegal to insert either keyword after any of
    the occurrences of 'else'.

-- Brad



This archive was generated by hypermail 2b28 : Thu Feb 20 2003 - 08:40:43 PST