Meeting minutes 02-18-05 Present Peter Chuck Charlie John Dave Jim Review action item list Proposal Who Description ??? Jim, David usage model for floating point package Not done, for next meeting. FT18 Peter update to reflect e-mail discussion results. Change of operator to ??, move action Jim to to text change proposal. FT9 John add negation example FT9 John Update per minutes 11-16-2004 Request from David for support of fixed and floating point numbers See a period in a literal becomes a sfixed or ufixed. if two sign:export:floating point number fp and float. Discussion of how to do this. Peter and John don't like the making literals specific to types. Issue here is that the new literal forms provides constraints and there is no current mechanism for passing this. Discussion on why would you want to provide literals this way. Jim suggested the use of a subtype that is constained as a qualified expression. Issue with using decimal formal for literals. With sized literal there is an issue on where to cut the length. Talk about from_string and how synthesis works. Issue with reals because fixed point and floating point number may exceed the range and accuracy of real and integer. Action for Dave to determine if NASA needs 512 bit of precision for the literals. Resolution: need more justification for this feature to go ahead. Both action items here done. FT8 ALL Code Review Skipped FT5 ALL Code Review Skipped FT11 John Do analysis per 11-16-2004 Make aggregates no-delta predicate aggregates no delta delays on FT20. Finish up with all other expressions as delays. FT7 Peter, Jim Update pakage and define in terms of VHPI Delta delay in connecting for a read, delta delay in connecting for write. forces match semantics for forces in VHPI consistent path syntax 'instance_name, 'path_name FT19 John Update based on process (ALL) and attribute changes 11-16-2004 Not done. Will be done by Tuesday. FT23 John Update package list in Modified text Done FT24 John Restrict to std_logic_1164 and one-dimensional arrays of them ?= needs to reduction strength. arrays of different length needs to return FALSE not an error. Add proof of A?=B, A?=C then B?=C if A doesn't contain a '-'; And if B?=C then there exist a value A which A?=B and A?=C is true without don't care in A. FT12 Peter Call for vote Done FT13 Peter Update per 11-16-2004, make functions stop and finish Done FT16 --- Review N10 NONE reexamine the literal problem (N-010) in a latter meeting. CP003 NONE define shifts implicitly Not CP003 but should be CP002 Change to explicit define non-numeric shifts ( sll, srl, rol, ror) for 1164 as bit vectors using '0' value not 'left Explicitly define numeric shifts sla, sra ) for slv in numeric_unsigned identicial for unsigned Explicit define all shifts for unsigned singed in numeric_std sla : same as ll when shift is positive, if shift is negative , then like sra. sra: unsigned FT8 David Specify what an error in reading means NONE John Make a list of action items and track New Action items What who What FT9 David For fixed point literals, get info from NASA on accuracy of 512 bit literals. FT9 John Update to sizing of Decimal bit string literals. (DONE) FT20 John Check over to see what needs to be done. FT25 Chuck/John Rewrite to handle () expressions as selector. Assure that "others" requirement doesn't change. NONE Jim/Chuck Pressure Steve to hold vote on ISAC issues. NONE Charlie Check to see that FT has reasonable descriptions. FT31 Peter Add FILE_FLUSH function FT16 Peter Make it an error to reference WORK within a context declaration. FT16 Jim Mark done when Peter finishes action item.