SV-AC_Minutes_2011_09_06 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_09_06 (2011-09-12, ErikSeligman) (raw view)EditAttach
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.
Topic revision: r1 - 2011-09-12 - 14:22:13 - ErikSeligman
P1800