18 lines
520 B
Coq
18 lines
520 B
Coq
|
// (C) 1953, Frank Gray
|
||
|
|
`define IDLE 4'b0000
|
||
|
|
`define LD_N_1 4'b0001
|
||
|
|
`define LD_N_2 4'b0011
|
||
|
|
`define I_GT_ZERO 4'b0010
|
||
|
|
`define LD_S_1 4'b0110
|
||
|
|
`define LD_S_2 4'b0111
|
||
|
|
`define S_GT_ONE 4'b0101
|
||
|
|
`define X_1 4'b0100
|
||
|
|
`define DIV_1 4'b1100
|
||
|
|
`define DIV_2 4'b1101
|
||
|
|
`define DIV_3 4'b1111
|
||
|
|
`define DIV_4 4'b1110
|
||
|
|
`define OLD_X_LTE_X_1 4'b1010
|
||
|
|
`define OLD_X_LTE_X_2 4'b1011
|
||
|
|
`define STORE_X 4'b1001
|
||
|
|
`define DEC_I 4'b1000
|