[sv-ac] RE: question about 1729

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Tue Sep 25 2007 - 17:27:19 PDT
Hi John,
Hmm... that looks more like a copy & paste error.
ed
 

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Tuesday, September 25, 2007 8:11 PM
> To: eduard.cerny@synopsys.COM
> Cc: john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: question about 1729
> 
> Hi Ed:
> 
> Why does 1729 say that the action block for an immediate assert
> or assume executes immediately while the action block for an 
> immediate cover executes in the Reactive region?
> 
> Was this intentional?
> 
> J.H.
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Sep 25 17:27:34 2007

This archive was generated by hypermail 2.1.8 : Tue Sep 25 2007 - 17:27:42 PDT