LCS2016_001_History < P1076

P1076 Web>LCS2016_001_History (2017-05-03, RobGaddi) (raw view)EditAttach
---+ Language Change Specification History for Partially Connected Vectors on Port Map Proposal

---++ 

<table border="1" cellpadding="0" cellspacing="0" id="table1" rules="all"> <tbody> <tr> <td bgcolor="#ffffff" valign="top"> *LCS Number:* </td> <td bgcolor="#ffffff" valign="top">LCS-2016-001</td> </tr> <tr> <td bgcolor="#edf4f9" valign="top"> *Version:* </td> <td bgcolor="#edf4f9" valign="top">5</td> </tr> <tr> <td bgcolor="#ffffff" valign="top"> *Date:* </td> <td bgcolor="#ffffff" valign="top">21-Oct-2016 (Ver 1), ?? (Ver 2), 17-Jan-2017 (Ver 3), 10-Feb-2017 (Ver 4), 13-Feb-2017 (Ver 5)</td> </tr> <tr> <td bgcolor="#edf4f9" valign="top"> *Status:* </td> <td bgcolor="#edf4f9" valign="top"> </td> </tr> <tr> <td bgcolor="#ffffff" valign="top"> *Author:* </td> <td bgcolor="#ffffff" valign="top">Kevin Jennings</td> </tr> <tr> <td bgcolor="#edf4f9" valign="top"> *Email:* </td> <td bgcolor="#edf4f9" valign="top"> [[http://www.eda-twiki.org/cgi-bin/view.cgi/Main/KevinJennings][KevinJennings]]</td> </tr> <tr> <td bgcolor="#ffffff" valign="top"> *Source Doc:* </td> <td bgcolor="#ffffff" valign="top"><a href="http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/Partiallyconnectedvectorsonportmap" title="Topic revision: 12 (2016-10-12 - 16:53:24)">Partiallyconnectedvectorsonportmap</a></td> </tr> <tr> <td bgcolor="#edf4f9" valign="top"> *Summary:* 
</td> <td bgcolor="#edf4f9" valign="top">Allow for vectors to be partially connected in the port map</td> </tr> </tbody> </table>

%TOC%

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

   * Yes:
      1 %USERSIG{KevinJennings - 2017-2-10}% Version 5
      1 <span data-mce-mark="1">%USERSIG{ThomasPreusser - 2016-11-21}% - Version 3</span>
      1 %USERSIG{MartinThompson - 2016-11-22}%
      1 %USERSIG{MortenZilmer - 2016-12-11}%
      1 %USERSIG{RobGaddi - 2016-12-12}%
      1 %USERSIG{MartinZabel - 2017-02-14}% - Version 5
      1 %USERSIG{RyanHinton - 2016-12-14}% - Version 2
      1 %USERSIG{BrentHahoe - 2016-12-20}% - Version 2
      1 %USERSIG{PatrickLehmann - 2017-01-17}% - version 3
      1 %USERSIG{DanielKho - 2017-01-19}% - version 3 
      1 %USERSIG{JimLewis- 2017-02-09}% - version 5

   * No:

   * Abstain: <p> </p>

---++ Comments

 Do you really want to remove the last sentence ? This would allow a port without known bounds...

 -- <span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">%BUBBLESIG{TristanGingold - 2016-10-21}%</span></span></span>

 Looks like in the the copying from Word into Twiki the 'real' last sentence of the paragraph was not copied for some reason.

 -- <span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">%BUBBLESIG{KevinJennings - 2016-10-24}%</span></span></span>

 Version 2 changes: - Adds changes to section 6.5.6.2 to allow for partially mapped vectors in the generic map - Sprinkles the phrase "or subelement or slice thereof" in several places to be explicit about references to partially mapped vectors. The phrase "or subelement or slice thereof" is currently used in the LRM 14.3.5 d) page 205, top, to refer to port map association elements formal ports.

 -- <span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">%BUBBLESIG{KevinJennings - 2016-11-18}%</span></span></span>

The requirement for this feature applies to port maps, not to generic maps. Is the extra work involved in the generic map implementation worthwhile?

-- <span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">%BUBBLESIG{PeterFlake - 2016-11-24}%</span></span></span>

Yes, I think it's worthwhile since it removes an unnecessary error condition from the language.  Removing the error condition for port maps but leaving the error condition for generic maps would be an oversight (one that almost happened).

Besides, do you know for a fact that making generic maps and port maps different from each other in this instance wouldn't make extra work?

-- <span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">%BUBBLESIG{KevinJennings - 2016-11-24}%</span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Paragraph 5 on page 83 forbids to use open in combination with individually associated interface objects. This paragraph should be changed too.</span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
<i>It is an error if an actual of open is associated with a formal interface object that is associated individually.
An actual of open counts as the single association allowed for the corresponding formal interface object, but
does not supply a constant, signal, or variable (as is appropriate to the object class of the formal) to the
formal.</i></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
%BUBBLESIG{PatrickLehmann - 2017-01-17}%</span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 3 created.  Added change to section 6.5.7.1, page 83.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{KevinJennings - 2017-01-17}%</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 3, Edit1: LRM 6.5.6.2 Generic clauses  page 78 last paragraph
the text of the main body of the paragraph is repeated twice.   
The "error" sentence needs to include the part about subelements:</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
It is an error if no actual is specified for a given formal generic constant or subelement or slice thereof, and no default expression is present in the corresponding interface element.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 3: Edit 2:LRM 6.5.6.3 Port Clauses  page 80 last paragraph
It seems you need the terms about: "or subelement or slice thereof"  here also.  </span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 3: Edit 3: 6.5.7.1 page 83 near the bottom of the page, second paragraph above 'Note 1'
Why did you delete the part about:</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
An actual of open counts as the single association allowed for the corresponding formal interface object, but does not supply a constant, signal, or variable (as is appropriate to the object class of the formal) to the formal.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{JimLewis - 2017-02-09}%</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 4 created to address Jim's comments above.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{KevinJennings - 2017-02-10}%</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Almost there
For generics, last part of the second sentence needs to apply to the generic or subelement or slice thereof.  This corresponds to the part you did for ports in 14.3.5.
Just changing the last few words of this sentence:
If no such actual is specified for a given formal generic constant or subelement or slice thereof (either because the formal generic is unassociated or because the actual is open), and if a default expression is specified for that generic, the value of this expression is the value for the formal generic constant or subelement or slice thereof.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{JimLewis - 2017-02-13}%</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
My previous comment needs to reference 6.5.6.2 Generics.   Also in the same section, first sentence.   It would be better to change "generic constant" to "formal generic constant".    </span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{JimLewis - 2017-02-13}%</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
Version 5 created to address Jim's latest comments.</span></span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
-- %BUBBLESIG{KevinJennings - 2017-02-14}%


That fixes my concerns.   I just wish there was a better way to structure that second sentence in 6.5.6.2 so it does not have to repeat the &#34;generic constant or ...&#34; so many times.  

I tried playing with a form like:

For a given formal generic constant or subelement or slice thereof, if no actual is specified (either because the formal is unassociated or the actual is open), the value of the formal is the value of the default expression, if specified.

However, I don&#39;t think this quite does.   The long form is clear in what it does so I think it is time to it done.


-- %BUBBLESIG{JimLewis - 2017-02-16}%


Is there a reason why we don&#39;t allow this for constant parameters?  Perhaps this is ok as they are a different nature.


-- %BUBBLESIG{JimLewis - 2017-02-18}%
%COMMENT%</span></span></span></span>

<span data-mce-mark="1"><span data-mce-mark="1"><span data-mce-mark="1">
</span></span></span>
Topic revision: r1 - 2017-05-03 - 04:17:42 - RobGaddi
P1076