RE: [sv-ac] New proposal for mantis #1646 - generate constructs in sequences and properties

Hi Ed,

In the first line of the proposal 7.6 should be 17.6.

In the example in the "before 17.6.1", I think it is better to show
parenthesis around the expanded sequence. In your example it is
equivalent, but if you add a different clock to the sequence it would
not be since you don't want the clock to flow out. 

For this generate construct, it would be useful to have a "const" type
qualifier as in PSL. This is probably a different proposal though.

Lisa


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Thursday, March 29, 2007 5:36 PM
To: Bassam Tabbara; Eduard Cerny
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] New proposal for mantis #1646 - generate constructs
in sequences and properties

Bassam,

thanks... some editing mess... Corrected here and on Mantis.

Bestest
ed
 

> -----Original Message-----
> From: Bassam Tabbara [mailto:bassamt@synopsys.COM] 
> Sent: Thursday, March 29, 2007 5:09 PM
> To: Eduard Cerny
> Subject: RE: [sv-ac] New proposal for mantis #1646 - generate 
> constructs in sequences and properties
> 
> Ed the example below is messed up: #sequence and #1
> 
> sequence rule_2;
>   trans #sequence #1 bad_start ##1 rule_1.s_local;
> endsequence 
> 
> 
> Thx.
> -Bassam.
> 
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Thursday, March 29, 2007 9:30 AM
> To: Brad Pierce; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] New proposal for mantis #1646 - generate 
> constructs
> in sequences and properties
> 
> Brad and all,
> 
> I think that I corrected the mistake that you mention. I uploaded a
> modified version, also attached here.
> 
> ed
>  
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > Brad Pierce
> > Sent: Thursday, March 29, 2007 12:00 PM
> > To: sv-ac@eda-stds.org
> > Subject: RE: [sv-ac] New proposal for mantis #1646 - generate 
> > constructs in sequences and properties
> > 
> > Ed,
> > 
> > The BNF for sequence_declation in this proposal is out-of-date with 
> > respect to Mantis 928.  See also sequence_declaration in A.2.10 of 
> > P1800-2008-draft1.pdf .
> > 
> > You were perhaps misled by Syntax 17-4 in P1800-2008-draft1.pdf , 
> > which does not correctly implement the proposal of Mantis 928.
> > 
> > -- Brad
> > 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > Eduard Cerny
> > Sent: Thursday, March 29, 2007 6:58 AM
> > To: sv-ac@eda-stds.org
> > Subject: [sv-ac] New proposal for mantis #1646 - generate 
> constructs 
> > in sequences and properties
> > 
> > Hello,
> > 
> > I uploaded a new proposal for the generate construct and 
> also assigned
> 
> > this mantis item to me.
> > 
> > Best regards,
> > ed
> > 
> > --
> > 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.