[sv-bc] Glitches in unique/priority case/if violations

In http://www.eda-stds.org/sv-ac/hm/4668.html the SV-AC is proposing a
possible solution for the glitch issue in immediate assertions.

Is there some way that this proposal could be leveraged into a solution
for the glitch issue in unique/priority case/if violoations?

That is, could the violations of unique/priority be defined in terms of
implicit immediate assertions?

Erik's SV-AC proposal is at

  http://www.eda-stds.org/sv-ac/hm/att-4668/assertfinal070830es.pdf

-- Brad


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