7 lines
115 B
Coq
7 lines
115 B
Coq
|
`define UCODE_ADDR_BITS 9
|
||
|
|
`define UCODE_DATA_BITS 32
|
||
|
|
`define UCODE_SIZE 4
|
||
|
|
|
||
|
|
`define ADD_AL_IB 0
|
||
|
|
`define ADD_AX_IW 1
|