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

Hi Dmitry,
please see my vote below.
Best regards
ed

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=5251&type=bug
Minor correction - add s (shown is green):
and the evaluation attempts of property_expr1 is nonvacuous and property_expr2 are nonvacuous.

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

Minor comments:
In REPLACE in 17.3.1

the new example uses "always" rather than always_ff. But always was eliminated from checkers.

similarly in 17.7.1 Checker variable assignments
and Example 2

Should F.3.4.6 also have always_ff or here it does not matter?

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