[sv-ac] 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.