Subject: (no subject)
From: Tom Fitzpatrick (fitz@co-design.com)
Date: Mon Apr 15 2002 - 11:01:39 PDT
Attendance
(aaaaaaaaaaaa-aaaaaaaaaa) Vassilios Gerousis *
(aa-aaaaraaa-aaarar-aaaa) Dave Kelf *
(-------------aaa--aaaa=) John Sanguinetti
(aaaaaaaaaaaaaa--a-aa---) Dennis Brophy *
(aaaaa-aaaaaaaaaaaaaaaaa) Stu Sutherland
(--------a--------aaaaa=) David Knapp
(aaaaaaa--aaaaaraaar-aaa) Tom Fitzpatrick *
(-------a-arraa-aaaaaaa=) Phil Moorby
(aaaa--aaa-aaaa-aaaaaaaa) Anders Nordstrom *
(aaa---aaaaaa--a-aaaaaaa) Cliff Cummings *
(a--aaaaaaaaaraaa-aaaaaa) Simon Davidmann *
(aaaaaaaaaaaaaaaaaaa====) Peter Flake *
(aaa-aa--aaaa-aaaaa-aaaa) Stefen Boyd
(aa----aaaaaaaaaaaaaaaaa) David Smith *
(a-aa--aaa-aaa--a-a--aa=) Mike McNamara *
(aaaaaaaaaaaaaaaa=======) Kevin Cameron *
(aa-aaaaaa-a-aa-a=======) Andy Tsay *
(aaaaaaaa-aa============) Alec Stanculescu *
(a-aa-----a=============) Adam Krolnik *
(aaaa--aaa==============) Paul Graham
(--------a==============) David Seifert
(---aa==================) Alex Zamfirescu
Assertions
Implicit Port Proposal
Deprecation
Enumerated Types
BNF Issues
Fitz moved to accept assertions document
Cliff seconded
Kevin abstained
Adam Krolnik abstained
NOTE: Expression sequence syntax needs to be resolved with FVTC language.
BNF Parameter declaration clarification (ParameterFix_20020411.pdf)
Semicolon is required in V95-style parameter declaration, but not in ANSI-C
style port lists. This was a typo in the BNF of Verilog-2001. Cliff is
trying to clean this up.
Fitz seconded.
Simon, Peter, Fitz abstained
Passes
Implicit .*/.name proposal (ImplicitPorts_Proposal_20020411.pdf)
Cliff to change 12.7.5 to reflect ("if, for example").
David Smith seconded.
Opposed: Kevin Cameron
No Abstentions.
Passes
Enumerated Types (Enumeration_proposal_20020412.pdf)
Cliff to change default type to int (2-state). If an 'x' is assigned as one
of the values, and an explicit 4-value type is not assigned, then it shall
be an error.
Cliff to rework proposal and resubmit to Stu by Tuesday, 4/16. Rework shall
include updated examples.
David Smith seconds.
Passes unanimously.
Deprecation (Deprecate_proposal_20020412.pdf)
Cliff to submit separate proposals (assign/deassign and defparam) this
afternoon for email vote by Wednesday, 4/17.
BNF Issues
Stefen to submit updated BNF to Stu by tomorrow. This will include
Assertions.
Stu to distribute Draft6 on Friday, 4/19.
Kevin to submit a cleanup proposal for integer_type rule.
Next meeting to review Draft6, Monday 4/22
------------------------------------------------------
Tom Fitzpatrick
Director of Technical Marketing
Co-Design Automation, Inc.
------------------------------------------------------
Email: fitz@co-design.com Mobile: (978)337-7641
Tel: (978)448-8797 Fax: (561)594-3946
Web: www.co-design.com
www.superlog.org
------------------------------------------------------
SUPERLOG = Faster, Smarter Verilog
------------------------------------------------------
This archive was generated by hypermail 2b28 : Mon Apr 15 2002 - 11:03:05 PDT