[sv-ac] SV-AC status summary, 2007-05-22

IEEE 1800 SV-AC Status Summary 2007-05-22
-----------------------------------------

* 4 Mantis items (1466, 1729, 1730, 1734) resolved since the 2007-04-03
  status summary.
  - 1730 requires some non-technical changes to align to the clause
    numbering in Draft3.

* Mantis item 1641 (severity system tasks) passed by e-mail ballot and
  moved to SV-BC for their consideration.

* Draft3 review is underway
  . Feedback implementations for 0805, 0928, 1381, 1420, 1495, 1518.
  . Minor editorial changes in Clause 16, Annex F.
  . Other Draft3 reviewing assignments will be made at our next meeting.

* Significant milestone reached by argument subcommittee, deliverables 
  submitted to full committee for review:
  . Proposal for 1549
  . Formal semantics document

* Mantis 1737 (incomplete fixes from 1381) was passed but reopened
  due to issues with 4-state semantics for inferred enabling conditions.
  - An e-mail ballot is underway and will close on 2007-05-28.

* E-mail ballot on motion to move 1728 (let construct) to SV-BC failed
  . Numerous concerns expressed about the current draft referenced by
    the motion.

* E-mail ballot on 1361 (control execution of action blocks) failed.
  . Convergence seems likely in the near future.

* E-mail ballot on 1648 (default reset) failed
  . Semantic alignment with Verilog "if..else" 4-state needed.

* E-mail ballot on 1674 (context value functions) failed.
  . Concern over mechanism for replacing default arguments.

* 46 open mantis items for SV-AC as of 2007-05-22.
  - 5 new items entered:  1199, 1768, 1800, 1804, 1806, 1833
  - 41 old items.

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