13 lines
278 B
Coq
13 lines
278 B
Coq
|
`define PROC_HALT_STATE 4'b0000
|
||
|
|
|
||
|
|
/*INSTRUCTION FETCH STATE*/
|
||
|
|
`define PROC_IF_STATE_ENTRY 4'b0001
|
||
|
|
`define PROC_IF_WRITE_CIR 4'b0010
|
||
|
|
|
||
|
|
/*DECODE SATE*/
|
||
|
|
`define PROC_DE_STATE_ENTRY 4'b0100
|
||
|
|
`define PROC_DE_LOAD_16_PARAM 4'b0101
|
||
|
|
|
||
|
|
/*EXECUTE STATE*/
|
||
|
|
`define PROC_EX_STATE_ENTRY 4'b1000
|