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:

  1. Jim Lewis - 12-Mar-2017 ver 1
  2. Patrick Lehmann - 13-03-2017 ver 1
  3. Farrell Ostler - 2017-03-21 ver 1

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
 
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback