[sv-ac] RE: question about 1729

Hi John,

yes, I think it should be the same as in te case of the other immediate
statements. If you can change it, I'd appreciate it...
Thank you,
ed  

> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Tuesday, September 25, 2007 8:35 PM
> To: Eduard.Cerny@synopsys.COM
> Cc: john.havlicek@freescale.com; eduard.cerny@synopsys.COM; 
> sv-ac@eda-stds.org
> Subject: Re: question about 1729
> 
> Hi Ed:
> 
> Should I fix it so that the pass statement for an immediate cover
> executes immediately?
> 
> J.H.
> 
> > X-MIMEOLE: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Tue, 25 Sep 2007 17:27:19 -0700
> > Thread-Topic: question about 1729
> > Thread-Index: Acf/0c3Erd6RiTKsSX6b1C81C/CvJwAAiHiw
> > From: "Eduard Cerny" <Eduard.Cerny@synopsys.com>
> > Cc: <sv-ac@eda-stds.org>
> > X-OriginalArrivalTime: 26 Sep 2007 00:27:20.0808 (UTC) 
> FILETIME=[00646E80:01C7FFD4]
> > 
> > Hi John,
> > Hmm... that looks more like a copy & paste error.
> > ed
> > =20
> > 
> > > -----Original Message-----
> > > From: John Havlicek [mailto:john.havlicek@freescale.com]=20
> > > 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
> > >=20
> > > Hi Ed:
> > >=20
> > > Why does 1729 say that the action block for an immediate assert
> > > or assume executes immediately while the action block for an=20
> > > immediate cover executes in the Reactive region?
> > >=20
> > > Was this intentional?
> > >=20
> > > J.H.
> > >=20
> 

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