ISSUE 530

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-DateJan 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