P1076 December 17, 2015 Meeting Minutes

Attendees:

• Peter Flake, Brent Hayhoe, Jim Lewis, Ernst Christen, Rob Gaddi

Agenda:

Meeting Discussion

• Until the next meeting, a recording of the meeting minutes is at: http://www.synthworks.com/2015-12-17%2011.01%20IEEE%20VHDL%20Working%20Group.mp4
• Review Interface Proposals
• Interface concepts:
  • Interface/Record Definition, Directional Mapping, Association
• Update on EDA.org:
  • Reflectors - move to IEEE
  • TWIKIs to move to hosting site - IEEE to pay for hosting
• What's Next - see http://www.eda.org/twiki/bin/view.cgi/P1076/PrivateDocuments file: _summary_vhdl_requirements_priority-1.xlsx
  • Partially connected Vectors on Port Map - will the intent be covered by interfaces, and hence, not needed or re-ranked.
  • Access and protected types on function interfaces
    • Should be straight forward. Lots of detailed reading in LRM. Could be handled by someone fairly new with good LRM reading skills.
    • Would require the restrition that the function is impure, but the language may already say this.
    • ADA allows access types on function interfaces.
  • Package updates - Numeric_Std, Fixed and Floating point
    • Talk to David Bishop about time.
  • PT methods with parameters that are acess types, protected type or file type
    • Potentially lots of issues. Need help in limiting scope.
  • Real Matrix Math Package
    • Reviewed, comments made, ?were updates made wrt to the comments?
    • 1076.1 implementation ?does not? require this package
    • 1076.1 Table driven modeling may be a requirement.
    • Ernst
      • some concerns about scope - package goes beyond the current needs of 1076.1
      • underlying model - somewhat based on MatLab
    • More math package stuff:
      
      • Fixed Point Algorithmic Package (line 11)
      • Floating point algorithmic package (line 14)
      • Overlap with real matrix math package
      • Should these be part of the standard or open source?
  • FileIO / TextIO Updates
    • Package based, should be straight forward for anyone to do.
  • Sequential Declarative Regions
    • ADA has this and does not seem hard to do.
    • Potential scope rules that can be leveraged from the implicit declaration of a for loop index
  • Arbitrary/Sized Length Integers
    • Requires some significant work in the language
    • Requires maintaining of the type integer at 32 bits
    • Performance of some of the bignum packages is not too bad
    • Will take a team - probably meeting separately from the main group
    • Also see 64 bit integers (line 27)
    • Coordinate with modular types (line 32) - exists in ADA
    • Champion: Rob Gaddi, Ryan Hinton,
  • Flag metavalues detected by "??"
    • Should just be a package update to std_logic_1164
  • Date and System Time
    • Should be part of package std.env
    • Is there something like this already in DPI proposal? - calling out to a foreign function
    • Look at how std.env.stop is written up. AI: Jim look up stop proposal/LCS
    • Does SV have something like this? $system with string/integer/real return
  • to_string/image for composites (line 13) was: Extend IMAGE attribute to arrays and records
    • Default action
    • Overloaded version that takes a delimiter as an input
    • Separate function that replaces default delimiter with another delimiter.
• New Issue
  • Expressing X, Z, ... in type Real
    • SV AMS using a quiet NAN in a real number
    • Does something like this exist in ADA

Review and Approve Meeting Minutes:

• NA

Next Meeting: Thursday January 7, 2016 11 am Pacific

Previous Meeting: Thursday December 3, 2015