Meeting called to order 8:30 May 3, 2004
Attendance:
00000111000000000000111110000 \
54321210987654433211221109998 / Month
00001000011112021121101022002 \
35892136814691740073628413996 / Day
aaaaaaaaaaaaa-aaaaaaaaaaaa*aa Steven Sharp
aaa-aaaapaaaaaaaaaaaaaaa-a*aa Karen Pieper
aa-aaaaa-a----a--aa-aa--a-$aa Cliff Cummings
a-aaaaaaaaaaaaaaaaaaaaaaaa=-a Shalom Bresticker
a-aaaaa--a-aaaaaaaaaaaaaaa*aa Stefen Boyd
----a------a--aaaaaaaaaaaa*aa Dennis Marsa
a--a-aaaaaaa-aaaaa-aaa-aaa$aa James Markevitch
--------aaaa-aa-a-aaaaaaa-=-a Gordon Vreugdenhil
---------aaa--aaa-aa-aaaaa$aa Anders Nordstrom
----------------------aaa-$a- Ted Elkind
aaaaaaaaaaaaaaaaaaaaaaaa-a*a- Brad Pierce
aaaaaaaaaaaaa-aaaaa-aaaaaa*a- Charles Dawson
aaaa-aaaaa-aa-a---aa-a-aa-$a- Mike McNamara
aaaaaaaa--aa-aaaaaaaaaa---*aa Stu Sutherland
a-a-aaaaa--a--------------*a- Tom Fitzpatrick
--------------------------*aa Elliot Mednick
----a--a-a-------aa---------- Don Mills
--------aaaa-----a----------- Jay Lawrence
-----a-aa-------a------------ Mehdi Mohtashemi
---a--a--aaaa--aa------------ Kurt Baty
-----------a----------------- David Smith
--aa--aaaa-a----------------- Dennis Brophy
-aaaaaaaaaa------------------ Francoise Martinolle
-----aaaa-------------------- Drew Lynch
---a---a--------------------- David Roberts
------a---------------------- Ennis Hawk
aaaa-a----------------------- Ronald Goodstein
-----a----------------------- Keith Gover
--aaa------------------------ Jason Woolf
a---------------------------- Alec Stanculescu
a---------------------------- Steven Dovitch
a attended
p proxy
- absent
The chair directed everone's attention to
http://www.verilog.com/IEEEVerilog.html where a link to the IEEE
policy is prominent.
Review of the minutes of the last ETF meeting (April 5, 2004).
Change Shalom's comments to Comments from Shalom's mail.
Ron moves that we accept the minutes of the meeting. Charles
seconds. No opposed. Shalom, Tom abstain. Passes.
Issues:
Generate proposal: Jason is sending the Framemaker source to
Shalom. Shalom will update the proposal to reflect the
changes to date.
Shalom is confused by Cliff's example in 12.4.2 where it uses an
and gate. He will work on addressing the comment as he updates
the proposa, perhaps by changing the and gate into a nand.
Shalom believes that he can have the updates to the proposal by
the end of the week. If Karen has a proposal by Monday next week,
she will open a ballot on the proposal hopefully reaching quorum
by Friday next week so we can discuss the proposal in the 1364
meeting.
Jason is continuing to work on section 12.2.8 on elaboration as
a separate issue.
ETF proposals:
Issue 16:
Shalom will add language to the proposal that indicates that
the only lexical token allowed on the line with a 'line
directive is white space.
Issue 237:
Shalom is still working on it.
Issue 428:
Brad to complete.
Issue 541:
Shalom moves that we accept the proposal. Steve seconds.
No opposed. No abstain. Passes.
Issue 551:
Steven Sharp moves that we accept the proposal. Shalom
seconds. No opposed. No abstain. Passes.
Issue 557:
Shalom moves that we accept the proposal. No second.
Steven will look at the issue before the next meeting.
Issue 563:
Shalom moves that we accept the proposal. Charles seconds.
No opposed. No abstain. Passes.
Issue 564:
Shalom moves that we accept the proposal. Brad seconds.
No opposed. No abstain. Passes.
Issue 575:
17.6, "Stochastic analysis tasks", In the sentence,
"This clause describes a set of system tasks and functions
that manage queues and generate random numbers with specific
distributions."
DELETE the words "and generate random numbers with specific
distributions."
Also, since $q_full is a function, not a task, there should
be no semicolon at the end of the line
"$q_full (q_id, status) ;"
PROPOSAL:
Delete the semicolon at the end of the $q_full line.
Steven Sharp moves that we accept this proposal. Shalom
seconds. No opposed. No abstain. Passes.
------------------------------
Open Action Items:
(05/03/04) 'line directive
Shalom to update the proposal.
(11/18/02) generate proposal for 17, 113, 255.
Shalom to update current proposal.
(12/1/03) 22: There is no concensus to a fix, so we will leave
this issue alone until there is one.
(12/1/03) 33: Mike MacNamera to make a proposal.
(11/18/02) Steven and committee to return with an @* proposal for
issues 82, 84
Group has agreement on some of the more contentious
issues.
(11/18/02) Evaluating TBD Errata. The tasks are:
Shalom
170 formatting of bnf non-terminals
(11/4/02) Steven will proposing a wording to fix 172. It will
be a significant rewrite.
Partially rewritten through the generate proposal. More
work will remain after the generate proposal is ready.
(11/18/02) 198, 254, 58, 318: Shalom
(7/14/03) 204: James volunteered to drive
He needs input on what the simulators do. There are some
complex issues here dealing with port collapsing and
inout.
That is covered by issue 54.
As to the exact issue in 204, how about adding examples
indicating that examples 2, 3, 4 are illegal? James will
do that.
He has not written this up yet. Shalom suggested that
this and 7 other errata be evalutated together. All of
the issues are Brad's (filed by him?) He does not want
to
drive. James will develop a proposal for all of them
including 204. 204, 227, 233, 234, 292, 332, 345, 452,
486(?).
(2/10/03) Issue 237: SV-BC19-41, SV-BC19-42
Dave Roberts and Shalom to fix the proposal expanding the
BNF and creating language to support it.
Is waiting on Shalom to do some experiments and come up
with a proposal based on the discussion of the 2/8/04
meeting.
(7/14/03) 245: Shalom
(7/14/03) 247: May be partially covered by generate proposal
(10/06/03) 428: Brad and Shalom
(3/8/04) 541: Shalom to check the proposal
Done.
------------------------------
The meeting adjourned a little after 10:30 Pacific time with
Steven Sharp's movement.