Re: [sv-ac] review of D6, 16 - 16.3

Hi Ed,

None of the changes specified in Mantis 1806 are in Draft 6.
This proposal didn't make it in time for Draft 6. We will
need to wait for Draft 7 before the updates can be reviewed.

Neil




Eduard Cerny wrote:
> in 16.2, there is missing the following text from Mantis 1806:
> 
>  
> 
> — *cover*, to monitor the property evaluation for coverage.
> 
> — *restrict*, to specify the property as a constraint on formal 
> verification computations. Simulators
> 
> do not check the property.
> 
>  
> 
> and then
> 
>  
> 
> — Immediate assertions follow simulation event semantics for their 
> execution and are executed like a
> 
> statement in a procedural block. Immediate assertions are primarily 
> intended to be used with simulation.
> 
> There is no immediate *restrict *assertion statement.
> 
>  
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.


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