[sv-ac] Minutes of SV-AC Meeting 6/14/2011

Minutes of SV-AC Meeting
Date: 2011-06-14
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:
meet:sip:dmitry.korchemny@intel.com;gruu;opaque=app:conf:focus:id:793dec74634346e6a13bf0d571055058%3Fconf-key=0VEd5Lthc

Agenda:
-------

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

- Minutes approval

- Email ballot results
Issue 3213 passed 10y/0n/0a with friendly amendments

- New issues
3610: Sequence methods with sequences admitting empty match

- Champions¿ feedback

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

- Enhancement progress update

- Mantis status

- Opens
Clocking blocks.

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[xx---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)
   v[xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
   v[xxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)
   v[xxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen (Accellera)
   n[-------------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani
(Synopsys)
   v[xxxx........................................] 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[xx-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[-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
   v[xxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha
(Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar
(Mentor Graphics)
   n[--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
   v[-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)
   v[xxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle
¿ Co-Chair)
   n[--------xx---xx-------x.....................] Srini Venkataramanan
  (CVC Pvt Ltd)
     |- attendance on 2011-06-14
   |--- voting eligibility on 2011-06-14

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
Jacob: Second
        Vote results: 10y, 0n, 0a

- Email ballot results
Issue 3213 passed 10y/0n/0a with friendly amendments
Tom: Four friendly amendments: All already implemented.
Manisha:Two friendly amendments: Implemented

Tom: Move to accept proposal with the friendly amendments impl
Lawrence: Second
        Vote results: 10y, 0n, 0a

- Champions Feedback
Dmitry 3115 2412 3135
     2476 Failed Problematic
                     Dave Rich suggested major changes.

     3113 Failed: Suggested different BNF structure
     2412 Clock inference in sequences
                     Failed: Mostly editorial changes
     3135 Failed: Incorrect fonts.

- New Issues
3595: triggered sequence method needs clarification
Ben: Entered mantis item as a result of last weeks discussion.
        Question was whether sequence.triggered() generates one event
        or two.
Ed: How is this different from event.triggered()? It should behave
        the same way to be consistent.
Ed Wouldn't it be better to forbid the use of triggered() in an
        event?
Dmitry: New mantis item should be routed to SV-BC.

3610: Sequence methods with sequences admitting empty match
Dmitry: What does sequence.triggered() mean if the sequence admits an
        empty match. If allowed, triggered would be true at every time
        step. Should be forbidden.

- Issue resolution/discussion
3069 Global clocking
Dmitry: Jacob & Scott reached an agreement on how to implement proposal.
        Will call for an e-mail ballot.

3033: Allow procedural control statements in checkers
Mantis Proposal has been reviewed:
Tom: Assertions in checkers should use sampled values of all variables
        (even deterministic checker variables)
Dmitry: Believe that this is taken care of by new definition of sampling.
Tom: Example in 17.7.3. It seems troubling that a single rand variable
        could be solved multiple times in a time step. Would be difficult
        to debug.
        In addition: What about the second solving? Would it use constraints
        clocked by both clocks? Or just one clock?
Dmitry: But could be useful to code this way.
Tom: Shouldn't all assignments be prohibited to rand variables?
        How does the simulator know when to solve for it, and when to assign
        it?
Dmitry: We put such an example in the 2009 LRM in 17.7.1

Dmitry: Will call for an e-mail vote

- Opens
Clocking Blocks:
Ed: Confusion in LRM? Question about whether @(clocking_block) is really
        equivalent to @(clocking_event_defined_in_clocking_block)

Meeting adjourned

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