Re: [sv-ac] 928

Hi Lisa:

Don't forget that the current (I am speaking of my imagination of 
P1800-2008 draft 1) definition allows an untyped argument to have
a default actual argument, and we still seem to have the problem that 
event expressions cannot be used as default actual arguments.

My intuition is that it will be simpler to fix this as a separate
mantis item rather than as part of 1549.

As a practical matter, we are going to have to start making new
changes in terms of the P1800-2008 draft 1, but we need to see it
first.

J.H.

> X-Authentication-Warning: server.eda-stds.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: Tue, 30 Jan 2007 14:52:05 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] 928
> Thread-Index: AcdEfDrAQ2GcDLMRRSKXzs3XYPX+OgAC5tggAAbJ+uAAAMrW4AAAWp0Q
> From: "Lisa Piper" <piper@cadence.com>
> X-Received: By mx-sanjose2.Cadence.COM as l0UJq7E1009535 at Tue Jan 30 11:52:09 2007
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> X-MIME-Autoconverted: from quoted-printable to 8bit by server.eda-stds.org id l0UJqPj7015040
> 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: 30 Jan 2007 19:53:09.0407 (UTC) FILETIME=[44475AF0:01C744A8]
> 
> Thanks Stuart,
> 
> I am aware of this.  I see this as something that needs to get addressed
> as part of the 1549 on new types. It affects the same section of text.
> This might not have been addressed as part of 928 because 928 was split
> to address new types separately.  As of the 928 timeframe, properties,
> sequences, and events are not formal types - they must still be untyped.
> 
> 
> Lisa
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Stuart Sutherland
> Sent: Tuesday, January 30, 2007 2:43 PM
> To: sv-ac@eda.org
> Subject: RE: [sv-ac] 928
> 
> 
> 928 has already by added to draft 1 of the next LRM.  Unless there is an
> error in the editing itself, any changes at this point need to be
> entered as
> a new Mantis item.
> 
> The P1800-2008 draft 1 was delivered to the P1800 chair, Karen Pieper, a
> week ago.  I do not know why Karen has not yet made it available for the
> committees to review.  If you need to see how the editing was done for
> 928,
> please push Karen to distribute the LRM draft!
> 
> Stu
> ~~~~~~~~~~~~~~~~~~~~~~~~~
> Stuart Sutherland
> Sutherland HDL, Inc.
> stuart@sutherland-hdl.com
> 503-692-0898
>  
> 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org 
> > [mailto:owner-sv-ac@server.eda.org] On Behalf Of Bassam Tabbara
> > Sent: Tuesday, January 30, 2007 11:23 AM
> > To: Lisa Piper; john.havlicek@freescale.com; 
> > Surrendra.Dudani@synopsys.com
> > Cc: sv-ac@server.eda.org
> > Subject: RE: [sv-ac] 928
> > 
> > Agreed. Thx John for reviving, and sorry Surrendra, I forgot 
> > about this
> > -- meant to review item and reply back. Indeed event_expression was
> > noted as missing in the bugnotes. I can't recall/think of now 
> > any reason
> > why it should not be as Surrendra suggests.
> > 
> > Hope we can "recall" ID, easier that way :).
> > 
> > Thx.
> > -Bassam.
> > 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> > Behalf Of Lisa
> > Piper
> > Sent: Tuesday, January 30, 2007 8:02 AM
> > To: john.havlicek@freescale.com; Surrendra.Dudani@synopsys.COM
> > Cc: sv-ac@eda.org
> > Subject: RE: [sv-ac] 928
> > 
> > All,
> > 
> > I also like that.  
> > 
> > lisa
> > 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> > Behalf Of John
> > Havlicek
> > Sent: Tuesday, January 30, 2007 9:37 AM
> > To: Surrendra.Dudani@synopsys.com
> > Cc: sv-ac@eda.org
> > Subject: Re: [sv-ac] 928
> > 
> > All:
> > 
> > What about Surrendra's point that event expressions are not included
> > under expressions?
> > 
> > If you look at purpose number 3 in 928, it says
> > 
> >    tf_port list was replaced by sequence_port_list and
> >    property_port_list to fix the issue that tf_port_list
> >    does not allow default values assignment other than 
> >    expression.  The new definition allows for initialization
> >    of all args in the definition.
> >    
> > I like Surrendra's suggestion of using property_actual_arg (resp.,
> > sequence_actual_arg) for the default assignments in a 
> > property_port_list
> > (resp., sequence_port_list).
> > 
> > J.H.
> > 
> > > X-Authentication-Warning: server.eda-stds.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: Fri, 26 Jan 2007 07:53:13 -0800
> > > Thread-Topic: [sv-ac] 928
> > > Thread-Index: 
> > AcdAwOe7Vlfpkh8hQz6eKRgSBv5zmwAAlkhQACRieVAAAlMsKAAA71Tg
> > > From: "Surrendra Dudani" <Surrendra.Dudani@synopsys.com>
> > > X-OriginalArrivalTime: 26 Jan 2007 15:53:14.0916 (UTC)
> > FILETIME=[16D75640:01C74162]
> > > X-eda.org-MailScanner: Found to be clean, Found to be clean
> > > X-Spam-Status: No, No
> > > X-MIME-Autoconverted: from quoted-printable to 8bit by
> > server.eda-stds.org id l0QFrUwE021594
> > > 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
> > > 
> > > Hi Bassam,
> > > expr does not include event_expr, so one is not able to 
> > specify event 
> > > expression as default argument.
> > > Surrendra
> > > 
> > > -----Original Message-----
> > > From: Bassam Tabbara [mailto:bassamt@synopsys.COM]
> > > Sent: Friday, January 26, 2007 10:25 AM
> > > To: Surrendra.Dudani@synopsys.COM; sv-ac@eda.org
> > > Subject: Re: [sv-ac] 928
> > > 
> > > Hi Surrendra,
> > > 
> > > Right now it is much like tf_port_list's default init. Unless it is 
> > > missing something in my opinion this form is better.
> > > 
> > > THX. 
> > > -Bassam
> > > 
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org <owner-sv-ac@eda.org>
> > > To: sv-ac@eda.org <sv-ac@eda.org>
> > > Sent: Fri Jan 26 06:25:07 2007
> > > Subject: RE: [sv-ac] 928
> > > 
> > > Hi Lisa/Bassam,
> > > Thanks for the answers.
> > > Yes, you are right about the (1). sequence_instance is 
> > indeed included
> > 
> > > in event-expresion.
> > > For (2),
> > > Would it not be consistent to allow actual arg as the default, as
> > shown
> > > below?
> > >  
> > > 
> > > property_port_item ::=
> > > { attribute_instance }
> > > property_formal_type
> > > port_identifier {variable_dimension} [=property_actual_arg]
> > > 
> > > sequence_port_item ::=
> > > { attribute_instance }
> > > sequence_formal_type
> > > port_identifier {variable_dimension} [=sequence_actual_arg]
> > > 
> > > Surrendra
> > > 
> > > ________________________________
> > > 
> > > From: Lisa Piper [mailto:piper@cadence.com]
> > > Sent: Thursday, January 25, 2007 4:14 PM
> > > To: Surrendra Dudani; sv-ac@eda.org
> > > Subject: RE: [sv-ac] 928
> > > 
> > > 
> > > 
> > > Hi Surrendra,
> > > 
> > >  
> > > 
> > > I have tried to answer the questions, though I'm not sure I 
> > understand
> > 
> > > the second question.
> > > 
> > >  
> > > 
> > > Lisa Piper
> > > 
> > >  
> > > 
> > > ________________________________
> > > 
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > > Surrendra Dudani
> > > Sent: Thursday, January 25, 2007 3:39 PM
> > > To: sv-ac@eda.org
> > > Subject: [sv-ac] 928
> > > 
> > >  
> > > 
> > > Hi John/Dmitry,
> > > I was looking at mantis item 928 which was passed last 
> > year, and need 
> > > the following clarifications:
> > > 1) Unlike property actual argument,
> > > property_actual_arg::= 
> > >         property_instance 
> > >         | sequence_actual_arg
> > > 
> > > sequence actual argument does not include sequence_instance 
> > > sequence_actual_arg ::=
> > >         event_expression
> > > 
> > > [Lisa Piper >>>] if you look at the definition of 
> > event_expression, it
> > 
> > > already includes a sequence instance.
> > > 
> > > 2) The default argument for either property or sequence 
> > declaration is
> > 
> > > expression rather than actual sequence/property expression
> > > 
> > > property_port_item ::=
> > > { attribute_instance }
> > > property_formal_type
> > > port_identifier {variable_dimension} [=expression]
> > > 
> > > sequence_port_item ::=
> > > { attribute_instance }
> > > sequence_formal_type
> > > port_identifier {variable_dimension} [=expression]
> > > 
> > > [Lisa Piper >>>] If I understand the question correctly, you are 
> > > questioning how an "expression" can be a default value when the
> > argument
> > > that is passed is a sequence or property.  I think the intent is:
> > > 
> > >             define property ( reg x=<expr> ) .....  which says that
> > the
> > > default value for argument x is <expr>
> > > 
> > > Currently you cannot have a property or sequence argument 
> > type since 
> > > these are not yet defined as a sequence_formal_types, and in fact,
> > while
> > > they can be passed untyped, you can only pass an instance.  I think
> > the
> > > 1549 proposal that suggests adding these will need to 
> > address whether
> > it
> > > makes sense to be able to define an initializer.
> > > 
> > > Thanks
> > > Surrendra
> > > ****************************************
> > > Surrendra A. Dudani
> > > Synopsys, Inc. 
> > > 377 Simarano Drive, Suite 300
> > > Marlboro, MA 01752
> > > 
> > > Tel:   508-263-8072 
> > > Fax:   508-263-8123 
> > > email: Surrendra.Dudani@synopsys.com
> > > ****************************************
> > > 
> > > 
> > > -- 
> > > This message has been scanned for viruses and 
> > > dangerous content by MailScanner 
> > <http://www.mailscanner.info/> , and
> > is
> > > 
> > > believed to be clean. 
> > > 
> > > -- 
> > > This message has been scanned for viruses and 
> > > dangerous content by MailScanner 
> > <http://www.mailscanner.info/> , and
> > is
> > > 
> > > believed to be clean. 
> > > 
> > > -- 
> > > This message has been scanned for viruses and
> > > dangerous content by MailScanner, and is
> > > believed to be clean.
> > > 
> > > 
> > 
> > -- 
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> > 
> > 
> > -- 
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> > 
> > 
> > 
> > -- 
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> > 
> > 
> > 
> > 
> 
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 

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