Here are the minutes from today's meeting. They have also been posted to the web.
Regards
David
SV-EC Meeting Minutes
12 April 2004 11:00 am. Monday
(rrrrrrrrrrxrxrxrrrrrrrr)
Voting Members (3/4 or > 75%)
(aaaaaaaaaaaaaaaaaaaaaaa) Arturo Salz (Synopsys)
(-aaaaaaaaaaaa-aaaa-aaaa) Brad Pierce (Synopsys)
(aaaaa-aaaa-aaaaaaa-aaaa) Dave Rich (Synopsys)
(aaaaaaaaaaaaaaaaaaaaaaa) David Smith (Synopsys)
(-aaa-aaa-a-aap-p-aa----) Dennis Brophy (ModelTech)
(aaaaapaaaaaa-aaaaa-a-p-) Jay Lawrence (Cadence)
(aaa-aaaaaaaaaaaaaaaaaaa) Michael Burns (Motorola)
(-aaaaaaaaaaaaaaaaaaaaaa) Mehdi Mohtashemi (Synopsys)
(aa-aaaaaaaaaaaaaaaaa-aa) Neil Korpusik (Sun)
(--aaaaaaaaaaaaa--aaaaaa) Ray Ryan (ModelTech)
|||||||||||||||||||||||_ 12 April
||||||||||||||||||||||__ 15 March
||||||||||||||||||||||__ 1 March
||||||||||||||||||||____ 2 February
|||||||||||||||||||_____ 21 January
||||||||||||||||||______ 5 January
|||||||||||||||||_______ 15 December
||||||||||||||||________ 8 December
|||||||||||||||_________ 1 December
||||||||||||||__________ 24 November
|||||||||||||___________ 17 November
||||||||||||____________ 11 November
|||||||||||_____________ 3 November
||||||||||______________ 27 October
|||||||||_______________ 20 October
||||||||________________ 13 October
|||||||_________________ 29 September
||||||__________________ 15 September
|||||___________________ 2 September
||||____________________ 18 Aug
|||_____________________ 4 Aug
||______________________ 21 July
|_______________________ 7 July
Non-Voting Members (attendance based)
(------a---------------) Chris Spear (Synopsys)
(--aaaa-aaa---a-aaa----) Cliff Cummings (IEEE 1364)
(-------------s-s------) Doug Warmke (ModelTech)
(-----s---------------s) Francoise Martinolle (Cadence)
(--a-aaa-a-------------) Jeff Freedman (ModelTech)
(-----------a----------) Peter Flake
(---------------a------) Ron Goodstein (First Shot Logic Simulation and Design)
(---a-----------aa--aa-) Stefen Boyd (IEEE 1364)
(-a---a----------aa----) Stu Sutherland (IEEE 1364)
Guests (non-voting)
(--a-a-a----------a----) Don Mills (LCDM Engineering)
(-----a----------------) James Young (HP)
(-a--------------------) Kevin Cameron (National)
r => Regular meeting
x => Extra meeting (Presence counts for attendance, absence does not)
a => Attended
p => Attended by proxy
s => Attended as proxy
- => Missed
Action Items:
[identified with AI (#) in this text, # refers to AI number]
Added this week (please see the site for existing action items):
David: Create 3 new erratas based on votes in the meeting.
Minutes 4/12/04 taken by Mehdi Mohtashemi
1. Review of the meeting minutes
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2004-March-15.txt
Motion: Accept Minutes of 15 March
Moved: Neil
Second: Mehdi
Abstain: None
Opposed: None
Passed
2. Review Errata list
David: I have not created a detailed erratta list, just emails from Ray
and Cohen.
Sum of randcase weights and $urandom_range
Ray: Observation on LRM (Section 12.15 last paragraph),
using $urandom_range, some of the weights have to be less than
32 bit.
Arturo: You can make multiple calls to the $urandom_range.
David: It was April 9th email.
Arturo: That paragraph was added by the committee, as clarification
about what random generator was used. If you need more than 32
bits, you can make more than one call.
Ray: It can affect the sequence of randoms within a sequence, in the
same thread, you modify the state of the random number generator.
David: Is there a change required here?
Ray: It is worth noting,
'this may result multiple calls to $urandom_range to handle greater
thank 32 bits.'
Motion: Make above change as ERR-87
Moved: Ray
Second: Neil
Abstain: None
Opposed: None
Passed
Specifying rand_mode for packed array elements
Ray: The next one was rand-mode unpacked array. To change it to
'For unpacked array variables, random_variable can specify
individual elements using the corresponding index' in
Section 12.7 first paragraph after table 12-1.
Motion: Make above change as ERR-88
Moved: Ray
Second: Arturo
Abstain: None
Opposed: None
Passed
Specifying rand_mode for packed structure members
Ray: For the struct case, can you use rand_mode on struct elements. So
if the selected name is array, it is legal if unpacked array.
For structure it is legal if it is unpacked and not legal if it
is packed.
method call is built_in, is it only on rand or randc. There is
a statement about this.
David: We are trying to find out the syntax of method call to the
rand_mode, expression to get the method root. So where is
rand_mode declared for any variable declared as rand. The
problem with structure that has rand, but the sub-element are
not, then the rand_mode. We can duplicate the statement for
array for structure to make it more clear.
Ray: Add the following in 12.7 after the similar statement for array
variables.
For unpacked structure variables, random_variable can specify
individual members using the corresponding member. Omitting
the member results in all the elements of the structure being
affected by the call.
Ray: How about unions, how do they affect the randomization, rand_mode.
David: We may want to think about that for later.
We have a proposed modification, addition of the above statement.
Motion: Make above change as ERR-89
Moved: Ray
Second: Arturo
Abstain: None
Opposed: None
Passed.
Cast of 4 state to 2 state
Ray: Cast of 4-state to 2-state, some places for casting 4-state to
2-state, only place of mapping is in the informative section,
moved to the normative section. Also 5th paragraph in 3.1, x,z
convert to 0.
David: This looks like a BC issue. I will send it to BC.
The other two, qeustions on coverage.
Ray: number of questions, may not be of editorial form.
Arturo: I have been working on response, lots of data, mostly
explanation. One question about declaring a method, more involved,
maybe a mistake there, the query and get_coverage methods.
Will write it up and send it out.
David: Does that also look at the additional coverage questions,
second email from Ray.
Arturo: Yes, the response will be for both emails.
David: Also set of eamils came in from Ben Cohen, to EC. It should really
be to AC. Adam forwarded to AC, let AC to deal with it.
Brad: What is the time-line?
David: Final LRM, has one last opportunity for correction before
publication, this Friday 5:00pm is the latest. It needs to be
editorial in nature. Three motions we just did are borderline.
3. Next Meeting
David: Next meeting, we can tentatively keep on April 26th, topic will
be on coverage response. One or two meetings in May.
4. Meeting adjourned at: 11:50 a.m.
This archive was generated by hypermail 2.1.8 : Mon Apr 12 2004 - 17:42:32 PDT