[sv-champions] Mantis 2562

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu May 14 2009 - 06:00:21 PDT
> 41. 2562     Yes ___ No _x_ Abstain ___
>      SV-AC  rand qualifier for checker variables is not
> reflected in BNF

The proposal says

[rand] data_declaration

where

data_declaration ::=
[ const ] [ var ] [ lifetime ] data_type_or_implicit list_of_variable_decl_assignments ;
...

That is, according to this, rand must come before const.

17.7 has examples:
const rand bit [5:0] idx;
const rand bit [$bits(in_data)-1:0] mem_data;

Apparently the examples should be changed so that rand precedes const.

Shalom

Shalom Bresticker
Intel LAD DA
Jerusalem, Israel
+972  2 589 6582 (office)
+972 54 721 1033 (cell)


---------------------------------------------------------------------
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, and is
believed to be clean.
Received on Thu May 14 06:05:22 2009

This archive was generated by hypermail 2.1.8 : Thu May 14 2009 - 06:05:24 PDT