[sv-ac] RE: Call to vote. Due October 4

My votes:

SVDB 2328 _ X__Yes ___No
http://www.eda-stds.org/mantis/view.php?id=2328
http://www.eda-stds.org/mantis/file_download.php?file_id=4481&type=bug

SVDB 2386 _X_Yes ___No
http://www.eda-stds.org/mantis/view.php?id=2386
http://www.eda-stds.org/mantis/file_download.php?file_id=4417&type=bug

SVDB 2904 _X_Yes ___No
http://www.eda-stds.org/mantis/view.php?id=2904
http://www.eda-stds.org/mantis/file_download.php?file_id=4567&type=bug

SVDB 3134_X_Yes ___No
http://www.eda-stds.org/mantis/view.php?id=3134
http://www.eda-stds.org/mantis/file_download.php?file_id=4563&type=bug

SVDB 3135___Yes _X_No
http://www.eda-stds.org/mantis/view.php?id=3135
http://www.eda-stds.org/mantis/file_download.php?file_id=4566&type=bug

[Seligman, Erik] I think the explanation paragraphs of 3135 need some work; they don't sound very clear to me right now. I think it might make more sense to incorporate the possibility of the property and nexttime tick being different into the original descriptions, rather than amending with a paragraph below.

Something like this perhaps?: " The weak nexttime property nexttime property_expr evaluates to true if, and only if, either the first evaluation of property_expr on its clock, on or after the next tick of the nexttime clock, evaluates to true beginning at the next clock tick or there is no further clock tick.

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