Hi all, Here is my input. I am not including here the enhancements that have already passed, but may require revoting because of friendly amendments. 1682 - Future value functions Status: Under vote - had negative votes, several notes still have to be addressed. Remaining effort: 1-2 weeks to revote and clean issues 2110 - Allow checkers in procedural for loops Status: New. Remaining effort: 2 weeks to write and review and 1-2 weeks to vote 1756 - The LRM does not indicate how the control tasks $asserton/off/kill affect verification statements in initial blocks Status: negative vote, no agreement Remaining effort: 2 weeks to converge and update the proposal and 1-2 weeks to vote 2100 - Add synchronous resets syntax as oppose to the asynchronous nature of accept_on/reject_on Status: New. Remaining effort: 2 weeks to write a proposal and to review it. 1-2 weeks to vote 2093 - Checker construct (0001900) should permit output arguments Status: already included in 1900 2069 - Formal semantics for coverage is missing Status: New Remaining effort: 2 weeks to write, 1 week to review and 1-2 weeks to vote 1995 - Allow concurrent assertions and checkers in for loops Status: Before voting. Need to incorporate Shalom's comments Remaining effort: 1 week to update, 1-2 weeks to vote 1900 - Add new 'checker' construct to SVA Status: ready for review. Missing formal semantics for free variables and their assignments. Remaining effort: 1 week to write missing formal semantics, 1 month to review the proposal, 2-3 weeks to vote. 2005 - Solution for glitch problem in immediate assertions Status: Ready for review. Remaining effort: 3-4 weeks to converge and review, 2 weeks to vote 1551 - Make disable iff sampled Status: pending 2 weeks to reach consensus, 2 weeks to write and review, 1-2 weeks to vote 1806 - Introduce "restrict property" verification statement Status: pending Remaining effort: 1-2 weeks to reach consensus and to review, 1-2 weeks to vote 1683 - Relax rules for building multiclocked properties Status: pending Remaining effort: 2-3 weeks to write and reach consensus, 1 week to review and 1-2 weeks to vote Thanks, Dmitry --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Oct 30 02:48:23 2007
This archive was generated by hypermail 2.1.8 : Tue Oct 30 2007 - 02:48:30 PDT