[sv-ac] Minutes of SV-AC meeting 6/21/2011

Minuts of SV-AC Meeting
Date: 2011-06-21
Time: 16:00 UTC (9:00 PDT)
Duration: 1.5 hours

Dial-in information:
--------------------
Meeting ID: 38198
Phone Number(s):
1-888-813-5316 Toll Free within North America

Live Meeting:
https://webjoin.intel.com/?passcode=4797656

Agenda:
-------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- Email ballot results
Mantis 3069 Passed: 6y, 0n, 0a
Mantis 3033 Failed: 0y, 5n, 1a

- New issues

- Issue resolution/discussion
3033: Allow procedural control statements is checkers
3552:Sequence methods // .triggered need further clarification

- Enhancement progress update

- Mantis status

Attendance Record:
------------------
          Legend:
                  x = attended
                  - = missed
                  r = represented
                  . = not yet a member
                  v = valid voter (2 out of last 3 or 3/4 overall)
                  n = not a valid voter
                  t = chair eligible to vote only to make or break a tie

Attendance re-initialized on 2010-07-06:

   v[xxx---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)
   v[-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
   v[xxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)
   v[xxxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen (Accellera)
   n[--------------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani
(Synopsys)
   v[xxxxx........................................] Shaun Feng (Freescale)
   n[-x--x-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)
   n[------------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek
(Freescale)
   v[xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)
   v[-xxxxx-xxxx-x-x..............................] Jacob Katz (Intel)
   t[-xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny
(Intel ¿ Chair)
   v[x-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
   v[xxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha
(Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar
(Mentor Graphics)
   n[x--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
   v[x-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta
(Synopsys)
   v[xxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle
¿ Co-Chair)
   n[---------xx---xx-------x.....................] Srini Venkataramanan
  (CVC Pvt Ltd)
     |- attendance on 2011-06-21
   |--- voting eligibility on 2011-06-21

Minutes:
--------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

Participants were reminded of the IEEE patent policy.

- Minutes approval
Ben: Move to approve minutes
Samik: Second
        Vote results: 9y, 0n, 1a

3033 Allow procedural control statements is checkers
Ben: Proposal gave lots of rationale for why things are done a certain
        way.
        Rest of LRM doesn't do this.
Erik: Yes, some of this should be moved to preamble of the proposal.

Ben: Blocking assignments used as a variable.
        A good idea to allow blocking assignments. But only as a local
        variable.
Tom: You can declare an automatic variable inside a for loop.
Ben The idea would be to allow use as temporary variables.
        You can do this otherwise using a function call.

Tom: My feedback comments regarding the always_latch were incorrect.
        No change to the proposal needed for the example with always_latch.

Erik: Schedule discussion for when Dmitry comes back.

- Issue resolution/discussion
3552 Was moved to SV-BC

3195 Local Variable flow out.
Ben: Would like to revive this proposal.
Erik: Will review this proposal
Scott: Will review this proposal

3476 Make local values accessible.
Ben: This seems to be a hole. Would like to fix it.
Scott, Erik: This would be a new issue that we would need
        Sampled values in classes & constraints

2476: Generalized count-bits function

Scott: Champions feedback was different this time. Neil only updated
        The Mantis items, He didn't send out e-mail
Tom Will ask Neil about Champions feedback

Erik: Dave rich opposed use of a bit vector argument (variable bit width)
        because vectors are usually extended when there is a mismatch.
        This function would be an exception: If the user specifies 2 bits,
        the value would not be extended to 4 bits, but used as is.
             He proposed a Logic queue. Or make it a constant 4-bit argument.
Tom: If it is a constant 4-bit argument, then if a user specifed a 2-bit
        argument, it would be extended, and would likely contain a 0, which
        would give unexpected results.
Scott: Of the given options, prefer the queue.

Erik: Will update proposal with the queue idea.
        Probably will be ready by next meeting.

2412: Allow clock inference in sequences.
        Champions feedback:
Anupam: Shalom's feedback: modules don't have arguments, they have ports.
        
Anupam: Made an editorial change
Manisha: What about checkers?
Erik: BNF says that checkers have "ports"

Scott: Is it proper to say "function instantiation?"
Tom: Yes, because Verilog's original functions are static.
Anupam: VPI section mentions function instnace
Anupam: Maybe should change text to "function call".
Manisha: Function call should be a more correct usage.

3552: Sequence methods .triggered() needs clarification
        Dave Rich posted a comment
Manisha: One thing not clear
        Is Dave saying we should not define it?
        Or is he saying that this should be illegal?
Ed: Right now, it's left open.
Ed: Suggest in proposal that the "bad usage" comments be changed to
        "behavior not defined"
Ed: Does example code occur in a module or an interface?
        What happens when this is an interface passed to a program?
        In a program, the "if" sthatement would be ok
        If in an interface passed to a module, then the "if" would
        probably not work.

Ben: Could we test the code on a simulator?
Ed: That's one approach. But we should study LRM to get an answer
        For this proposal, make the example into a module, then we don't
        have to worry about the Program case.
        
2412: Allow clock inference in sequences.
Anupam: Has uploaded modified proposal.
Ben: Prefer to e-mail vote it.
Tom: Will call for an e-mail vote.

Meeting adjouned.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.