Language Change Specification for Repair example in Section 14.2 Proposal

Voting Results: Cast your votes here

Yes:

1. Kevin Jennings - 2016-11-29
2. Ryan Hinton - 2016-12-19
3. Thomas Preusser - 2016-12-27
4. Martin Zabel - 2017-01-19 - ver 1
5. Jim Lewis- 2017-02-02 - ver 1
6. Patrick Lehmann - 2017-02-02 - ver 1
7. Rob Gaddi - 2017-02-09 - ver 1

No:

Abstain:

1. Martin Thompson - 2016-12-12

2. Brent Hayhoe - 2017-02-16 Version 1 - Abstain due to lack of personal time for review.

Details of Language Change:

Key:

• Existing LRM text is shown in BLACK font
• Additional LRM text is shown in RED and underlined
• Deleted LRM text is shown in RED with strike-through

LRM 14.2 page 202 near top

alias DONE_SIG is <<signal .TOP.DUT.DONE: BIT>>; -- Legal Illegal, because .TOP.DUT.DONE has not yet been elaborated -- when the expression is evaluated

Comments

Nit-pick: it would be nicer to move the first comment line down to the next line.I assume the editor would do this anyway.

-- Ryan Hinton - 2016-12-19