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

Minutes of SV-AC Meeting
Date: 2011-09-13
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=2266887

Agenda:
-------

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

- Minutes approval

- Email ballot results:
2093: Checker construct should permit output arguments

- Issue resolution/discussion
2093: Checker construct should permit output arguments
3145: Need to clearly define "maximal property"

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[xxxxx-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[xxxx-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-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana
Fisman (Synopsys)
   n[-----------------------------------xxxxx-xxxx-x-xxxxxxxx] John
Havlicek (Freescale)
   v[xxxxxx---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[xxx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha
Kulshrestha (Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam
Prabhakar (Mentor Graphics)
   v[xx-xxxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik
Seligman (Intel)
   v[x-xxxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik
Sengupta (Synopsys)
   v[xxxxxx-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-13
   |--- voting eligibility on 2011-09-13

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
Erik: : Move to approve meeting minutes
Samik : Second
        Vote Results: 6y, 0n, 0a

- Email ballot results:
2093: Checker construct should permit output arguments
        Failed: 1 no vote

(Manisha joined)

- Issue resolution/discussion
2093: Checker construct should permit output arguments
Manisha: Explained reasons for no vote
        Dmitry not here today. He'll address corrections this week
        and discuss next week.

3145: Need to clearly define "maximal property"
Erik: Ed was assigned as reviewer. He's on vacation now.
        Will wait for him to return.

3564: Do assertions contribute to sensitivity list of always_comb?
Anupam: Considering to write a proposal. Suggesting that assertions
        do not change sensitivity list.
        Assertions should not change behavior of design.

Erik: Stand-alone deferred assertion is interpreted as a deferred
        assertion in its own always_comb block.
        You want the always block triggered the last time that the
        variable changes.
        Even concurrent assertions could use const value
Ben: Difference between immediate, deferred, and concurrent assertions?

Erik: In most real-life cases the extra triggering of the always_comb
        will not change the result.

Erik: The only case where an assertion doesn't contribute to sensitivity
        list would be a concurrent assertion using a sensitivity list.
Anupam: But it might be difficult to check for const cast to determine
        whether to trigger block again.

Manisha: If concurrent assertion is inside an "if", the evaluation could
        be queued, but could be flushed if always block triggered again.

Anupam: Will write a proposal.

Meeting adjourned.

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