[sv-cc] Proposed changes to 4-state packed vector representation

Hi Team,

In case we want to replace "dval/cval" with "aval/bval"
in order to be more compatible with PLI, these are the
changes in the LRM that would be required:

1. Section E.6.7
   Table E-2 needs to be rearranged as follows:
     a b Value
     0 0 z
     0 1 x
     1 0 0
     1 1 1

2. Section E.9.1.2
   typedef struct svLogicVec32 needs to have
   "unsigned int c;" replaced with "unsigned int a;".
   Same with d and b.

3. Section E.9.3
   Example 2 needs to have all field dereferences to ".c"
   changed to ".a", and ".d" changed to ".b". (Note: this
   changes the results of the example slightly, but IMO makes
   the example actually more understandable).

4. Section F.1
   typedef struct svLogicVec32 needs to have
   "unsigned int c;" replaced with "unsigned int a;".
   Same with d and b.

Regards,
Doug
Received on Fri Apr 23 09:17:21 2004