0002414: VPI for let - EDA.org Mantis

(0007183)
Abigail Moorhouse (developer)
2008-07-08 12:41

There are at least two other Mantis items that have touched on the let proposal, 1503 and 1728. The intent is that this Mantis is the definitive VPI let definition.

(0007257)
Erik_Seligman (developer)
2008-07-23 09:40

In SV-SC review, we noticed that there may be an issue in that a 'let' must be defined before being used, so a VPI decompile app must be able to figure out the original order of all constructs. However, this appears to be a general VPI issue rather than a specific problem for 'let', so we went ahead & voted the proposal consistent with the other VPIs. We will leave the global issue for the SV-CC to consider in a more general context.

(0007258)
Erik_Seligman (developer)
2008-07-23 09:41

Passed voice vote in SV-SC meeting, 2008-07-22.

11y/0n/1a

Mike Burns abstained due to lack of VPI expertise.

(0007267)
shalom (manager)
2008-07-28 13:05

Uploaded updated version for Abi with vpiFullname removed.

(0007276)
Neil Korpusik (administrator)
2008-08-01 18:19
edited on: 2008-08-01 18:20

The proposal was unanimously approved by the Champions in the
July 31st, 2008 conference call with the following friendly amendments.

Editorial note
--------------
- 36.50 diagram, under let decl, the ">" should have a ->
  The sv-sc should fix this as well.

Summary of issue that was also flagged by the sv-cc
---------------------------------------------------
- The definition of "seq formal decl" appears to be incomplete
  none of the properties are listed in the proposal. see p3
- Either the name is wrong, or the bolding is incorrect, or
  the definition is incomplete

Note: The sv-cc will be providing a more detailed summary of their
      friendly amendments. Here I am showing what the Champions mentioned.
      After discussing this point they went ahead and actually voted to
      approve the amendments from the sv-cc (Francoise had a copy of the
      feedback from the sv-cc).

(0007291)
chas (manager)
2008-08-04 14:50

On 07/30/2008, the SV-CC voted to approve this proposal with the following friendly amendments:

- strike the vpiSeqFormalDecl from the end of the proposal
- unbold the "seq formal decl" from 36.50

(0007297)
Erik_Seligman (developer)
2008-08-05 09:36

SV-SC voted to approve latest edits in 2008-08-05 mtg. 9y/0n/0a.

(0007377)
Neil Korpusik (administrator)
2008-08-18 18:39

The proposal was unanimously approved by the Working Group
in the conference call of August 14, 2008.

(0007488)
Stuart Sutherland (manager)
2008-09-08 18:48

The change proposal was implemented in draft 7.

(0007792)
Neil Korpusik (administrator)
2008-12-19 18:43

I verified that the proposal was correctly added to 1800-2009 draft 7.
Note that the section numbers changed a bit during the editing process.

Changing the status to closed.

