summaryrefslogtreecommitdiff
path: root/eater_cpu/eater_types.sv
blob: c7f0cf033eb310a678c98ce8e1315f9b8186a461 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
// internal types for eater CPU

`ifndef EATER_TYPES
`define EATER_TYPES

// CPU state (for control flags)
typedef enum logic[7:0] {
    // "regular" states
    INIT,
    PC_to_MAR,
    MEM_to_INS_PC_inc,
    // Note:
    // The Ben Eater CPU combines these steps. However.
    // I got probably a bug in my state machine,
    // or clock in the data differently,
    // but if I combine the steps, I'm trying to get
    // the instruction-dependent next state before
    // the INS is actually loaded. whoops.
    // One day later: Possible if we run the decoder on the negedge
    // PC_inc,

    // instruction dependent states

    // LDA: a) LSB of INStruction into MAR
    LDA_INS_to_MAR,
    // LDA: b) MEM -> A
    LDA_MEM_to_A,

    // ADD: a) LSB of INStruction into MAR
    ADD_INS_to_MAR,
    // ADD: b) MEM -> B
    ADD_MEM_to_B,
    // ADD: c) ALU -> A
    ADD_ALU_to_A,

    // SUB: a) LSB of INStruction into MAR
    SUB_INS_to_MAR,
    // SUB: b) MEM -> B
    SUB_MEM_to_B,
    // SUB: c) ALU -> A
    SUB_ALU_to_A,

    // STA: a) LSB of INStruction into MAR
    STA_INS_to_MAR,
    // STA: b) A -> MEM
    STA_A_to_MEM,

    // LDI: a) LSB of INStruction into A
    LDI_INS_to_A,

    // JMP: a) Put 4 LSB of INS -> PC
    JMP_INS_to_PC,
    // JMP: b) Needed??? Wait for value to be clocked in to be actually used
    // probably not needed
    JMP_NOP,

    // OUT: A -> OUT
    OUT_A_to_OUT,

    // HALT: set halt flag
    HALT_st
} CpuState;

typedef enum logic[3:0] {  
    NOP = 'b0000,
    LDA = 'b0001,
    ADD = 'b0010,
    SUB = 'b0011,
    STA = 'b0100,
    LDI = 'b0101,
    JMP = 'b0110,
    OUT = 'b1110,
    HALT_op = 'b1111
} eater_instruction;

// CPU control flags
`ifdef IVERILOG
typedef struct packed {
    logic A_out, A_in;
    logic B_out, B_in;
    logic INS_out, INS_in;
    logic MAR_in;
    logic RAM_out, RAM_in;
    logic ALU_out;
    logic PC_out, PC_in, PC_count;
    logic OUT_in;
    logic halt;
} CpuControlFlags;
`else
typedef struct {
    logic A_out, A_in;
    logic B_out, B_in;
    logic INS_out, INS_in;
    logic MAR_in;
    logic RAM_out, RAM_in;
    logic ALU_out, ALU_subtract_nadd;
    logic PC_out, PC_in, PC_count;
    logic OUT_in;
    logic halt;
} CpuControlFlags;
`endif

`endif