Language Change Specification for Repair example in Section 14.2 Proposal

LCS Number: LCS-2016-I05
Version: 1
Date: Nov-29-2016
Status:
Author: Kevin Jennings
Email: KevinJennings
Source Doc: Repair Example in Section 14.2
Summary: Repair example in Section 14.2

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

Topic revision: r12 - 2017-04-02 - 16:19:38 - 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