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

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[-xx---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: 9y, 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: 9y, 0n, 0a

3206
Erik: Fixed line spacing

Scott: Move to approve proposal
Erik: Second
        Vote results: 9y, 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: 9y, 0n, 0a
2897
Dmitry: Already marked as duplicate of 2743
Erik: Move to resolve 2897 as duplicate of 3033
Scott: Second
        Vote result: 9y, 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: 9y, 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: 9y, 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: 9y, 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.

Meeting adjourned.

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