[sv-ac] Mantis 1728 - "let" statement motion to vote on in SV-AC

Hello John,

this is a draft proposal for a motion that we might consider voting on
in relation to the draft proposal of the "let" statement in item 1728:

"The P1800 SV-AC committee members consider that the concept of the
'let' statement as expressed in the Mantis item 1728 draft proposal is
very useful to defining effective assertions and assertion libraries.
Therefore, the committee recommends that the SV-BC committee considers
the proposal and works with SV-AC to formulate an effective enhancement
proposal for the IEEE 1800-2008 standard."

Best regards,
ed



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