RE: [sv-ac] 1757 ready for vote

Thanks Doron,

This looks great.  Personally, I would delete the change in 16.5 and
leave that for 1648. It does not apply to accept_on and reject_on and is
incomplete. But that would not prevent me from voting yes. 

Lisa

-----Original Message-----
From: Bustan, Doron [mailto:doron.bustan@intel.com] 
Sent: Thursday, November 08, 2007 1:44 AM
To: john.havlicek@freescale.com; Lisa Piper
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] 1757 ready for vote

Lisa John, 

I have fix most of your comments.

Lisa - about the observed region, I wrote

"The operators accept_on and reject_on are evaluated at the granularity
of the simulation time step like disable iff but the abort condition is
being evaluated as a regular boolean expression in assertions, meaning,
its sampled value is being evaluated at the observed region. They
represent asynchronous resets."

John - I didn't add the part excluding clocking events. I agree that it
belongs in 1648, but I don't think it belongs at 1757

Doron



-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Wednesday, November 07, 2007 7:51 PM
To: Bustan, Doron; piper@cadence.com
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] 1757 ready for vote

Hi Doron, Lisa:

I agree with Lisa that "sequences and properties" should be 
changed because "property" is used to include forms with 
disable iff (e.g., in a named property declaration).

I recommend that you have a look at the revised 1648, where I
wrote
  
  -- in a sequence or property expression

and also changed the paragraph that follows in ways that I 
think address Lisa's concerns.

When I looked at this, I was also disturbed by the fact that
expressions in clocking events were not excluded, so I added
a sentence to this effect, referring back to 16.4.

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to
owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Wed, 7 Nov 2007 10:25:48 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] 1757 ready for vote
> thread-index: AcghGEU2bDmD88WzRWGwGO7aP828jgANde6A
> From: "Lisa Piper" <piper@cadence.com>
> X-Received: By mx-sanjose2.Cadence.COM as lA7FLf3u028681 at Wed Nov  7
07:21:42 2007
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more
information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 07 Nov 2007 15:26:29.0822 (UTC)
FILETIME=[91DC2DE0:01C82152]
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C82152.79D27C38
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> I took a quick peek:
> 
> =20
> 
> In the paragraph that starts:  "There are two places where .... "
> References to default disable should be "default disable iff" given
> yesterday's discussion.  Also, sequences and properties needs to be
> sequence_expr and property_expr, and the first sentence that follows
> also needs to change accordingly:  The expressions used in defining
> sequences are ....     Should now be  "The expressions used in
defining
> sequence_expr's and property_expr's are"   If you say property, then
> that could include the disable iff, which is why I think it said
> sequence to begin with.=20
> 
> .=20
> 
> Edito -> editor (typo)
> 
> =20
> 
> a abort    ->    an abort
> 
> =20
> 
> You state that the sampled values are used.  Should we state that it
is
> evaluated in the observed region using the sampled valued?
> 
> =20
> 
> Not sure about this - "if a becomes true"   - is a 9 pt courier font?
> (appears twice)
> 
> =20
> 
> In the insert on page 351, bit should be bold
> 
> =20
> 
> =20
> 
> Lisa
> 
> =20
> 
> =20
> 
> =20
> 
> =20
> 
> =20
> 
> =20
> 
> ________________________________
> 
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Bustan, Doron
> Sent: Wednesday, November 07, 2007 3:29 AM
> To: sv-ac@eda.org
> Subject: [sv-ac] 1757 ready for vote
> 
> =20
> 
> All,
> 
> =20
> 
> I implemented all comments; I hope it is ready for vote (yes) now.
> 
> =20
> 
> Doron
> 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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