RE: [sv-ac] Call to vote. Due July 26

 
SVDB 2938 ___Yes _X__No

http://www.eda-stds.org/mantis/view.php?id=2938

http://www.eda-stds.org/mantis/file_download.php?file_id=4406&type=bug

I am not convinced that an additional section is needed to address this
issue. Let me try to explain my issues with the current solution and
then a potentially different solution.

The third bullet after the first example states: "At the end of the time
step, no failure is reported on p1, even though the final signal values
for the time step would violate the assertion." While that statement is
true it is misleading to the correct intuition as deferred assertions
are a form of immediate assertions and their evaluation depends on their
context. If you view the final values of the assertion AND the final
values of its context then it become clear that the assertion should not
fail. The condition to actually execute the assertion is not true, so
in the given context no execution of the assertion statement is
expected.

I am not in favor of adding a new section with two examples to address
an error in intuition. I believe that it would be better to add some
intuition clarifying statements in the introductory paragraphs. I
believe that the intuition should be that the process containing a
deferred assertion is evaluated using the settled values. It is a
mistake to take a context-dependent assertion out of its context when
thinking about its evaluation.

SVDB 2491 _X__Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2491

Vote to resolve as "No change required"

SVDB 3147 _X__Yes ___No

http://www.eda-stds.org/mantis/view.php?id=3147
<http://www.eda-stds.org/mantis/view.php?id=3147>

http://www.eda-stds.org/mantis/file_download.php?file_id=4429&type=bug

SVDB 2479 _X__Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2479
<http://www.eda-stds.org/mantis/view.php?id=2479>

http://www.eda-stds.org/mantis/file_download.php?file_id=4427&type=bug

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