Minutes of the September 27, 2004 SV-BC Meeting (Design Modeling
Committee)
21312 Day
73064
00000 Month
99885
00000 Year
44444
aaaa- Matt Maidment - Intel
aaaa- Brad Pierce - Synopsys
a-aaa Karen Pieper - Synopsys
----a Johny Srouji - Intel
aaaaa Dan Jacobi - Intel
aa--a Dave Rich - Synopsys
aaaaa Francoise Martinolle- Cadence
----- Jay Lawrence - Cadence
----- Dennis Brophy - Mentor
aaaaa Mark Hartoog - Synopsys
a-a-a Rishiyur Nikhil - Bluespec
aaa-- Cliff Cummings - Sunburst Design
aaaa- Steven Sharp - Cadence
---a- Mike MacNamara - Verisity
a-a-- Stuart Sutherland - Sutherland HDL
a-a-- Don Mills - LCDM Engineering
aa--- Logie Ramachandran - Synopsys
aa--- Surrendra Dudani - Synopsys
-aa-- Doug Warmke - Mentor Graphics
Review IEEE patent policy
http://standards.ieee.org/board/pat/pat-slideset.ppt
Matt read the patent policy.
Open Items:
Karen moved that the committee approve every issue in
the sv-bc bug database that was resolved after the
release of the 3.1a standard & prior to the formation
of this committee.
Cliff seconds
No abstain.
Passes
Champions committee starting. Karen to offer more details
when availables
Review Previous 2 Meeting Minutes
http://www.eda.org/sv-bc/minutes/sv-bc_04_08_30.txt
Sep 13 minutes will be distributed by Monday's meeting.
Doug Warmke's attendance missing from both minutes.
Dave Rich's attendence omitted from Sep 13 meeting
minutes.
Brad moves that we accept both minutes with changes
Karen seconds
No Opposed
No Abstain
Passes
249 (like 243?) Is it an SV-BC issue
Find owners for issues submitted by Steven Sharp
213 Wildcards
Brad moves issue go to SV-EC
Nikhil seconds
No opposed
No abstain
Passes
214 Time literals
Brad asks that this be moved to the reflector for consensus
Revisit in 2 weeks.
215 Scheduling of variable initialization
SV method is one legal interpretation of Verilog method.
1. Is it backward compatible? It appears so.
2. Does inline initialization cause event at time 0? When during time
0?
Testbench says before time 0, no event.
Karen moves to do nothing
Dave seconds
Stu Thirds
Opposed: Cliff, Steven, Francoise, Danny
For: Brad, Mark, Logi, Surrendra, Karen, Dave
Passes
216 Enum initialization
Straw proposal: 4-value enum initializes to X.
Needs to be consulted with SV-EC
Brad volunteers to do this.
Steven will work on initial proposal. Including
what happens when enum has invalid value.
217 Mixed 2/4-state packed structs
Steven will make proposal.
218 Unique case/if evaluation order
Brad.
220 VCD mapping of shortint and longint
Steven.
AI: steven to review 221 for possible inclusion in issue resolution.
Review proposal for issue 91
http://www.eda.org/sv-bc/hm/1989.html
Under section A.2.4
REPLACE
type_assignment ::= type_identifier = data_type
WITH
type_assignment ::= type_identifier = data_type
| type_identifier = $typeof ( expression 28 )
| type_identifier = $typeof ( data_type )
* Equal signs = parentheses () and the sequences $typeof or all in bold
** the number 28 is in supper script indicating a reference to a
footnote
Under Annex A Footnote sections
ADD
28) The expression that was is used as the argument to the $typeof
system function shall contain no hierarchical references.
change to:
28) The expression that is used as the argument to the $typeof
system function shall contain no hierarchical references.
Danny moves
Brad Seconds
MOtion passes.
proposal #2:
Danny moves.
Brad seconds
passes
proposal #3
$bits ( expression )
| $bits ( ps_type_identifier )
| $bits ( integer_type )
Danny moves.
Brad seconds
Passes.
Proposal #4.
Danny moves.
Brad seconds.
Passes.
254:
Consolidated erratum. All.
Review any proposals Brad, Mark or any other volunteers
Brad:
31 9/27 proposal uploaded
102 9/27 will move to close, as described in bug note
148 9/27 will move to close, as described in bug note
254 9/27 (consolidation of agg expr issues)
Mark:
119
120
Action Items
08/30 - Matt - Submit issues with proposals to email vote
Immediate Priority, High Effort
-------------
21 Mark Hartoog
23 Nikhil (10/25)
24 Mark Hartoog
31 Brad Pierce (9/27) proposal uploaded
32 Brad Pierce (9/27)
51 Francoise Martinolle
74 Nikhil (10/25)
120 Mark Hartoog
26 Cliff Cummings
Immediate Priority, Medium Effort
-------------
36 Matt Maidment (11/8)
94 Brad Pierce (???)
101 Francoise Martinolle
102 Brad Pierce (9/27) move to close
103 Mark Hartoog (9/27)
110 Cliff Cummings / Don Mills
112 Brad Pierce (9/27)
119 Mark Hartoog
145 Matt Maidment (11/8)
146 Jeita 21: Simple explaination in section2
148 Brad Pierce (9/27) move to close
159 bit- and part-selects of packed unions
163 Doug Warmke
The next meeting conflicts with next P1800 meeting. Cliff
suggested 4-6pm on October 11, immediately following the
P1800 meeting. Matt to investigate logistics.
-- Matt Maidment mmaidmen@ichips.intel.comReceived on Fri Oct 8 00:42:20 2004
This archive was generated by hypermail 2.1.8 : Fri Oct 08 2004 - 00:42:30 PDT