[sv-champions] Final agenda for the Champions

Hi Technical Chairs,

I am in the process of putting together the agenda for the next Champions
meeting, which will be held on August 7th. This is the last scheduled
Champions meeting before the Ballot draft. The following are the only Mantis
items in the resolved state that need to go the Champions.

If you have any additional Mantis items that should be in the resolved state
please update them ASAP.

The sv-sc is currently in the process of responding to feedback from the
Champions meeting of July 31st. Any updated proposals that pass in the
sv-sc conference call of Aug 5th will be added to this agenda.


1. 1728  SV-SC  Introduce "let"statement
2. 2327  SV-AC  2173 adds property case, need to add vacuity definition and
                 multi clocking behavior in it
3. 1900  SV-SC  Add new 'checker' construct to SVA
4. 2110  SV-SC  Allow checkers in procedural for loops
5. 2411  SV-SC  Allow using triggered method in sequences
6. 2089  SV-SC  Allow checker construct (0001900) to include final blocks with
                 immediate assertions
7. 1809  SV-BC  forward references into $unit package
8. 2428  SV-EC  There is a typo in the example of section 18.6 (page 468)
                 i[1] is incorrect, it should be i[0]
9. 2448  SV-BC  BNF for packed arrays of enums



Neil

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