Re: [sv-ec] increment, decrement enumeration typed variables


Subject: Re: [sv-ec] increment, decrement enumeration typed variables
From: Karen Pieper (Karen.Pieper@synopsys.com)
Date: Fri Dec 06 2002 - 16:13:30 PST


In SV-BC, any out of bounds reference is an error.

K

At 06:48 PM 12/6/02 -0500, Francoise Martinolle wrote:
>Does anyone remember what was the decision in the sv-bc committee
>about incrementing variables of enumeration types. It is unspecified
>in the standard.
>
>Do the values wrap around?
>example:
>enum Colors = {red, blue, green};
>
>Colors c;
>
>initial
> c= red;
> c++; // this should assign blue to c
> c += 2; // if wrap around, this should assign red to c
>endinitial
>
>The testbench donation specifies the effect of these operations to wrap
>around the values space.
>Francoise
> '



This archive was generated by hypermail 2b28 : Fri Dec 06 2002 - 16:14:15 PST