• 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).

-- Erik Seligman - 2016-03-23

Comments