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

Hello Everyone,

Here is a re-send of the meeting minutes. I updated them to mark Jacob
present. I also included more on the discussion of 3478 at the request
of Ben.

Tom

Minutes of SV-AC Meeting
Date: 2011-09-06
Time: 16:00 UTC (9:00 PDT)
Duration: 2 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=8492348

Agenda:
-------

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

- Minutes approval

- Email ballot results:
Issue 3033 passed: 8y/0n/0a.
Issues 3026 and 3385 passed with friendly amendments: 8y/0n/0a.

- New issues

- Champions' feedback
3069 Relax rules for $global_clock resolution

- Issue resolution/discussion
2093: Checker construct should permit output arguments
2743: Allow subroutine_call_statement in a checker
2809: Checker instantiation in checkers' always procedure
3033: Allow procedural control statements is checkers
3034: Allow continuous and blocking assignments in checkers
3035: More flexible definition of checker argument sampling
3145: Need to clearly define "maximal property"

- Opens

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

Minutes
-------

Dmitry will not be here next week. Tom will lead the conference call

- 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

Erik: Move to approve minutes
Tom: Second
        Vote results: 10y, 0n, 0a

- Email ballot results:
Issue 3033 passed: 8y/0n/0a.
Issues 3026 and 3385 passed with friendly amendments: 8y/0n/0a.

3385
Erik: Has made the corrections requested in the friendly amendments
Scott: Move to approve proposal
Erik: Second
        Vote results: 10y, 0n, 0a

3206
Erik: Fixed line spacing

Scott: Move to approve proposal
Erik: Second
        Vote results: 10y, 0n, 0a
                
- New issues

- Champions' feedback
3069 Relax rules for $global_clock resolution
        We have implemented the changes requested by the champions,
        and have approved a new proposal
        Still waiting on other committees to review the proposal.

- Issue resolution/discussion
2093: Checker construct should permit output arguments
        Reviewers have not reviewed
Dmitry: Will call for vote.
Anupam: Output port restrictions: sequence, property, events not allowed?
Anupam: why is "wire" not allowed in checker?
        Because we didn't allow continuous assign?
Anupam: If wires are not allowed in checkers, this must mean that output
        arguments to checkers are variable ports, not net ports.

Dmitry Section 23.3.2 describes port connection rules
Scott: Can assign an event to another event.

2743: Allow subroutine_call_statement in a checker
Dmitry: Resolve as duplicate of 3033
Erik: Mantis 2897 is marked as duplicate of 2743

Erik: Move to resolve 2743 as duplicate of 3033
Jacob: Second
        Vote results: 10y, 0n, 0a
2897
Dmitry: Already marked as duplicate of 2743
Erik: Move to resolve 2897 as duplicate of 3033
Scott: Second
        Vote result: 10y, 0n, 0n

2809 Checker instantiation in checkers' always procedure
Dmitry: This was an errata Mantis item.
        The 3033 proposal deletes the text that this Mantis
Erik: Move to resolve 2809 as duplicate of 3033
Scott: Second
        Vote results: 10y, 0n, 0a

3034: Allow continuous and blocking assignments in checkers
Dmitry: covered by 3033
Erik: Move to resolve 3034 as duplicate of 3033
Scott: Second
        Vote results: 10y, 0n, 0a

3035: More flexible definition of checker argument sampling
Dmitry: This Mantis item was implemented by 3033
Jacob: Move to resolve 3035 as duplicate of 3033
Erik: Second
        Vote results: 10y, 0n, 0a

3145: Need to clearly define "maximal property"
Ed: Assigned as reviewer
Erik: We use the term, so we should define it.
Scott: Look at notes in Mantis item written by John.
Erik: Schedule vote next week?

Manisha: Maximal is also used with sequences in other places
Jacob: There's also a "maximal boolean expression"

3478 Make drivers of inout ports accessible
Ben: You might want to write an assertion that says a device
        is tri-stated on a given cycle.
        However, when device is connected, something else may
        be driving the bus. The assertion would fail because it
        doesn't see a Z
Scott: This seems like a big change in the language.
        Would need agreement from other committees.
Erik: Don't think this was on list of authorized
Scott: Has anyone else ever requested this.

Ed: This may interfere with optimizations that a simulator could do
Scott: This is available through PLI
Jakob: But it is very complicated to implement and tool vendor
        may not support it.
Scott: You could write your own resolution function.
Erik: If all the driver information is available in PLI, then
        it might not be a big change after all
Erik: It might be useful to implement this function using VPI/PLI calls
        and demonstrate that it is possible. This would make it
        easy to implement in the next PAR.

Jacob: Also would like to see this equivalent function in the PLI.

        Because of the complexity of this issue, and the possible need
        for the involvement of other committees, this issues will have
        to be deferred to the next PAR.

Meeting adjourned.

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