RE: [sv-ac] Call to vote: Due May 11

Mantis 3069 __ x __ Yes ____ No

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

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

I have some friendly ammendments:

 1. Remove 'as if ' in the following sentence. Also, I would prefer if
this sentence does not contain ", which flattens properties and
sequences, and substitutes actual arguments to sequence, property and
checker instances for their corresponding formal arguments".

When $global_clock is used in a sequence declaration, a property
declaration, or as an actual argument to a named sequence instance, a
named property instance, or a checker instance, its call site shall be
considered as if after the application of the rewriting algorithm
defined in F.4.1, which flattens properties and sequences, and
substitutes actual arguments to sequence, property and checker instances
for their corresponding formal arguments.

 2. Add formal in the following sentence:

Similarly, when $global_clock is used in an actual argument of a checker
instance, the lookup rules shall be applied after the substitution of
the actual argument in place of the corresponding formal argument
inside the checker body.

3. In the description for the rules for having only one global clocking
block. It would be good to explicitly state that global clocking is
allowed in generate blocks. Currently the proposal says "

Global clocking may be declared in a module, an interface, a checker, or
a program. A given module, interface, checker or program instance in the
elaborated design description shall contain at most one global clocking
declaration. It shall be an error if there is more than one global
clocking declaration in a given module, interface, checker or program
instance in the elaborated design description. "

But later on, in the rules it talks about generate blocks also. It would
be good to mention generates in the above statements also.

4. In the example for generate, it is missing 'endcase'.

Mantis 3295 __ x __ Yes ____ No

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

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

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.