SV-ACMinutes2010_06_29 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2010_06_29 (2010-07-02, ErikSeligman) (raw view)EditAttach
Minutes from SV-AC Committee Meeting

Date:    2010-06-29

Time:    16:00 UTC (9:00 PDT)

Duration: 1.5 hours

Dial-in information:

--------------------

Toll number:  +1 916-356-2663

Toll free number (US): 888-875-9370 (U.S. toll-free)

Bridge: 5 Passcode: 4399819

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-04-13:

 v[xxxxxxxxx] Laurence Bisht (Intel)

 v[-xxxxxxxx] Eduard Cerny (Synopsys)

 v[xxxx-xxxx] Ben Cohen

 n[--xx-xx-x] Surrendra Dudani (Synopsys)

 n[--x-xxxxx] Dana Fisman (Synopsys)

 v[xx--xxxxx] John Havlicek (Freescale)

 v[xxxxxxxxx] Tapan Kapoor (Cadence)

 t[xxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)

 v[x-xxxxxx.] Scott Little (Freescale)

 v[xxxxxxxxx] Manisha Kulshrestha (Mentor Graphics)

 v[xxxxxxx..] Anupam Prabhakar (Mentor Graphics)

 n[x--xx-xxx] Erik Seligman (Intel)

 v[-xx-xxxxx] Tom Thatcher (Sun Microsystems ¿ Co-Chair)

   |- attendance on 2010-06-29

 |--- voting eligibility on 2010-06-29

Agenda:

-------

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

Move to approve minutes: Ben

Second: Erik

Vote results: 7y/0n/0a

- Email ballot results

2732 - Failed. Ed voted no to initiate a discussion about reporting attempts of assertions containing global clocking future value functions.

John believes that the reporting should be consistent with the semantics defined in the LRM.

The discussion will be resumed when Ed is back.

- Errata

2551: Trivial example error

Dmitry uploaded the proposal.

Ben: Typo: two REPLACE at the end instead of REPLACE WITH.

John: Why to replace p1 with r1_p1.

Dmitry: For consistency with the other examples.

Dmitry: Will call for an email ballot.

2552: Confusing comments regarding nexttime operator

John: Formatting comments: Use dashed bullet style

Dmitry: Will call for an email ballot.

2927: Precedence between sequence/property operator and normal expression operator

Ben uploaded the proposal.

Ben, Dmitry: Essentially this clarification is redundant since the BNF implies the precedence.

Erik, Tapan: The clarification greatly helps to a user.

Move to approve the proposal: Ben

Second: Anupam

Vote results: 6y/0n/1a. Anupam abstained.

2934: Precedence and associativity of case operator is not shown in the table

Anupam uploaded the proposal.

Dmitry: Need to fix the colors (already done)

Move to approve the proposal: Anupam

Second: Manisha

Vote results: 7y/0n/0a.

2546: 'empty match' and 'vacuous success' are not clearly defined in LRM

Anupam: Notion of empty sequence already defined in the LRM.

John, Dmitry: Non-empty sequence can have an empty match.

John: Need to define the notions of empty and non-empty match when talking about sequences.

John volunteered to own this item.

2353: 'classes' missing from description

Anupam: Classes are not allowed in assertions

John, Dmitry: Here are not classes, but class members.

Dmitry: We don't have to handle this issue now. It looks like not urgent, and my be postponed.

John wants this issue to be resolved.

- Major enhancements:

Dmitry: We will be working on the following enhancements first.

* Real type support in assertions (Mantis 2328)

* Output arguments in checkers (Mantis 2093, 2751)

* Assertion system functions (Mantis 3037, 3027, 2205, 3036, 1675, 1763)

* Clock inference in sequences (Mantis 2412)

Dmitry suggested to organize groups to elaborate solutions first and come with an initial proposal. The proposals will be then discussed at SV-AC committee meetings. The groups will report about their progress at every committee meeting.

Groups (the first person in the group is the issue owner):

2328: Review and relax restrictions on data types in assertions

Scott, John, Ben

2093: Checker construct (0001900) should permit output arguments

Ben, Dmitry, John, Laurence, Anupam

2751: P1800-2009: checker formal arguments may not be connected to interfaces // WHY?

Ben, Manisha

Assertion system functions (Mantis 3037, 3027, 2205, 3036, 1675, 1763)

Erik, Laurence. Will request help if there is the required effort is too big.

2412: Allow clock inference in sequences

Anupam, Laurence

- Opens

Ben requested clarification on the behavior of sampled value functions at the initial clock tick and about virtual interfaces and sensitivity lists.
Topic revision: r1 - 2010-07-02 - 21:51:19 - ErikSeligman
P1800