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

Since I did not see a Mantis on the unique/priority glitch issue, I
previously filed Mantis 2008 on this.

Shalom

> -----Original Message-----
> From: owner-sv-bc@server.eda.org 
> [mailto:owner-sv-bc@server.eda.org] On Behalf Of Brad Pierce
> Sent: Tuesday, September 04, 2007 7:07 AM
> To: sv-bc
> Subject: [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.