[sv-cc] [Fwd: vpi_user.h]

Reminder.

--
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Verification Methodology                    Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary

attached mail follows:

I've been looking over the vpi_user.h file, and I'd like to suggest some
changes which I think are all editorial, but I'd like to ask if there are
any problems.

1. Under Object Types, there is
#define vpiAlways 1 /* always block */
#define vpiInitial 24 /* initial block */

The proper name is "construct" instead of block. See Clause 9.
I haven't made a systematic search of the entire LRM to fix this everywhere,
but I spotted these while looking at this file. I'd like to change these.

2. 1364-2005 adds Object Type

#define vpiIndexedPartSelect 130

Because the name is long, I had to move the "130" one column right of
where all the other type and methods numbers are found. I'd like to move
them all 1 column to the right to be uniformly aligned.

3. Similarly, I found that 1364-2001 added property

#define vpiSaveRestartLocation 63

which was wider than the previous properties, and so you can see that
properties 49-71 are 3 columns to the right of the previous ones.

1364-2005 adds

#define vpiIndexedPartSelectType 72

which is a further 2 columns wide.

I'd like to try to align them all together (and of course their values also).

4. The values of vpiEdge are all defined as 32 bits:

vpiNoEdge 0x00000000 /* no edge */
...
vpiEdgex0 0x00000020 /* x -> 0 */

Is it possible to write them as

vpiNoEdge 0x00 /* no edge */
...
vpiEdgex0 0x20 /* x -> 0 */ ?

Thanks,
Shalom

-- 
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Verification Methodology                    Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
  
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary