IEEE 1800 SV-AC Status Summary 2008-01-30

Last status summary: 2007-12-12

- The following Mantis items have been resolved or re-resolved since the last

status summary:

. 1667 - Local variable arguments for sequences and properties

. 1682 - Future value functions

. 1683 - Relax rules for multiclocked sequences and propoerties

. 1729 - Immediate assume and cover

. 1769 - Elaboration-time assertions

. 1900 - Checkers

. 1995 - Assertions checkers in for loops

. 2091 - Clarify where concurrent assertions may appear

- The following Mantis items were resolved before the last status and are waiting

on work or approval by other committees:

. SV-CC 1503 - Revise VPI diagrams for assertions

. SV-CC 1599 - API and VPI changes for 0805

. SV-EC 1601 - Untyped arguments

. SV-CC 1757 - accept_on/reject_on

. SV-BC 1758 - Boolean operators ->, <->

. SV-CC 1898 - Explicit mapping of assertion system tasks to callbacks

- The following Mantis items have been sent back by Champions:

. 1648 - Default disable iff

. 1987 - Verification statement

- The SV-AC extension schedule is copied below. According to this schedule, SV-AC

is behind on the following items:

m: 1756 - Change semantics of assertion control tasks in initial blocks.

Due 2007-12-11. Not being worked on.

M: 1932 - LTL operators. Due 2007-11-27. In ballot and revision.

v: 1786 - Formal semantics of "if-else" broken. This will be fixed in 1932.

v: 1687 - Wrong equivalence for $isunkown. Due 2008-01-15. Not being worked on.

m: 2172 - Sequence "if-else". Due 2008-01-15. Not being worked on.

d: 2173 - Case for sequences and properties. Draft due 2008-01-08. Not being

worked on.

m: 2150 - Disallow automatic variables in subroutines and action blocks. Due 2008-01-22.

In ballot and revision.

d: 0966/1982 - Problems with argument passing and $. Draft due 2008-01-22. Some

of these problems are resolved in 1549 and 1668. Otherwise, not being worked on.

v: 1901 - Restrict identifier in cycle delay to be constant. Review due 2008-01-15.

2007-11-19

Legend:

M: major item slot (2 concurrent)

m: minor item slot (4 concurrnet)

v: very minor item slot (no limit)

d: draft preparation slot (no limit)

2007-11-13

M: 1932 ballot & revision

M: 1900 review

m: 1757 ballot & revision

m: 1898 review

m: 1756 ballot & revision

m: 1682 ballot & revision

2007-11-20

M: 1932 ballot & revision

M: 1900 ballot & revision

m: 1757 ballot & revision

m: 1898 review

m: 1756 ballot & revision

m: 1682 ballot & revision

d: 1503 draft

d: 2033 draft

2007-11-27

M: 1932 ballot & revision

M: 1900 ballot & revision

m: 2005 review

m: 1898 ballot & revision

m: 1756 ballot & revision

m: 1503 ballot & revision

v: 2033 review

d: 1667 draft

d: 1683 draft

2007-12-04

M: 1900 ballot & revision

M: 1995 ballot & revision

m: 1898 ballot & revision

m: 1756 ballot & revision

m: 1503 ballot & revision

v: 2033 ballot & revision

d: 1667 draft

d: 2150 draft

d: 1683 draft

2007-12-11

M: 1667 review

M: 1995 ballot & revision

m: 1729 ballot & revision

m: 1756 ballot & revision

m: 1503 ballot & revision

m: 2150 review

m: 1683 review

v: 1786 review

d: 2172 draft

2007-12-18

M: 1667 review

M: 1995 ballot & revision

m: 1729 ballot & revision

m: 2172 review

m: 2150 review

m: 1683 review

v: 1786 ballot & revision

d: 1627 draft

2008-01-08 JAN

M: 1667 ballot & revision

M: 2005 review

m: 2172 ballot & revision

m: 2150 ballot & revision

m: 1683 ballot & revision

m: 1769 review

v: 1687 review

d: 2173 draft

d: 2069 draft

d: 1901 draft

2008-01-15

M: 1667 ballot & revision

M: 2005 review

m: 2172 ballot & revision

m: 2150 ballot & revision

m: 1683 ballot & revision

m: 1769 ballot & revision

v: 1687 ballot & revision

v: 1901 review

d: 0966/1982 draft

d: 2110 draft

d: 2069 draft

d: 1987 draft

2008-01-22

M: 2005 review

M: 2110 review

m: 2173 review

m: 2150 ballot & revision

m: 1769 ballot & revision

m: 2069 review

v: 1901 ballot & revision

v: 1987 review

d: 0966/1982 draft

d: 2100 draft

d: 1686 draft

d: 1830 draft

2008-01-29

M: 2005 ballot & revision

M: 2110 ballot & revision

m: 2173 ballot & revision

m: 0966/1982 review

m: 2100 review

m: 2069 review

v: 1686 review

v: 1830 review

v: 1987 ballot & revision

d: 1806 draft

2008-02-05

M: 2005 ballot & revision

M: 2110 ballot & revision

m: 2173 ballot & revision

m: 0966/1982 ballot & revision

m: 2100 ballot & revision

m: 1806 review

v: 1686 ballot & revision

v: 1830 ballot & revision

2008-02-12

M: 2069 ballot & revision

M: 1551 review

m: 0966/1982 ballot & revision

m: 2100 ballot & revision

m: 2168 review

m: 1806 review

2008-02-19

M: 2069 ballot & revision

M: 1551 ballot & revision

m: 2168 ballot & revision

m: 1806 ballot & revision

m:

m:

2008-02-26

M: 1551 ballot & revision

M:

m:

m:

m:

m:

 Create your own business wiki!HelpPublic, not yet premium Privacy Policy RSS