| Number | 530
|
| Notify-List |
|
| Category | errata
|
| Synopsis | 26.6.17: expr class does not contain vpiTchkTerm - should model different
|
| State | ptfpassed
|
| Class | errata-ptf
|
| Arrival-Date | Jan 23 2004
|
| Originator | chas@cadence.com (Behavioral Task Force)
|
| Release | 2001c: 26.6.17
|
| Environment |
|
| Description |
The note #2 for section 26.6.17 should have been part of the diagram. Specifically, the expr dotted encloser that has a one to many transition from the tchk objects should be replaced with an unnamed class containing expr and tchk term. The transition would then need the vpiExpr label. |
| Fix |
This is just to update the proposal according to Charles Dawson's modification from Feb. 2. Further modified by Jim Vellenga on June 25, 2004. In 26.6.17, Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. CHANGE Note 1 to: For the timing checks in Section 15.1, the relationship vpiTchkRefTerm shall denote the reference_event or controlled_reference_event, while vpiTchkDataTerm shall denote the data_event, if any. CHANGE Note 2 to: When iterating over vpiExpr from a tchk, the handles returned for a reference_event, a controlled_reference_event, or a data_event shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. |
| Audit-Trail |
Fix replaced by etf@boyd.com on Fri Jan 30 07:21:36 2004 Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: ptf-bugs@boyd.com Cc: Subject: Re: errata/530: PROPOSAL - 26.6.17 expr class does not contain vpiTchkTerm - should model different Date: Mon, 02 Feb 2004 16:43:03 +0200 Does anything happen to Note 2, which was mentioned in the original erratum? Does anything change in the rest of the diagram? Thanks, Shalom > Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. > > http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr=530 -- Shalom Bresticker Shalom.Bresticker@motorola.com Design & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478 From: Charles Dawson <chas@cadence.com> To: ptf-bugs@boyd.com Cc: Subject: Re: errata/530: Re: errata/530: PROPOSAL - 26.6.17 expr class does not contain vpiTchkTerm - should model different Date: Mon, 02 Feb 2004 10:07:51 -0500 I think the note does help explain things, so I would leave it. Nothing else in the diagram needs to change. -Chas Shalom Bresticker wrote: > The following reply was made to PR errata/530; it has been noted by GNATS. > > From: Shalom Bresticker <Shalom.Bresticker@motorola.com> > To: ptf-bugs@boyd.com > Cc: > Subject: Re: errata/530: PROPOSAL - 26.6.17 expr class does not contain > vpiTchkTerm - should model different > Date: Mon, 02 Feb 2004 16:43:03 +0200 > > Does anything happen to Note 2, which was mentioned in the original erratum? > Does anything change in the rest of the diagram? > > Thanks, > Shalom > > > > Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. > > > > http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr=530 > > -- > Shalom Bresticker Shalom.Bresticker@motorola.com > Design & Reuse Methodology Tel: +972 9 9522268 > Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 > POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478 > > > > -- Charles Dawson Senior Member of Consulting Staff - Project Lead NC-Verilog Team Cadence Design Systems, Inc. 270 Billerica Road Chelmsford, MA 01824 (978) 262 - 6273 chas@cadence.com From: Charles Dawson <chas@cadence.com> To: ptf-bugs@boyd.com Cc: Subject: Re: errata/530: Re: errata/530: Re: errata/530: PROPOSAL - 26.6.17 expr class does not contain vpiTchkTerm - should model different Date: Mon, 02 Feb 2004 14:29:11 -0500 David Roberts just pointed out that notifiers are regs, not tchk terms, so the note should be change to: When iterating over the expressions in a tcheck, the handles returned for what are known as the data and ref terminals shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. I also modified the grammar. -Chas Charles Dawson wrote: > The following reply was made to PR errata/530; it has been noted by GNATS. > > From: Charles Dawson <chas@cadence.com> > To: ptf-bugs@boyd.com > Cc: > Subject: Re: errata/530: Re: errata/530: PROPOSAL - 26.6.17 expr class does > not contain vpiTchkTerm - should model different > Date: Mon, 02 Feb 2004 10:07:51 -0500 > > I think the note does help explain things, so I would leave it. Nothing else > in the diagram needs to change. > > -Chas > > > Shalom Bresticker wrote: > > The following reply was made to PR errata/530; it has been noted by GNATS. > > > > From: Shalom Bresticker <Shalom.Bresticker@motorola.com> > > To: ptf-bugs@boyd.com > > Cc: > > Subject: Re: errata/530: PROPOSAL - 26.6.17 expr class does not contain > > vpiTchkTerm - should model different > > Date: Mon, 02 Feb 2004 16:43:03 +0200 > > > > Does anything happen to Note 2, which was mentioned in the original erratum? > > Does anything change in the rest of the diagram? > > > > Thanks, > > Shalom > > > > > > > Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. > > > > > > http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr=530 > > > > -- > > Shalom Bresticker Shalom.Bresticker@motorola.com > > Design & Reuse Methodology Tel: +972 9 9522268 > > Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 > > POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478 > > > > > > > > > > > -- > Charles Dawson > Senior Member of Consulting Staff - Project Lead > NC-Verilog Team > Cadence Design Systems, Inc. > 270 Billerica Road > Chelmsford, MA 01824 > (978) 262 - 6273 > chas@cadence.com > > > -- Charles Dawson Senior Member of Consulting Staff - Project Lead NC-Verilog Team Cadence Design Systems, Inc. 270 Billerica Road Chelmsford, MA 01824 (978) 262 - 6273 chas@cadence.com Fix replaced by Shalom.Bresticker@motorola.com on Wed Feb 25 03:29:29 2004 This is just to update the proposal according to Charles Dawson's modification from Feb. 2. In 26.6.17, Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. CHANGE Note 2 to: When iterating over the expressions in a tcheck, the handles returned for what are known as the data and ref terminals shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. Fix replaced by vellenga@cadence.com on Fri Jun 25 06:51:10 2004 This is just to update the proposal according to Charles Dawson's modification from Feb. 2. Further modified by Jim Vellenga on June 25, 2004. In 26.6.17, Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. CHANGE Note 1 to: For the timing checks in Section 15.1, the relationship vpiTchkRefTerm shall denote the reference_event or controlled_reference_event, while vpiTchkDataTerm shall denote the data_event, if any. CHANGE Note 2 to: When iterating over vpiExp from a tchk, the handles returned for a reference_event, a controlled_reference_event, or a data_event shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. From: "Jim Vellenga" <vellenga@cadence.com> To: <ptf-bugs@boyd.com> Cc: "Jim Vellenga" <vellenga@cadence.com> Subject: RE: errata/530: PROPOSAL - 26.6.17: expr class does not contain vpiTchkTerm - should model different Date: Fri, 25 Jun 2004 10:04:03 -0400 I have posted the write-up I agreed to do on June 14 as noted below. I have left the first part alone, and have added the change to Note 1. For the change to Note 2, I changed the first sentence as follows: -- "iterating over the expressions" to "iterating over vpiExp" -- "in a tcheck" to "from a tchk" to match the object name in the diagram -- "handles returned for what are known as the data and ref terminals" to "handles returned for a reference_event, a controlled_reference_event, or a data_event" Are these changes acceptable to you all? Regards, Jim Vellenga --------------------------------------------------------- James H. Vellenga 978-262-6381 Engineering Director (FAX) 978-262-6636 Cadence Design Systems, Inc. vellenga@cadence.com 270 Billerica Rd Chelmsford, MA 01824-4179 "We all work with partial information." ---------------------------------------------------------- ] -----Original Message----- ] From: owner-ptf@boyd.com [mailto:owner-ptf@boyd.com] On ] Behalf Of Jim Vellenga ] Sent: Friday, June 25, 2004 9:51 AM ] To: ptf-bugs@boyd.com ] Subject: errata/530: PROPOSAL - 26.6.17: expr class does not ] contain vpiTchkTerm - should model different ] ] ] This is just to update the proposal according to Charles ] Dawson's modification from Feb. 2. Further modified by Jim ] Vellenga on June 25, 2004. ] ] In 26.6.17, ] ] Replace the expr dotted enclosure which is accessed via the ] one to many transition from tchk with an unnamed class ] containing expr and tchk term. Label the one to many ] transition vpiExpr. ] ] CHANGE Note 1 to: ] ] For the timing checks in Section 15.1, the relationship ] vpiTchkRefTerm shall denote the reference_event or ] controlled_reference_event, while vpiTchkDataTerm shall ] denote the data_event, if any. ] ] CHANGE Note 2 to: ] ] When iterating over vpiExp from a tchk, the handles ] returned for a reference_event, a ] controlled_reference_event, or a data_event shall have ] the type vpiTchkTerm. All other arguments shall have ] types matching the expression. ] ] http://wa.boyd.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr =530 From: Francoise Martinolle <fm@cadence.com> To: ptf-bugs@boyd.com, vellenga@cadence.com Cc: Subject: errata/530: comments Date: Mon, 28 Jun 2004 10:12:31 -0400 (EDT) The changes are good but I think that we also agreed on having 2 tchk term classes, one which would be accessible from the vpiTchkRefTerm method and anther one which would be accessible from the vpiTchkDataTerm method. Basically now the diagram has one arrow with 2 labels which is not correct. Only onr occurence oft he tchk term class should be bold (definition) while the other would be a reference. Francoise ' >X-UIDL: EP<!!Qo_!!V=$#!3$Q!! >X-Authentication-Warning: isvw3.cadence.com: iscan owned process doing -bs >Date: Fri, 25 Jun 2004 06:51:10 -0700 >To: ptf-bugs@boyd.com >From: vellenga@cadence.com >Subject: errata/530: PROPOSAL - 26.6.17: expr class does not contain vpiTchkTerm - should model different >X-pstn-levels: (S:75.06122/99.90000 R:95.9108 P:95.9108 M:99.8514 C:79.5348 ) >X-Received: By mailgate.Cadence.COM as GAA25738 at Fri Jun 25 06:53:00 2004 > >This is just to update the proposal according to Charles >Dawson's modification from Feb. 2. Further modified by Jim Vellenga on June 25, 2004. > >In 26.6.17, > >Replace the expr dotted enclosure which is accessed via the >one to many transition from tchk with an unnamed class >containing expr and tchk term. Label the one to many >transition vpiExpr. > >CHANGE Note 1 to: > >For the timing checks in Section 15.1, the relationship >vpiTchkRefTerm shall denote the reference_event or >controlled_reference_event, while vpiTchkDataTerm shall >denote the data_event, if any. > >CHANGE Note 2 to: > >When iterating over vpiExp from a tchk, the handles >returned for a reference_event, a >controlled_reference_event, or a data_event shall have >the type vpiTchkTerm. All other arguments shall have >types matching the expression. > > >http://wa.boyd.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr=530 > Fix replaced by vellenga@cadence.com on Tue Jun 29 13:39:57 2004 This is just to update the proposal according to Charles Dawson's modification from Feb. 2. Further modified by Jim Vellenga on June 25, 2004. In 26.6.17, Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. CHANGE Note 1 to: For the timing checks in Section 15.1, the relationship vpiTchkRefTerm shall denote the reference_event or controlled_reference_event, while vpiTchkDataTerm shall denote the data_event, if any. CHANGE Note 2 to: When iterating over vpiExpr from a tchk, the handles returned for a reference_event, a controlled_reference_event, or a data_event shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. Fix replaced by vellenga@cadence.com on Tue Jun 29 13:42:57 2004 This is just to update the proposal according to Charles Dawson's modification from Feb. 2. Further modified by Jim Vellenga on June 25, 2004. In 26.6.17, Replace the expr dotted enclosure which is accessed via the one to many transition from tchk with an unnamed class containing expr and tchk term. Label the one to many transition vpiExpr. CHANGE Note 1 to: For the timing checks in Section 15.1, the relationship vpiTchkRefTerm shall denote the reference_event or controlled_reference_event, while vpiTchkDataTerm shall denote the data_event, if any. CHANGE Note 2 to: When iterating over vpiExpr from a tchk, the handles returned for a reference_event, a controlled_reference_event, or a data_event shall have the type vpiTchkTerm. All other arguments shall have types matching the expression. From: Shalom.Bresticker@freescale.com To: ptf-bugs@boyd.com Cc: Subject: Re: errata/530: PROPOSAL - 26.6.17: expr class does not contain vpiTchkTerm - should model different Date: Wed, 30 Jun 2004 12:23:17 +0300 (IDT) This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. Send mail to mime@docserver.cac.washington.edu for more info. ---559023410-838832689-1088587397=:25060 Content-Type: TEXT/PLAIN; charset=US-ASCII I am resending Jim's diagram under the correct subject line. Shalom On Tue, 29 Jun 2004, Jim Vellenga wrote: > Here is the revised diagram. I have separated out > the definition box of tchk term as a separate > graph. I have also split the arrow and labels > going to tchk term, and have enclosed yet another > tchk term and an expr in an unnamed box with a > vpiExpr iteration pointing to it. > > I also changed the notes to correspond to proposal > 530 as it now stands. > > Please review and let me know if this agrees with > what we said. ---559023410-838832689-1088587397=:25060 Content-Type: APPLICATION/pdf; name="26.6.17.pdf" Content-Transfer-Encoding: BASE64 Content-ID: <Pine.GSO.4.10.10406301223170.25060@eagle> Content-Description: Content-Disposition: attachment; filename="26.6.17.pdf" JVBERi0xLjIKJeLjz9MNCjMgMCBvYmoKPDwgCi9MaW5lYXJpemVkIDEgCi9P IDUgCi9IIFsgMTAzNyAxODAgXSAKL0wgNzU5OCAKL0UgNzI3NSAKL04gMSAK L1QgNzQyMSAKPj4gCmVuZG9iagogICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB4cmVmCjMg MzIgCjAwMDAwMDAwMTYgMDAwMDAgbiAKMDAwMDAwMDk4NCAwMDAwMCBuIAow MDAwMDAxMjE3IDAwMDAwIG4gCjAwMDAwMDE0MjEgMDAwMDAgbiAKMDAwMDAw MTYzNCAwMDAwMCBuIAowMDAwMDAxNzQyIDAwMDAwIG4gCjAwMDAwMDE4NDcg MDAwMDAgbiAKMDAwMDAwMTk1MSAwMDAwMCBuIAowMDAwMDAyMDU2IDAwMDAw IG4gCjAwMDAwMDIyNDggMDAwMDAgbiAKMDAwMDAwMjI2OSAwMDAwMCBuIAow MDAwMDAyOTc1IDAwMDAwIG4gCjAwMDAwMDI5OTYgMDAwMDAgbiAKMDAwMDAw MzYwOCAwMDAwMCBuIAowMDAwMDAzNzIwIDAwMDAwIG4gCjAwMDAwMDM3NDEg MDAwMDAgbiAKMDAwMDAwNDE5NSAwMDAwMCBuIAowMDAwMDA0MjMzIDAwMDAw IG4gCjAwMDAwMDQyNTQgMDAwMDAgbiAKMDAwMDAwNDc3NSAwMDAwMCBuIAow MDAwMDA0Nzk2IDAwMDAwIG4gCjAwMDAwMDUzMDUgMDAwMDAgbiAKMDAwMDAw NTMyNiAwMDAwMCBuIAowMDAwMDA1ODM4IDAwMDAwIG4gCjAwMDAwMDU4NTkg MDAwMDAgbiAKMDAwMDAwNjMwNCAwMDAwMCBuIAowMDAwMDA2MzI1IDAwMDAw IG4gCjAwMDAwMDY3NzEgMDAwMDAgbiAKMDAwMDAwNjgxNCAwMDAwMCBuIAow MDAwMDA3MTMwIDAwMDAwIG4gCjAwMDAwMDEwMzcgMDAwMDAgbiAKMDAwMDAw MTE5NyAwMDAwMCBuIAp0cmFpbGVyCjw8Ci9TaXplIDM1Ci9JbmZvIDIgMCBS IAovUm9vdCA0IDAgUiAKL1ByZXYgNzQxMiAKL0lEWzxjOGQ0NmM5ODNlYWU0 NzkwNGNmOTgwMDQyNGJmOWViMT48YzhkNDZjOTgzZWFlNDc5MDRjZjk4MDA0 MjRiZjllYjE+XQo+PgpzdGFydHhyZWYKMAolJUVPRgogICAgICAKNCAwIG9i ago8PCAKL1R5cGUgL0NhdGFsb2cgCi9QYWdlcyAxIDAgUiAKPj4gCmVuZG9i agozMyAwIG9iago8PCAvUyAzNiAvRmlsdGVyIC9GbGF0ZURlY29kZSAvTGVu Z3RoIDM0IDAgUiA+PiAKc3RyZWFtDQpIiWJgYJBjYGDhZQAC8SwGbIADSgsA sQwUMzCIMnDpnmGMCRE56rSGYbUDp000g7SAC0MtA/sChqoDbAsYshxT5tiA VAIEGAA12At2CmVuZHN0cmVhbQplbmRvYmoKMzQgMCBvYmoKNzYgCmVuZG9i ago1IDAgb2JqCjw8IAovVHlwZSAvUGFnZSAKL1BhcmVudCAxIDAgUiAKL1Jl c291cmNlcyA2IDAgUiAKL0NvbnRlbnRzIFsgMTMgMCBSIDE1IDAgUiAxOCAw IFIgMjEgMCBSIDIzIDAgUiAyNSAwIFIgMjcgMCBSIDI5IDAgUiBdIAovTWVk aWFCb3ggWyAwIDAgNjEyIDc5MiBdIAovQ3JvcEJveCBbIDAgMCA2MTIgNzky IF0gCi9Sb3RhdGUgMCAKPj4gCmVuZG9iago2IDAgb2JqCjw8IAovUHJvY1Nl dCBbIC9QREYgL1RleHQgXSAKL0ZvbnQgPDwgL0YxIDkgMCBSIC9GMiA4IDAg UiAvRjMgNyAwIFIgL0Y0IDEwIDAgUiAvRjUgMTYgMCBSID4+IAovUGF0dGVy biA8PCAvUDEgMzEgMCBSID4+IAovRXh0R1N0YXRlIDw8IC9HUzEgMzIgMCBS ID4+IAovQ29sb3JTcGFjZSA8PCAvQ3M1IDExIDAgUiAvQ3M5IDE5IDAgUiA+ PiAKPj4gCmVuZG9iago3IDAgb2JqCjw8IAovVHlwZSAvRm9udCAKL1N1YnR5 cGUgL1R5cGUxIAovRW5jb2RpbmcgL1dpbkFuc2lFbmNvZGluZyAKL0Jhc2VG b250IC9IZWx2ZXRpY2EtQm9sZCAKPj4gCmVuZG9iago4IDAgb2JqCjw8IAov VHlwZSAvRm9udCAKL1N1YnR5cGUgL1R5cGUxIAovRW5jb2RpbmcgL1dpbkFu c2lFbmNvZGluZyAKL0Jhc2VGb250IC9UaW1lcy1Sb21hbiAKPj4gCmVuZG9i ago5IDAgb2JqCjw8IAovVHlwZSAvRm9udCAKL1N1YnR5cGUgL1R5cGUxIAov RW5jb2RpbmcgL01hY1JvbWFuRW5jb2RpbmcgCi9CYXNlRm9udCAvSGVsdmV0 aWNhIAo+PiAKZW5kb2JqCjEwIDAgb2JqCjw8IAovVHlwZSAvRm9udCAKL1N1 YnR5cGUgL1R5cGUxIAovRW5jb2RpbmcgL1dpbkFuc2lFbmNvZGluZyAKL0Jh c2VGb250IC9UaW1lcy1Cb2xkIAo+PiAKZW5kb2JqCjExIDAgb2JqClsgCi9D YWxSR0IgPDwgL1doaXRlUG9pbnQgWyAwLjk1MDQ4IDEgMS4wODg5OCBdIC9H YW1tYSBbIDIuMjIyMTkgMi4yMjIxOSAyLjIyMjE5IF0gCi9NYXRyaXggWyAw LjQxMjM5IDAuMjEyNTggMC4wMTkyOCAwLjM1NzU4IDAuNzE1MTkgMC4xMTkx OCAwLjE4MDQ5IDAuMDcyMTggMC45NTA0OCAKXSA+PiAKCl0KZW5kb2JqCjEy IDAgb2JqCjYyOCAKZW5kb2JqCjEzIDAgb2JqCjw8IC9GaWx0ZXIgL0ZsYXRl RGVjb2RlIC9MZW5ndGggMTIgMCBSID4+IApzdHJlYW0NCkiJZJLdcpswEIXv eYq9hI6R9QMC9c4N2HUn42Rstb1oOxlqy4aEgAdIMnmj9i27EvakSTwYCWl1 9tujZXDwposNg0PvMajAo0BBMg6J4tAZb+990t50zoCB3nsp2O0U0hSSmBKZ gL7HEwf86619PXl+tp7NNWz0bJXN1hl8y9fLy6tFoG89SSJ33o5MpURaFUFS p+L/sSHnBJwKDHrJ8cOHz6j2fbbOIcs3F+vltV5ereBytlp8nS3yIEyojEjq L/M8h2smZBRySuNpFk2CkCcJkb6ccjWlUfBLf/Fy7bnsEjiEqSv0w1gpf1Op gogTqkYIFoQMkRMS+xft8bmrDuUAf5GWRmAzE5jVNbjlHkV70z2aHXEZWUS4 QN9CRngMOvN8XVY94FM08NAUx2PXYrCTgc1QNLui2/WQdcV+mED/8PvWbAcY WtiWRXMwxLplq0C+hETiXR1irINRVwgOikLCBBHCuc0lkYSht9V91RxQ1Gzv TpLYC14iiO0BPBbJmCQSwojSk3wS2z2RMqIweawglImdvjdRudwKTidwUOrc Mf7qSuebjzYntaakKVqNtqDJP4MAJSmJ/Hnb2Snzh9K4Ca4NjniMEL4D78c9 4VfNuK78DbpVtadP5jMkmIxR/H+xztSFjevL6uiuaTqPRnaeEE6x+ai7q8dj pbfl3drstenuLfRLpxDGsI/oCN+XRV2julQIsTNNO5iRIX2ddm8602zNjXk0 zXCOwGotQyhiIjjn1haGP0ewbZuha+va7G7enJ7AU1nVZoQ60eNFK4YKr+iz Yije459iwJHDiAzICjsMP2eo9timz7bp/gkwADWrDhcKZW5kc3RyZWFtCmVu ZG9iagoxNCAwIG9iago1MzQgCmVuZG9iagoxNSAwIG9iago8PCAvRmlsdGVy IC9GbGF0ZURlY29kZSAvTGVuZ3RoIDE0IDAgUiA+PiAKc3RyZWFtDQpIiaRT TYvbMBC961fM0SnN1PqwZB9bui0Eeqqhh+2yCFtZZ+uPIDvZ9t93ZFlhF3qr wVhPM3pv5o3F9oJjxYWAPUdjTAn1Z3afiZ+73V4WBVbZj86Nca2y0+K8XU7j U9hQFJyuzu8e6gP78EUBh/rIKjSFlJAHnux6Pt39Pvtd/UwJIiZILItCx4T7 7OinIZDpzCbOpel+vY+KZbZ0Li07O7a9myPkmXfLxY+ujbjIjpNPIRsZvTs6 78bGPbqrG5eNU6ZwM42Ln/retY//ytRZJFQkbdce91yizssqWMXpWVts7WLj KZg72/fQ2asDKhuWP2cXO9+s4QJl/tqbmjqtnR/e+EOeK6WSPwgfiXMiPg/W P10GEiILhKrIqdeCJDbDYMk8Gs+q78h5N8+nacS1/Lua5fCV3gORPwPHvIQX oHFo+Ab3Dzm0TAqBmoPmJdKIBiapYxUw+a+gj/GCsERhEpZrvOKE5/9mOL5j IhQYsl+AwhL5FhaBTirkgrCm3O/sU02+8c3d4FkO9BFKoCANo7GCemDZMLWX fp3F6sEBmOBm5SlJSBLvDWs03ICgS1FWpFtxVBVBg3QzNtQwmdNCJExN5IYm a9KGpEGTt4nsBlctOr1hQz+7knA7bHIM2Rt3RA1L2hH37FZa3EiFb2Rv+2po INuYmdB0z8kU8sYUoWOtUIOWEgsZaLVBoVK4/yvAAGTz9i4KZW5kc3RyZWFt CmVuZG9iagoxNiAwIG9iago8PCAKL1R5cGUgL0ZvbnQgCi9TdWJ0eXBlIC9U eXBlMSAKL0VuY29kaW5nIC9XaW5BbnNpRW5jb2RpbmcgCi9CYXNlRm9udCAv SGVsdmV0aWNhLU9ibGlxdWUgCj4+IAplbmRvYmoKMTcgMCBvYmoKMzc2IApl bmRvYmoKMTggMCBvYmoKPDwgL0ZpbHRlciAvRmxhdGVEZWNvZGUgL0xlbmd0 aCAxNyAwIFIgPj4gCnN0cmVhbQ0KSImkUstOwzAQvPsr9ggcFu/Dj1yR4MCV /EEEQtBeaCV+n3WcdVvUWxVFydi7M7NjB86KGbIylgS7cAicCafkK/uwFYhg EivgXJD11PCv/+MhMLxCxKrwC2NXkM+4UkRqXG8hWi1hrL22C4tilFMxK1Y6 E+7bQ9jh4cb+68ZtN51xaUTVK8Y7c5pQplNxrpi7cPfVt4eww8ON/deNp4r1 jMsOQHk1/jSHxxcBgvkjkEK0xz5sR2Ip5VixCMz7cHdcPr/v56/wPK+zBqaC xJCJMedG7Lhi0gLMZIJicQsKGyxYqqMlSKRmYMM7wwXt9QUxVsvSyQZctax7 wzFjMXujOVrnRhybiqvGJjEcGXKzG8HlLIsdgaVyCoMsPKqgmts19TDg+P6z 3xIhuwiUQS21NYyB8+qfVHESAbWTs+mohcuOmk1FzY7NqUQUa9sWWFJz52QD xm7WsWmss3izRnBi+12CqxrYheFI24Td7EZwOcvyJ8AAPbzLMQplbmRzdHJl YW0KZW5kb2JqCjE5IDAgb2JqClsgCi9QYXR0ZXJuIDExIDAgUiAKXQplbmRv YmoKMjAgMCBvYmoKNDQzIAplbmRvYmoKMjEgMCBvYmoKPDwgL0ZpbHRlciAv RmxhdGVEZWNvZGUgL0xlbmd0aCAyMCAwIFIgPj4gCnN0cmVhbQ0KSIl0kz1v 3DAMhnf9Co7JUEZfFK01X2OHwFuQyfG1Tu5ywSVI+vNLWabsK1AYsP1Q0kvy lWQ+zHVvru4JHPQ7k8HKkyGQxUxA7JA66A/m4ut96offrw/jrh9Ph8v+xVgk nxh+MCZimXTbJv08fk67aTyVWS7OkvKJTGgzkM3oadY8jb8+ypy73jwGzCFB fT9ZeDYxWkweyAVMCQ4rZ6TIECNhyAHIRwweIjn0ndJgyk/2yntDwWJnWQMU qDSmYg3nXLJ6YcvILDl0sa35irD8DkazCuxNq0hIi10EznsZzGz6xhkpo/jj MFWzxz/vp8WY0CV00h+nYt6hcecwM0PIUpokjRJmEpRPpyQFssXolaVGkQnS yRIoKrZrYoo1l6xWtuhLU7o4EcYAql1pMJq78t600mqgNVLFzvtaLGnHT0wu g85jTnr8bo5vz9PndHz751hV8xwjuf+Z513Zs9U8z/N+tgqDL9utDVRazau8 Ma8G1J1FrOGcazXPSYNhY56TI5OaeZVW8ypvzKsBLXwRO++rmDfn+obHenV8 lv0EihEjlasTMjq5eZGL1/t1PCOHLdfxvwIMAIB31ngKZW5kc3RyZWFtCmVu ZG9iagoyMiAwIG9iago0MzEgCmVuZG9iagoyMyAwIG9iago8PCAvRmlsdGVy IC9GbGF0ZURlY29kZSAvTGVuZ3RoIDIyIDAgUiA+PiAKc3RyZWFtDQpIidxT TW8TMRC9+1fMMa2UiT3+5sCBlCJxQEjZW4sqlG5D2gRFzfLRf8+zvZsCEv0B ZKV43868N8/jsToqJ5lzJO8cO0975Wxmk4Ej60y753jmaH/HY/zuXAm9J83J 0Q+qYXcK75W1jv1z9kq96ZRxpPFgcdFwsBSwOKFur2b9z8PjWXev3iKN3ikN 6SvL2QZq/5803cJjZBNA82xd9dxwMiwSyTmDXMimgPfISerrWnlBnVDBDiCC HSvyVtjISWCCTR+8EQfszVs6MYPjkGhSbWitppINo2OTnfZhMjuK/bmXtTqq xfKYabmqPdK0+Ghotfzwn+9Z46zLGF3V85WU2CMulqXMpKRcvfhQR8jQRgli cJUDa0NZSvF5qOCxLzOJMVtcGjLU3SnTOollZEEOdTFuGkqz+WvabffboYzd 4tI3Tq6UTIKNgBFTkS4D+v2wvdn0w81tv/v8dLyeXZ8Vnqa5YYMfdRct5/Dt 75x/+/Fu9FO8DOsvDzQ8HfqX/Dg7+dl+HV4RCnagdSOrXp4N7hnODM2WcrlS PaC5+AJe6tHIQmL0qPBLgAEAYr3cRAplbmRzdHJlYW0KZW5kb2JqCjI0IDAg b2JqCjQzNCAKZW5kb2JqCjI1IDAgb2JqCjw8IC9GaWx0ZXIgL0ZsYXRlRGVj b2RlIC9MZW5ndGggMjQgMCBSID4+IApzdHJlYW0NCkiJpFNNTxwxDL37V/gI SBg7cb449IBKD712bqgHNCwItItQFxX493UyyUD3CFppdt7Y7/nFsYHxDo5O v+Hm5m5zPD3A2Y+AgtMtFGT7FZQYyKOKkjqcdnB0//h8jn+f7i87Q7Rl2p9w oVIwcqKYWu7m9elPzbmcgPEnXnkqPuLy/M14AylQcBhFKBTcrTCRpoSZyRWP 0TlyAXMkyQPMIKFQdgNvofpMnMYHSUyaV6kVtkLG7pgryeNKZjZvOLQXNEMv vcAtDF8L7p670n8HmmEPQpzxBa/accWosdrwFNXOK0lIY02vJ+hBzmTtecct uP8C9/YEnHWfKas5sZi041hsB84aJK4n/mq31B2DWifZrjP4qrkD9UJeDNcC azBXNx3nHtx/gXtgVl3rZI2Z2Vya2ZZ4YNba0jRGQdP0o96IjXoDd6+fpR5a teZ3dyYijkJerV5M7wuVlFzEUDKVwNL2xNbp+2Z7/fZhV6xldjN2vz6S19bC BavNt0uoKjZ95lPre2rzaq8zBLfMhYGtgWTs1FDwrvnrAgMu+sYb2DYjeFyZ LtRJGqoLmv8JMACnntb+CmVuZHN0cmVhbQplbmRvYmoKMjYgMCBvYmoKMzY3 IAplbmRvYmoKMjcgMCBvYmoKPDwgL0ZpbHRlciAvRmxhdGVEZWNvZGUgL0xl bmd0aCAyNiAwIFIgPj4gCnN0cmVhbQ0KSImkkr9OxDAMxvc8hUdgMIljx8mK BAMrfYOKE4LeQk/i9XGbpn/gtlOH9hfXn+0vdsyKmSCRYMowOOaAJcZ2wFEx JEjRI0vcMGFk6N3oCF7BY4IfcNFbkIC5wNlRlAbDGiGySANNFnlz3gQC+jwr qE5fHArGNP2arU6Y84Y1SIyJ9zwFxxtyTw+HKTSh5D+9zv9d71Xjsd481hrM x3pzcLwh93qvmv77+tS5x5cAAbqTCwzeHnuxCGa1CyT0Fjq7u0v/8QWX9+/z fffpnrt5Ro+ZJ31mK0QgtiN+utTGQlhU7XIFY4nGiiqmHZByo96JuV2o8eDE lih7bQdiGyJ5FWtYa1l2YxP1VqMl2+qx4aJdqXetduVpjZfW6sE6SBU7zjWt sbm1N8l2yHKZ0My8ZlITyAFlb0xW5L0xhZA2YyptxlTeGVMP2uSL2Ipzrc0Y FdS9MeqxbMZU2oypvDOmHrTGF7HjXP2vAAMAFLrPuwplbmRzdHJlYW0KZW5k b2JqCjI4IDAgb2JqCjM2OCAKZW5kb2JqCjI5IDAgb2JqCjw8IC9GaWx0ZXIg L0ZsYXRlRGVjb2RlIC9MZW5ndGggMjggMCBSID4+IApzdHJlYW0NCkiJpFI7 T8MwEN79K24EhsM++/xYEWVgbTbEUBUqHolUtRXw8zk7tlNYqwzWl+9y3yNW R3U3KONAyyOH44TWAoeA5GGY1NVp+/YJp9fDdD18qJXMoo7wDcpZjYFkMmJi mAQnTA44GuQEY+ejQ7LnuPLHizfsbhTBI2iMrhmiTk/KWofWLOPrnPT2gcHA sFOpJE5gmdAxsA3obQn8tX8fJPP95rQZlthalHp0Shhks07oqBiXBFKaIdQ+ G628cfk4w5U/Xrzhf3ShqdMSnRgNLeNrpdHnwdaJ87np3pE3jDa2jno1IeVq vAyH1KpZ/ewPtZKq4qUU2WQ0plTAeKa/mJmZtXqSojmCl7oDPGt4kfCU3Xjp gOZ7MONgkctvn2G06JwB57KQKCX5r3JfdSEL2Co24pUrHBWTyCRTMUvYTNZF DRYZ+bTC2cXYMUW0OkFfRTrzTWhGW9V8zFhMN5fzi5ahLvubeCsX4leAAQAp QLZFCmVuZHN0cmVhbQplbmRvYmoKMzAgMCBvYmoKPDwgCi9Qcm9jU2V0IFsg L1BERiBdIAo+PiAKZW5kb2JqCjMxIDAgb2JqCjw8IC9UeXBlIC9QYXR0ZXJu IC9NYXRyaXggWyAwLjg5OTk5IDAgMCAwLjg5OTk5IDAgMCBdIC9QYXR0ZXJu VHlwZSAxIAovUmVzb3VyY2VzIDMwIDAgUiAvUGFpbnRUeXBlIDIgL1RpbGlu Z1R5cGUgMyAvQkJveCBbIDAgMCA4IDggXSAvWFN0ZXAgOCAKL1lTdGVwIDgg L0xlbmd0aCA5NCAvRmlsdGVyIC9GbGF0ZURlY29kZSA+PiAKc3RyZWFtDQpI iSSIMQqAMBRD93+KdwFLa4vYKwgO4uAgbjooKuji9Y1IIHkvlwVWzOOplXux gVPa6NiIPERXV7SM0eVY8ffkma0IZA7LCHYrEkmWEOyaUMpUn/XW2SvAAF4x FJsKZW5kc3RyZWFtCmVuZG9iagozMiAwIG9iago8PCAKL1R5cGUgL0V4dEdT dGF0ZSAKL1NBIGZhbHNlIAovU00gMC4wMTk5OCAKL1RSIC9JZGVudGl0eSAK Pj4gCmVuZG9iagoxIDAgb2JqCjw8IAovVHlwZSAvUGFnZXMgCi9LaWRzIFsg NSAwIFIgXSAKL0NvdW50IDEgCj4+IAplbmRvYmoKMiAwIG9iago8PCAKL0Ny ZWF0aW9uRGF0ZSAoRDoyMDA0MDYzMDEyMTIxOCkKL1Byb2R1Y2VyIChBY3Jv YmF0IERpc3RpbGxlciA0LjA1IGZvciBTcGFyYyBTb2xhcmlzKQovTW9kRGF0 ZSAoRDoyMDA0MDYzMDEyMTIyNCkKPj4gCmVuZG9iagp4cmVmCjAgMyAKMDAw MDAwMDAwMCA2NTUzNSBmIAowMDAwMDA3MjExIDAwMDAwIG4gCjAwMDAwMDcy NzUgMDAwMDAgbiAKdHJhaWxlcgo8PAovU2l6ZSAzCi9JRFs8YzhkNDZjOTgz ZWFlNDc5MDRjZjk4MDA0MjRiZjllYjE+PGM4ZDQ2Yzk4M2VhZTQ3OTA0Y2Y5 ODAwNDI0YmY5ZWIxPl0KPj4Kc3RhcnR4cmVmCjE3MwolJUVPRgo= ---559023410-838832689-1088587397=:25060-- From: Shalom.Bresticker@freescale.com To: chas@cadence.com Cc: ptf-bugs@boyd.com Subject: Re: errata/530: 26.6.17 expr class does not contain vpiTchkTerm - should model different Date: Thu, 24 Feb 2005 10:50:05 +0200 (IST) This is to update the databse with the final status of this issue. This issue PTF 530 was filed in the Mantis SystemVerilog database as issue 307 there: http://www.eda.org/svdb/bug_view_page.php?bug_id=0000307 The accepted change there is shown as file PTF_530.pdf from 12-01-04. This is the same as found in http://boydtechinc.com/ptf/archive/ptf_2004/0668.html . Charles, Please replace the FIX field in this issue with the information from this mail and change the status of this issue to LRMdraft, if you can. If not, then to vsgpassed. Thanks, Shalom -- Shalom Bresticker Shalom.Bresticker @freescale.com Design & Verification Methodology Tel: +972 9 9522268 Freescale Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 5441478 [ ]Freescale Internal Use Only [ ]Freescale Confidential Proprietary |
| Unformatted |
|
Hosted by Boyd Technology