(r2) 2015_MeetingDecember17 < P1076

P1076 Web>Vhdl2019MeetingMinutes>2015_MeetingDecember17 (revision 2) (raw view)~~EditAttach~~
<!--
Set ALLOWTOPICCHANGE = P1076AdminGroup
-->
---+!! P1076 December 17, 2015 Meeting Minutes
---++!! Attendees:

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

---++!! Agenda:

%TOC%

---++ 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:<br /> 
            * 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 [[2016_MeetingJanuary7][January 7, 2016]] 11 am Pacific
---+++ Previous Meeting: Thursday [[2015_MeetingDecember3][December 3, 2015]]
Topic revision: r1 - 2020-02-17 - 15:36:14 - TWikiGuest
P1076