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

Hillel,
The requirement is a property-based library of checkers that can
optimize the property expression depending on the type of the actual
arguments or construct more complex properties using generate for loops.
Please see also the proposal for type query functions. 

Bestest
ed

> -----Original Message-----
> From: Miller Hillel-R53776 [mailto:r53776@freescale.com] 
> Sent: Saturday, March 31, 2007 9:55 AM
> To: Eduard Cerny; Brad Pierce; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] New proposal for mantis #1646 - generate 
> constructs in sequences and properties
> 
> Ed,
> 
> This is a big change in the language. What problem is this solving?
> 
> What is the requirement here?
> 
> Thanks 
> Hillel
> 
> 
> -----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:30 PM
> 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.