[sv-ac] RE: Call to vote: Due August 22

My votes:

Mantis 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=5319&type=bug

Mantis 2476 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2476
http://www.eda-stds.org/mantis/file_download.php?file_id=5285&type=bug

Mantis 2578 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2578

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

Friendly amendment:

"underlying evaluation attempts of property_expr2 is nonvacuous." ==> "underlying evaluation attempt of property_expr2 is nonvacuous."

Mantis 3033 ____ Yes __X_ No
http://www.eda-stds.org/mantis/view.php?id=3033
http://www.eda-stds.org/mantis/file_download.php?file_id=5325&type=bug

A couple of concerns here:

- Does section 17.3.1 still exist but no longer have a title?

- 17.3.1 has three bullet points to clarify behavior of static concurrent assertions in a checker-shouldn't we have similar bullet points for static deferred assertions, or also mention those in the current ones?

Mantis 3206 __X_ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3206
http://www.eda-stds.org/mantis/file_download.php?file_id=5328&type=bug

Mantis 3385 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3385
http://www.eda-stds.org/mantis/file_download.php?file_id=5281&type=bug

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