[sv-ac] RE: Call to vote: Due April 25 (resend, without 3069)

Mantis 3213 ____ Yes __X__ No

http://www.verilog.org/mantis/view.php?id=3213

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

16.5.1 mentions sampled value functions and references 16.9.3 which defines concurrent value functions. I believe this should be changed to sampled value functions.

I am confused about the definition of what happens when concurrent value functions are called at or before the time when the first clocking even occurs. It says that the concurrent value is compared with the sampled value. How does this work for items who sampled value isn't defined?

I also need more time to carefully go through this proposal.

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

A few more changes...

In the paragraph before the argument description:

The $assertcontrol has different arguments as follows:

I don't understand why the word different is used. Are the arguments being compared to another similar function? Maybe reword as: The arguments to the $assertcontrol system task are described below.

In general I believe that "$assertcontrol system task" should replace all instances of "system task $assertcontrol"

In the description of Lock, "Once a $assertcontrol" should be "Once an $assertcontrol"

There is a font problem in the description of VacuousOff, "subsequent $assertcontrol with a control_type" the only Courier font should be $assertcontrol.

I would suggest modifying the following paragraph:

The system task $assertcontrol provides finer control over selecting the assertions compared to system tasks $asserton, $assertoff and $assertkill. The system tasks $asserton, $assertoff and $assertkill are provided for convenience and backward compatibility and they can be defined as:

As shown below:

The $assertcontrol system task provides finer grain assertion selection controls than the $asserton, $assertoff and $assertkill system tasks. The $asserton, $assertoff and $assertkill system tasks are provided for convenience and backward compatibility. They can be defined as:

Mantis 3491 __X__ Yes ____ No
http://www.verilog.org/mantis/view.php?id=3491

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

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