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.