SV-AC_Minutes_2016_03_23 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2016_03_23 (2016-03-23, ErikSeligman) (raw view)EditAttach
Attending: Manisha, Anupam, Ben, Ang Boon Chong, Mehbub Ali, Dennis Brophy, Ed Cerny, Erik Seligman (chaired mtg due to Dmitry's absence)

   * Reminder of IEEE patent policy - See: http://standards.ieee.org/board/pat/pat-slideset.ppt
   * Minutes approval: Ben moved, Manisha second.  All votes yes.
   * Email ballot results
      * Issues 4041, 5520, 5572 passed: 7y/0n/0a  (AR- Dmitry- next steps)
      * 3672 failed: [[https://accellera.mantishub.com/view.php?id=3672]]
         * Ed- understand objections & able to fix? – Posted new version.
         * Manisha: What about unnamed assert containing named block?
         * Anupam: Treat like always case?
         * AR: Ed- find appropriate precedent in LRM (if any) & email group 
   * Mantis 3117: [[https://accellera.mantishub.com/view.php?id=3117]] (Manisha)- status?
      * Shalom reviewed
      * AR: Dmitry – Call for vote
   * Mantis 5372: [[https://accellera.mantishub.com/view.php?id=5372]] (Erik)- meaning of tick
      * Definition a bit vague
      * Erik: define as time step in which clocking event occurs?
      * Ben: define as clocking event?
      * Manisha: how about any region after the clock event has happened?
      * AR (Erik): Attempt to wordsmith a definition & email to group for feedback
   * Mantis 4991: [[https://accellera.mantishub.com/view.php?id=4991]] (Erik) – ready to vote?
      * Ben reviewed
      * AR: Dmitry- call for vote
   * Mantis grading (5476, 5517, 5520, 5549, 5551)
      * [[https://accellera.mantishub.com/view.php?id=5476]]  : AR – Dmitry- assign owner or editor
      * [[https://accellera.mantishub.com/view.php?id=5517]]  : AR – Dmitry- assign owner or editor
      * [[https://accellera.mantishub.com/view.php?id=5520]]  : AR – Manisha- review overlap with 3117, maybe close or incorporate
      * [[https://accellera.mantishub.com/view.php?id=5549]] : AR – Dmitry- assign owner or editor
      * [[https://accellera.mantishub.com/view.php?id=5551]] :
         * Ed- same rules as for implication? – Discussed last time: derived from suffix implication : maybe close or add one-line clarification
         * AR – Ed- review record & close or file proposal
   * Opens
      * Ben- have we addressed false vacuity in general? Need to address non-vacuity.  Some discussion in 5548.  Need good definition of non-vacuity, may simulators handle incorrectly.  Probably not a change for this PAR, should probably document in Mantis & have longer discussion. (AR- Ben).

-- %USERSIG{ErikSeligman - 2016-03-23}%

---++ Comments

<br />%COMMENT%
Topic revision: r1 - 2016-03-23 - 17:55:47 - ErikSeligman
P1800