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

SVDB 2328 ___Yes _X__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

Dave Rich has raised some valid concerns with the changes. John and I
discussed some possible revisions to this proposal. I think we should
discuss these ideas in the next meeting.

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

Friendly amendment: evaluation attempt, inclusive,

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_X__Yes ___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

Friendly amendments:

For both paragraphs: refer to the case where the cycle of evaluation of
the always property begins in a timestep that is a tick of the clock of
the always property.

For both paragraphs: In other wordsFor instance, it is more precise to
say, for instance, that

For the second paragraph: Note that as in nexttime properties the above
explanation

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