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 archive was generated by hypermail 2.1.8 : Thu Mar 29 2007 - 14:36:35 PDT