P1076 Web>VHDL2017>LCS2016_PSLa (2017-04-02, PatrickLehmann)EditAttach

Language Change Specification for PSL Harmonization

LCS Number:	LCS-2016-PSLa
Version:	1
Date:	12-Mar-2017
Status:	Draft
Author:	Ajeetha Kumari, Srinivasan Venkataramanan, Jim Lewis
Email:	Main.AjeethaKumari Main.JimLewis
Source Doc:	PSL Harmonization
Summary:

Voting Results: Cast your votes here

Yes:

No:

Abstain:

Revision Notes

Revision 1: Initial 12-Mar-2017

Style Notes

Changes are shown in red font. Deletions are ~~crossed out~~. Editing notes in green font.

Reviewing Notes

All updates for PSL other than changing 2005 to 2010

Transcribed from Ajeetha's Excel sheet

Actions identified in Ajeetha's spreadsheet

Item	action	Status
assume_guarantee	delete keyword	Done
restrict_guarantee	delete keyword	Done
vpkg	add keyword	Done
clock	add keyword	No action required. Not a VHDL Keyword
report	add keyword	No action required. Not a VHDL Keyword
bitvector	add keyword	No action required. Not a VHDL Keyword
const	add keyword	No action required. Not a VHDL Keyword
numeric	add keyword	No action required. Not a VHDL Keyword
string	add keyword	No action required. Not a VHDL Keyword
PSL_PSL_DIRECTIVE	add keyword	No action required. Itallic text is a EBNF VHDL notation

Within VHDL, only the first PSL keyword in a PSL reference is a VHDL keyword. Hence, these items are marked as, "Not a VHDL Keyword" in the above table. Note that all of these were PSL keywords in 2005 also.

Details of Language Change

15.10 Reserved words

Page 236

[Note: Delete keywords assume_guarantee restrict_guarantee ]

assume_guarantee
restrict_guarantee

[Add keyword vpkg ]

vpkg

Page 237, reserved list in note 3

[Note: Delete keywords assume_guarantee restrict_guarantee ]

assume_guarantee
restrict_guarantee

[Add keyword vpkg ]

vpkg

Comments

Topic revision: r4 - 2017-04-02 - 16:17:07 - PatrickLehmann

P1076