P1076 July 10, 2014 Meeting Minutes

Attendees:

• JimLewis * PeterFlake * CliffordWalinsky * StevenDovich

Agenda:

Action Item Review

Items Discussed

• Need more reviewers of matrix math package
  • David sent a list of potential changes - Jim to enter it on TWIKI
• Jim - 2109 - Requests semaphore implementation via a protected type
  • Requires wait inside of a protected type
  • ?Requires signal inside of a protected type?
  • Also interested in a resolution function based semaphore implementation
  • Took a look at 2109 during meeting and discussed issues.
  • Steve
• Martin - 2033 - Increment operator with modulo wrap around.
  • Much discussion on the reflector
  • What did ADA do for modulo based math?
  • Peter to look at this too from a language design side.
• Peter - looking at conditional expressions
  • Concluded with 2008 conclusion that need different keyword.
  • When has complicated waveform expressions that prevent simplification
  • Should we allow when in initializations - potential for confusion.
  • Should we consider different syntax, such as "if else" as was suggested in 2008
    • Potentially leads to confusion?
    • Removes some of hamming distance between syntax.
    • Cliff to look at parsing issues of doing this
  • Anonymous types could help: Condition[boolean, anonymous, anonymous return anonymous]

Items For a Future Meeting

• Ryan: Arbitrary width real: see Nov 8 2012 meeting
• Open - Multi dimensional Array restructuring: Array <--> Matrix Transformations 2012_MeetingJuly19 MeetingDecember15
  • Matlab has built-in reshape functions
  • In VHDL - explicit vs implicit defined operator
  • David Bishop: Requiring an implicit operator could delay implementations
  • Can this be handled by anonymous types on interfaces or generics on a package?
  • Language facility for creating implicit operators?
• Ryan - Slicing Multidimensional Arrays (FT15) maybe related to above 2012_MeetingMay24
• David Bishop: Bugzilla 17 - add_carry in numeric_std as well as fixed/floating packages
  • In the fixed point package, but not floating point package.
  • Not in numeric_std. Add for consistency?
• David Bishop: Bugzilla 15 - Should numeric_bit/std have resize with size_res parameter?
  • David proposed it for consistency with the fixed and floating point packages
• David Bishop - 262 - Fixed Generic Pkg and checking valid range
• Jim - Mark bugzillas for which we have a proposal with that status
• Jim - Table driven modeling via protected types 2012_MeetingMay10
• OPEN - 2026 - Upward propagating Generics.
  • Would an external name reference to a constant accomplish some of the intent here?
  • An "OUT" generic would need to have similar constraints to the external name usage.
  • One use models: Out generic of one design connecting to in generic of another.
  • Need other use models
• Open - technical leader for 1076.6 activities?
  • std_logic_1164 uses 1076.6 attribute "RTL_SYNTHESIS_OFF" and "RTL_SYNTHESIS_ON"

Ranking Criteria

• Rank based on need
  • Item needs to be fixed
  • Useful for an application
• Rank based on complexity
  • How hard to implement
• Noted several items in Collected Requirements as Must Do
• AI: Jim: Create ranking sheet.

Review and Approve Meeting Minutes:

• Motion: Steve 2nd:Cliff

Next Meeting: Thursday July 24, 2014 8 am Pacific

Previous Meeting: Thursday June 26, 2014