Issue History
Date Modified	Username	Field	Change
2008-06-17 11:32	Dmitry Korchemny	New Issue
2008-06-17 11:32	Dmitry Korchemny	Type	=> Enhancement
2008-06-17 11:38	Dmitry Korchemny	File Added: 2414LetVPI 080617_dk.doc
2008-06-17 11:39	Dmitry Korchemny	File Added: 2414LetVPI 080617_dk.pdf
2008-06-17 12:55	shalom	Issue Monitored: shalom
2008-07-08 12:39	Abigail Moorhouse	File Added: 2414.pdf
2008-07-08 12:41	Abigail Moorhouse	Note Added: 0007183
2008-07-23 09:40	Erik_Seligman	Note Added: 0007257
2008-07-23 09:41	Erik_Seligman	Note Added: 0007258
2008-07-23 09:41	Erik_Seligman	Status	new => resolved
2008-07-23 09:41	Erik_Seligman	Resolution	open => fixed
2008-07-23 09:41	Erik_Seligman	Fixed in Version	=> 1800-2009
2008-07-28 13:04	shalom	File Added: 2414_2008-07-28.pdf
2008-07-28 13:05	shalom	Note Added: 0007267
2008-08-01 18:19	Neil Korpusik	Status	resolved => feedback
2008-08-01 18:19	Neil Korpusik	Resolution	fixed => reopened
2008-08-01 18:19	Neil Korpusik	Note Added: 0007276
2008-08-01 18:20	Neil Korpusik	Note Edited: 0007276
2008-08-04 14:50	chas	Note Added: 0007291
2008-08-04 16:55	Abigail Moorhouse	File Added: 2414_2008_08_04.pdf
2008-08-05 09:36	Erik_Seligman	Note Added: 0007297
2008-08-05 09:36	Erik_Seligman	Status	feedback => resolved
2008-08-05 09:36	Erik_Seligman	Resolution	reopened => fixed
2008-08-18 18:39	Neil Korpusik	Note Added: 0007377
2008-08-18 18:39	Neil Korpusik	Status	resolved => approved
2008-09-08 18:48	Stuart Sutherland	Status	approved => completed
2008-09-08 18:48	Stuart Sutherland	Fixed in Version	1800-2009 => P1800-2009/D7
2008-09-08 18:48	Stuart Sutherland	Assigned To	=> Stuart Sutherland
2008-09-08 18:48	Stuart Sutherland	Note Added: 0007488
2008-12-19 18:43	Neil Korpusik	Status	completed => closed
2008-12-19 18:43	Neil Korpusik	Note Added: 0007792

Notes
(0007183) Abigail Moorhouse (developer) 2008-07-08 12:41	There are at least two other Mantis items that have touched on the let proposal, 1503 and 1728. The intent is that this Mantis is the definitive VPI let definition.

(0007257) Erik_Seligman (developer) 2008-07-23 09:40	In SV-SC review, we noticed that there may be an issue in that a 'let' must be defined before being used, so a VPI decompile app must be able to figure out the original order of all constructs. However, this appears to be a general VPI issue rather than a specific problem for 'let', so we went ahead & voted the proposal consistent with the other VPIs. We will leave the global issue for the SV-CC to consider in a more general context.

(0007258) Erik_Seligman (developer) 2008-07-23 09:41	Passed voice vote in SV-SC meeting, 2008-07-22. 11y/0n/1a Mike Burns abstained due to lack of VPI expertise.

(0007267) shalom (manager) 2008-07-28 13:05	Uploaded updated version for Abi with vpiFullname removed.

(0007276) Neil Korpusik (administrator) 2008-08-01 18:19 edited on: 2008-08-01 18:20	The proposal was unanimously approved by the Champions in the July 31st, 2008 conference call with the following friendly amendments. Editorial note -------------- - 36.50 diagram, under let decl, the ">" should have a -> The sv-sc should fix this as well. Summary of issue that was also flagged by the sv-cc --------------------------------------------------- - The definition of "seq formal decl" appears to be incomplete none of the properties are listed in the proposal. see p3 - Either the name is wrong, or the bolding is incorrect, or the definition is incomplete Note: The sv-cc will be providing a more detailed summary of their friendly amendments. Here I am showing what the Champions mentioned. After discussing this point they went ahead and actually voted to approve the amendments from the sv-cc (Francoise had a copy of the feedback from the sv-cc).

(0007291) chas (manager) 2008-08-04 14:50	On 07/30/2008, the SV-CC voted to approve this proposal with the following friendly amendments: - strike the vpiSeqFormalDecl from the end of the proposal - unbold the "seq formal decl" from 36.50

(0007297) Erik_Seligman (developer) 2008-08-05 09:36	SV-SC voted to approve latest edits in 2008-08-05 mtg. 9y/0n/0a.

(0007377) Neil Korpusik (administrator) 2008-08-18 18:39	The proposal was unanimously approved by the Working Group in the conference call of August 14, 2008.

(0007488) Stuart Sutherland (manager) 2008-09-08 18:48	The change proposal was implemented in draft 7.

(0007792) Neil Korpusik (administrator) 2008-12-19 18:43	I verified that the proposal was correctly added to 1800-2009 draft 7. Note that the section numbers changed a bit during the editing process. Changing the status to closed.

Relationships