IEEE 1800 SV-AC Status Summary 2009-05-25
-----------------------------------------

Main work during the last period was dedicated to ballot issue resolution.

All ballot issues have been resolved (13) or waved (9) by the committee and sent to the champions for review.

The champions requested additional changes in the resolution of the following Mantis items:

2562 rand qualifier for checker variables is not reflected in BNF
2654 Error in an example of throughout operator 
2659 Backward compatibility issue with sequence property

All requested changes have been done and approved by SV-AC.

Remaining activity: Proofreading of the final version of the LRM (conditional on approval by the champions and the working group)