P1076 March 3, 2016 Meeting Minutes

Attendees:

Rob Gaddi, Ernst Christen, Patrick Lehmann, Peter Flake

Agenda:

Meeting Discussion

• What's Next - see PrivateDocuments file: _summary_vhdl_requirements_priority.xlsx
• Restart at line 46
• Record Reflection
  • Discussed Patrick's net document at http://www.eda-twiki.org/cgi-bin/view.cgi/Main/PatrickLehmannReflection
  • Can't use 'element, as this is already defined in VHDL-2008 to get the element type of an array
  • Proposing a 'members attribute, returning an implicit enumerated type with one value per record field.
  • 'left and 'right could be defined by the lexical definition order from the above code.
  • Possibly use "type classes", i.e. scalar, array, enumeration, record, protected
  • Use cases: generic record TO_STRING, TO_JSON, TO_STD_LOGIC_VECTOR. Tends to all be serialization/deserialization.
  • Ernst suggests looking into the Pascal/Visual Basic "with" context as a reference idea
  • Peter suggests 'enum possibly?
  • Need to instantiate functions/procedures in a way as to bind them to specific type instances. Package generics?
  • Can we allow user-defined function attributes? I.e. attribute serialize of t_my_record is TO_JSON([t_my_record])
  • We need a couple of written out use cases of what we're trying to solve. We need iteration, recursion, etc. For what?
    • Rob write RecordReflectionToSlv std_logic_vector use case (+ reverse)
    • Patrick write RecordReflectionToJson use case
• 46: Interface Construct and Port Mode Configurations
  • Yet more interface things we're not dealing with right now
• 47: Protected Types: Wait and Private Signals
  • Observation that SystemVerilog includes semaphore type as language primative rather than constructable construct.
  • Ties closely in with #45 and signaling from protected types; see 2016_MeetingFebruary25
  • Needs practical use cases before we can say much more about it.
• 48: Protected Type: Shared Variables On Entity Interface
  • Would need shared variables on a port, or signals of a protected type. Or a method call on the entity interface as a generic.
  • Patrick would like to see it for synthesis to pass structures in from protected types to calculate local constants.

Review and Approve Meeting Minutes:

Approved Peter, second Patrick.

Next Meeting: Thursday March 10, 2016 11 am Pacific

Previous Meeting: Thursday February 25, 2016