ALF conference call, May 1, 10AM - 11AM Participants Tim Ehrler Philips Joe Daniels Accellera W. Roethig NEC Next meeting ------------ May 8, at CICC San Diego 5PM Town & Country Hotel, room to be confirmed A.I. invite Mike Beunder to the meeting - Tim A.I. invite other CICC participants to the meeting - Wolfgang PAR review ---------- Seems o.k. now. Waiting for email feedback from others. Section 11: No issue with patents - Tim A.I. Get Accellera to release copyright of ALF spec to IEEE - Wolfgang Work doc review --------------- Proposal 1 (rejected), 2 (retained), 3 (retained) o.k. with Tim Proposal 4 and 5 to be retained as well. New proposal from Tim: Allow VIOLATION statement in context of LIMIT A.I. incorporate Tim's proposal in next version of work doc - Wolfgang Syntax review (chapter 11 in ALF 2.0) ------------------------------------- Motivation: Email from Adalbert Perbandt (Infineon), raising issue with "pin_assignment". Adequate response has been provided on email reflector, however, we are looking into improving the presentation of the grammar anyway. Chapter 11.2 Assignments "pin_assignment" can be eliminated, if proposal 5 is accepted. Rest can eventually be simplified and move into 11.7 Auxiliary Objects A.I. look into possibilities and restrictions for simplification of 11.2 - Tim Chapter 11.3 Expressions can be broken into 3 independent sections - arithmetic expression - boolean expression - vector expression Chapter 11.4 Instantiations Can be simplified in similar way as 11.2 Remaining items can be moved into other applicable 11.x sections Chapter 11.5 Literals belongs into Lexical rules (chapter 11), eventually 10 and 11 will be combined Chapter 11.6 Operators Can be associated with applicable expressions Operator with prefix "arithmetic" -> arithmetic expressions Operator with prefix "boolean" -> boolean expressions Operator with prefix "vector" -> vector expressions Operator with prefix "sequential -> function (chapter 11.17) Joe: Verilog standard has also a seperate chapter for Operators Chapter 11.7 Auxiliar Objects Issue with recursive definition of "annotation" and "all_purpose_item" Tim: no issue, since their tool builds datatructures dynamically Wolfgang: issue reported by EDA vendor who wants to build database statically General idea: Associate sniplets of grammar with the outlined chapters 1 through 9 and rearrange chapter 10 and 11 to provide the summary. Ensure consistency between summary and previous chapters.