LCS2016_PSLa < P1076

P1076 Web>VHDL2017>LCS2016_PSLa (2017-04-02, PatrickLehmann) (raw view)EditAttach
---+ Language Change Specification for PSL Harmonization

---++ 

| <sticky><b>LCS Number:</b></sticky> | LCS-2016-PSLa |
| <sticky><b>Version:</b>   </sticky> | 1  |
| <sticky><b>Date:</b>      </sticky> | 12-Mar-2017 |
| <sticky><b>Status:</b>    </sticky> | Draft |
| <sticky><b>Author:</b>    </sticky> | Ajeetha Kumari, Srinivasan Venkataramanan, Jim Lewis |
| <sticky><b>Email:</b>     </sticky> | [[Main.AjeethaKumari]] [[Main.JimLewis]] |
| <sticky><b>Source Doc:</b></sticky> | [[PslHarmonization][PSL Harmonization]] |
| <sticky><b>Summary:</b>   </sticky> | |

---+++ Voting Results: Cast your votes here

Yes:
   1 %USERSIG{JimLewis - 12-Mar-2017}% ver 1
   1 %USERSIG{PatrickLehmann - 13-03-2017}% ver 1
   1 %USERSIG{FarrellOstler - 2017-03-21}% ver 1

No:

Abstain:

---++ Revision Notes

Revision 1:  Initial   12-Mar-2017

---++ Style Notes

<noautolink>
<sticky>
Changes are shown in %RED%red font%ENDCOLOR%.  
Deletions are %RED%<del>crossed out</del>%ENDCOLOR%. 
Editing notes in %GREEN%green font%ENDCOLOR%. 


---++ 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 |
| <i>PSL_</i>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  
%GREEN%[Note:  Delete keywords assume_guarantee restrict_guarantee ]%ENDCOLOR%

%RED%<strike>assume_guarantee%BR%
restrict_guarantee</strike>%ENDCOLOR%

%GREEN%[Add keyword vpkg ]%ENDCOLOR%

%RED%vpkg%ENDCOLOR%


---+++++ Page 237, reserved list in note 3 
%GREEN%[Note:  Delete keywords assume_guarantee restrict_guarantee ]%ENDCOLOR%

%RED%<strike>assume_guarantee%BR%
restrict_guarantee</strike>%ENDCOLOR%

%GREEN%[Add keyword vpkg ]%ENDCOLOR%

%RED%vpkg%ENDCOLOR%



<br>
<br>
---++ Comments 

%COMMENT%</sticky>

</noautolink>
Topic revision: r4 - 2017-04-02 - 16:17:07 - PatrickLehmann
P1076