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
> 

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