Section E.1

LRM-340

Changes (note extra lines):

/* implementation-dependent representation */

/* a handle to a scope (an instance of a module or interface) */

typedef void* svScope;

/* a handle to a generic object (actually, unsized array) */

typedef void* svOpenArrayHandle;

LRM-341

Changes:

/* canonical <-- actual */

void svGetPartSelectBit(svBitVec32* d, const svBitPackedArrRef s, int i,

int w);

svBitVec32 svGetBits(const svBitPackedArrRef s, int i, int w);

svBitVec32 svGet32Bits(const svBitPackedArrRef s, int i); // 32-bits

unsigned long long svGet64Bits(const svBitPackedArrRef s, int i); // 64-bits

void svGetPartSelectLogic(svLogicVec32* d, const svLogicPackedArrRef s, int i,

int w);

/* actual <-- canonical */

void svGetPartSelectBit(svBitVec32* d, const svBitPackedArrRef s, int i,

svBitVec32 svGetBits(const svBitPackedArrRef s, int i, int w);

svBitVec32 svGet32Bits(const svBitPackedArrRef s, int i); // 32-bits

long long svGet64Bits(const svBitPackedArrRef s, int i); // 64-bits

void svPutPartSelectBit(svBitPackedArrRef d, const svBitVec32 s, int i, int w);

void svPutPartSelectLogic(svLogicPackedArrRef d, const svLogicVec32 s, int i,

int w);