[sv-ac] RE: Parenthesis and local assignments in 3.1a

Hi,

Please note that there is an erratum with the usage of local variables in the examples
of the SV3.1a(6) spec. For more information see below.

Thanks
Hillel

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@motorola.com]
Sent: Sunday, April 11, 2004 6:08 PM
To: r53776@motorola.com
Cc: john.havlicek@motorola.com; r53776@motorola.com
Subject: Re: Parenthesis and local assignments in 3.1a

Hillel:

Parentheses are required when attaching sequence match items of
any kind. The examples are incorrect.

Please send an erratum mail to sv-ac.

Best regards,

John H.

>
> John,
>
> In the example below taken from the 3.1a (d6) spec, local assignments do
> not have parenthesis.
>
> Is this allowed? According to the formal syntax parenthesis are required
> around match_items.
>
> Thanks
>
> Hillel
>
>
>
> sequence data_check;
>
> int x;
>
> a ##1 !a, x = data_in ##1 !b[*0:$] ##1 b && (data_out == x);
>
> endsequence
>
> property data_check_p
>
> int x;
>
> a ##1 !a, x = data_in |=> !b[*0:$] ##1 b && (data_out == x);
>
> endproperty
>
Received on Mon Apr 12 08:40:23 2004