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 Issue: Inconsistency between LRM examples and BNF. Action: The inconsistency was fixed and the fix approved by an email vote. 2654 Error in an example of throughout operator Issue: Request to generate timing diagrams in Framemaker format. Action: Requested timing diagrams were sent to the editor and approved by him. 2659 Backward compatibility issue with sequence property Issue: Editorial notes. Action: Requested editorial change has been implemented, but the email vote failed. Remaining work: Discuss the resolution of 2659 and to conduct a voice vote on it.