14 `define FLAG_Z 8'b10000000
15 `define FLAG_N 8'b01000000
16 `define FLAG_H 8'b00100000
17 `define FLAG_C 8'b00010000
19 `define STATE_FETCH 2'h0
20 `define STATE_DECODE 2'h1
21 `define STATE_EXECUTE 2'h2
22 `define STATE_WRITEBACK 2'h3
24 `define INSN_LD_reg_imm8 8'b00xxx110
25 `define INSN_HALT 8'b01110110
26 `define INSN_LD_HL_reg 8'b01110xxx
27 `define INSN_LD_reg_HL 8'b01xxx110
28 `define INSN_LD_reg_reg 8'b01xxxxxx
29 `define INSN_LD_reg_imm16 8'b00xx0001
30 `define INSN_LD_SP_HL 8'b11111001
31 `define INSN_PUSH_reg 8'b11xx0101
32 `define INSN_POP_reg 8'b11xx0001
33 `define INSN_LDH_AC 8'b111x0010 // Either LDH A,(C) or LDH (C),A
34 `define INSN_LDx_AHL 8'b001xx010 // LDD/LDI A,(HL) / (HL),A
35 `define INSN_ALU8 8'b10xxxxxx // 10 xxx yyy
36 `define INSN_NOP 8'b00000000
37 `define INSN_RST 8'b11xxx111
38 `define INSN_RET 8'b110x1001 // 1 = RETI, 0 = RET
39 `define INSN_RETCC 8'b110xx000
40 `define INSN_CALL 8'b11001101
41 `define INSN_CALLCC 8'b110xx100 // Not that call/cc.
42 `define INSN_JP_imm 8'b11000011
43 `define INSN_JPCC_imm 8'b110xx010
44 `define INSN_ALU_A 8'b00xxx111
45 `define INSN_JP_HL 8'b11101001
46 `define INSN_JR_imm 8'b00011000
47 `define INSN_JRCC_imm 8'b001xx000
48 `define INSN_INCDEC16 8'b00xxx011
49 `define INSN_VOP_INTR 8'b11111100 // 0xFC is grabbed by the fetch if there is an interrupt pending.
50 `define INSN_DI 8'b11110011
51 `define INSN_EI 8'b11111011
53 `define INSN_cc_NZ 2'b00
54 `define INSN_cc_Z 2'b01
55 `define INSN_cc_NC 2'b10
56 `define INSN_cc_C 2'b11
58 `define INSN_reg_A 3'b111
59 `define INSN_reg_B 3'b000
60 `define INSN_reg_C 3'b001
61 `define INSN_reg_D 3'b010
62 `define INSN_reg_E 3'b011
63 `define INSN_reg_H 3'b100
64 `define INSN_reg_L 3'b101
65 `define INSN_reg_dHL 3'b110
66 `define INSN_reg16_BC 2'b00
67 `define INSN_reg16_DE 2'b01
68 `define INSN_reg16_HL 2'b10
69 `define INSN_reg16_SP 2'b11
70 `define INSN_stack_AF 2'b11
71 `define INSN_stack_BC 2'b00
72 `define INSN_stack_DE 2'b01
73 `define INSN_stack_HL 2'b10
74 `define INSN_alu_ADD 3'b000
75 `define INSN_alu_ADC 3'b001
76 `define INSN_alu_SUB 3'b010
77 `define INSN_alu_SBC 3'b011
78 `define INSN_alu_AND 3'b100
79 `define INSN_alu_XOR 3'b101
80 `define INSN_alu_OR 3'b110
81 `define INSN_alu_CP 3'b111 // Oh lawd, is dat some CP?
82 `define INSN_alu_RLCA 3'b000
83 `define INSN_alu_RRCA 3'b001
84 `define INSN_alu_RLA 3'b010
85 `define INSN_alu_RRA 3'b011
86 `define INSN_alu_DAA 3'b100
87 `define INSN_alu_CPL 3'b101
88 `define INSN_alu_SCF 3'b110
89 `define INSN_alu_CCF 3'b111
93 output reg [15:0] busaddress, /* BUS_* is latched on STATE_FETCH. */
95 output reg buswr, output reg busrd,
96 input irq, input [7:0] jaddr);
98 reg [1:0] state; /* State within this bus cycle (see STATE_*). */
99 reg [2:0] cycle; /* Cycle for instructions. */
101 reg [7:0] registers[11:0];
103 reg [15:0] address; /* Address for the next bus operation. */
105 reg [7:0] opcode; /* Opcode from the current machine cycle. */
107 reg [7:0] rdata, wdata; /* Read data from this bus cycle, or write data for the next. */
108 reg rd, wr, newcycle;
110 reg [7:0] tmp, tmp2; /* Generic temporary regs. */
113 assign busdata = buswr ? buswdata : 8'bzzzzzzzz;
141 state <= `STATE_WRITEBACK;
145 always @(posedge clk)
149 busaddress <= {registers[`REG_PCH], registers[`REG_PCL]};
153 busaddress <= address;
159 state <= `STATE_DECODE;
164 opcode <= `INSN_VOP_INTR;
171 if (rd) rdata <= busdata;
182 address <= 16'bxxxxxxxxxxxxxxxx; // Make it obvious if something of type has happened.
183 wdata <= 8'bxxxxxxxx;
184 state <= `STATE_EXECUTE;
186 `STATE_EXECUTE: begin
187 `define EXEC_INC_PC \
188 {registers[`REG_PCH], registers[`REG_PCL]} <= {registers[`REG_PCH], registers[`REG_PCL]} + 1
189 `define EXEC_NEXTADDR_PCINC \
190 address <= {registers[`REG_PCH], registers[`REG_PCL]} + 1
191 `define EXEC_NEWCYCLE \
192 newcycle <= 1; rd <= 1; wr <= 0
195 `include "allinsns.v"
200 address <= {8'hFF,registers[`REG_C]};
201 if (opcode[4]) begin // LD A,(C)
205 wdata <= registers[`REG_A];
217 address <= {registers[`REG_H],registers[`REG_L]};
218 if (opcode[3]) begin // LDx A, (HL)
222 wdata <= registers[`REG_A];
232 if ((opcode[2:0] == `INSN_reg_dHL) && (cycle == 0)) begin
233 // fffffffff fuck your shit, read from (HL) :(
235 address <= {registers[`REG_H], registers[`REG_L]};
240 `INSN_reg_A: tmp <= registers[`REG_A];
241 `INSN_reg_B: tmp <= registers[`REG_B];
242 `INSN_reg_C: tmp <= registers[`REG_C];
243 `INSN_reg_D: tmp <= registers[`REG_D];
244 `INSN_reg_E: tmp <= registers[`REG_E];
245 `INSN_reg_H: tmp <= registers[`REG_H];
246 `INSN_reg_L: tmp <= registers[`REG_L];
247 `INSN_reg_dHL: tmp <= rdata;
262 `EXEC_INC_PC; // This goes FIRST in RST
266 address <= {registers[`REG_SPH],registers[`REG_SPL]}-1;
267 wdata <= registers[`REG_PCH];
271 address <= {registers[`REG_SPH],registers[`REG_SPL]}-2;
272 wdata <= registers[`REG_PCL];
276 {registers[`REG_PCH],registers[`REG_PCL]} <=
277 {10'b0,opcode[5:3],3'b0};
281 `INSN_RET,`INSN_RETCC: begin
285 address <= {registers[`REG_SPH],registers[`REG_SPL]};
287 1: begin // SPECIAL CASE: cycle does NOT increase linearly with ret!
288 `EXEC_INC_PC; // cycle 1 is skipped if we are not retcc
290 `INSN_cc_NZ: if (registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
291 `INSN_cc_Z: if (~registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
292 `INSN_cc_NC: if (registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
293 `INSN_cc_C: if (~registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
296 address <= {registers[`REG_SPH],registers[`REG_SPL]};
300 address <= {registers[`REG_SPH],registers[`REG_SPL]} + 1;
302 3: begin /* twiddle thumbs */ end
305 // do NOT increment PC!
309 `INSN_CALL,`INSN_CALLCC: begin
313 `EXEC_NEXTADDR_PCINC;
318 `EXEC_NEXTADDR_PCINC;
323 if (!opcode[0]) // i.e., is callcc
324 /* We need to check the condition code to bail out. */
326 `INSN_cc_NZ: if (registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
327 `INSN_cc_Z: if (~registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
328 `INSN_cc_NC: if (registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
329 `INSN_cc_C: if (~registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
333 address <= {registers[`REG_SPH],registers[`REG_SPL]} - 1;
334 wdata <= registers[`REG_PCH];
338 address <= {registers[`REG_SPH],registers[`REG_SPL]} - 2;
339 wdata <= registers[`REG_PCL];
343 `EXEC_NEWCYCLE; /* do NOT increment the PC */
347 `INSN_JP_imm,`INSN_JPCC_imm: begin
351 `EXEC_NEXTADDR_PCINC;
356 `EXEC_NEXTADDR_PCINC;
361 if (!opcode[0]) begin // i.e., JP cc,nn
362 /* We need to check the condition code to bail out. */
364 `INSN_cc_NZ: if (registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
365 `INSN_cc_Z: if (~registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
366 `INSN_cc_NC: if (registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
367 `INSN_cc_C: if (~registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
379 `INSN_JR_imm,`INSN_JRCC_imm: begin
383 `EXEC_NEXTADDR_PCINC;
388 if (opcode[5]) begin // i.e., JP cc,nn
389 /* We need to check the condition code to bail out. */
391 `INSN_cc_NZ: if (registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
392 `INSN_cc_Z: if (~registers[`REG_F][7]) begin `EXEC_NEWCYCLE; end
393 `INSN_cc_NC: if (registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
394 `INSN_cc_C: if (~registers[`REG_F][4]) begin `EXEC_NEWCYCLE; end
403 `INSN_INCDEC16: begin
407 `INSN_reg16_BC: begin
408 tmp <= registers[`REG_B];
409 tmp2 <= registers[`REG_C];
411 `INSN_reg16_DE: begin
412 tmp <= registers[`REG_D];
413 tmp2 <= registers[`REG_E];
415 `INSN_reg16_HL: begin
416 tmp <= registers[`REG_H];
417 tmp2 <= registers[`REG_L];
419 `INSN_reg16_SP: begin
420 tmp <= registers[`REG_SPH];
421 tmp2 <= registers[`REG_SPL];
431 `INSN_VOP_INTR: begin
434 address <= {registers[`REG_SPH],registers[`REG_SPL]} - 1;
435 wdata <= registers[`REG_PCH];
439 address <= {registers[`REG_SPH],registers[`REG_SPL]} - 2;
440 wdata <= registers[`REG_PCL];
459 state <= `STATE_WRITEBACK;
461 `STATE_WRITEBACK: begin
464 `include "allinsns.v"
468 0: begin /* Type F */ end
470 registers[`REG_A] <= rdata;
475 0: begin /* Type F */ end
478 registers[`REG_A] <= rdata;
479 {registers[`REG_H],registers[`REG_L]} <=
480 opcode[4] ? // if set, LDD, else LDI
481 ({registers[`REG_H],registers[`REG_L]} - 1) :
482 ({registers[`REG_H],registers[`REG_L]} + 1);
487 if ((opcode[2:0] == `INSN_reg_dHL) && (cycle == 0)) begin
488 /* Sit on our asses. */
489 end else begin /* Actually do the computation! */
493 registers[`REG_A] + tmp;
495 { /* Z */ ((registers[`REG_A] + tmp) == 0) ? 1'b1 : 1'b0,
497 /* H */ (({1'b0,registers[`REG_A][3:0]} + {1'b0,tmp[3:0]}) >> 4 == 1) ? 1'b1 : 1'b0,
498 /* C */ (({1'b0,registers[`REG_A]} + {1'b0,tmp}) >> 8 == 1) ? 1'b1 : 1'b0,
499 registers[`REG_F][3:0]
504 registers[`REG_A] + tmp + {7'b0,registers[`REG_F][4]};
506 { /* Z */ ((registers[`REG_A] + tmp + {7'b0,registers[`REG_F][4]}) == 0) ? 1'b1 : 1'b0,
508 /* H */ (({1'b0,registers[`REG_A][3:0]} + {1'b0,tmp[3:0]} + {4'b0,registers[`REG_F][4]}) >> 4 == 1) ? 1'b1 : 1'b0,
509 /* C */ (({1'b0,registers[`REG_A]} + {1'b0,tmp} + {8'b0,registers[`REG_F][4]}) >> 8 == 1) ? 1'b1 : 1'b0,
510 registers[`REG_F][3:0]
515 registers[`REG_A] - tmp;
517 { /* Z */ ((registers[`REG_A] - tmp) == 0) ? 1'b1 : 1'b0,
519 /* H */ (({1'b0,registers[`REG_A][3:0]} - {1'b0,tmp[3:0]}) >> 4 == 1) ? 1'b1 : 1'b0,
520 /* C */ (({1'b0,registers[`REG_A]} - {1'b0,tmp}) >> 8 == 1) ? 1'b1 : 1'b0,
521 registers[`REG_F][3:0]
526 registers[`REG_A] - (tmp + {7'b0,registers[`REG_F][4]});
528 { /* Z */ ((registers[`REG_A] - (tmp + {7'b0,registers[`REG_F][4]})) == 0) ? 1'b1 : 1'b0,
530 /* H */ (({1'b0,registers[`REG_A][3:0]} - ({1'b0,tmp[3:0]} + {4'b0,registers[`REG_F][4]})) >> 4 == 1) ? 1'b1 : 1'b0,
531 /* C */ (({1'b0,registers[`REG_A]} - ({1'b0,tmp} + {8'b0,registers[`REG_F][4]})) >> 8 == 1) ? 1'b1 : 1'b0,
532 registers[`REG_F][3:0]
537 registers[`REG_A] & tmp;
539 { /* Z */ ((registers[`REG_A] & tmp) == 0) ? 1'b1 : 1'b0,
541 registers[`REG_F][3:0]
546 registers[`REG_A] | tmp;
548 { /* Z */ ((registers[`REG_A] | tmp) == 0) ? 1'b1 : 1'b0,
550 registers[`REG_F][3:0]
555 registers[`REG_A] ^ tmp;
557 { /* Z */ ((registers[`REG_A] ^ tmp) == 0) ? 1'b1 : 1'b0,
559 registers[`REG_F][3:0]
564 { /* Z */ ((registers[`REG_A] - tmp) == 0) ? 1'b1 : 1'b0,
566 /* H */ (({1'b0,registers[`REG_A][3:0]} - {1'b0,tmp[3:0]}) >> 4 == 1) ? 1'b1 : 1'b0,
567 /* C */ (({1'b0,registers[`REG_A]} - {1'b0,tmp}) >> 8 == 1) ? 1'b1 : 1'b0,
568 registers[`REG_F][3:0]
578 `INSN_alu_RLCA: begin
579 registers[`REG_A] <= {registers[`REG_A][6:0],registers[`REG_A][7]};
580 registers[`REG_F] <= {registers[`REG_F][7:5],registers[`REG_A][7],registers[`REG_F][3:0]};
582 `INSN_alu_RRCA: begin
583 registers[`REG_A] <= {registers[`REG_A][0],registers[`REG_A][7:1]};
584 registers[`REG_F] <= {registers[`REG_F][7:5],registers[`REG_A][0],registers[`REG_F][3:0]};
587 registers[`REG_A] <= {registers[`REG_A][6:0],registers[`REG_F][4]};
588 registers[`REG_F] <= {registers[`REG_F][7:5],registers[`REG_A][7],registers[`REG_F][3:0]};
591 registers[`REG_A] <= {registers[`REG_A][4],registers[`REG_A][7:1]};
592 registers[`REG_F] <= {registers[`REG_F][7:5],registers[`REG_A][0],registers[`REG_F][3:0]};
595 registers[`REG_A] <= ~registers[`REG_A];
596 registers[`REG_F] <= {registers[`REG_F][7],1'b1,1'b1,registers[`REG_F][4:0]};
599 registers[`REG_F] <= {registers[`REG_F][7:5],1'b1,registers[`REG_F][3:0]};
602 registers[`REG_F] <= {registers[`REG_F][7:5],~registers[`REG_F][4],registers[`REG_F][3:0]};
606 `INSN_NOP: begin /* NOP! */ end
609 0: begin /* type F */ end
610 1: begin /* type F */ end
611 2: begin /* type F */ end
612 3: {registers[`REG_SPH],registers[`REG_SPL]} <=
613 {registers[`REG_SPH],registers[`REG_SPL]}-2;
616 `INSN_RET,`INSN_RETCC: begin
618 0: if (opcode[0]) // i.e., not RETCC
619 cycle <= 1; // Skip cycle 1; it gets incremented on the next round.
620 1: begin /* Nothing need happen here. */ end
621 2: registers[`REG_PCL] <= rdata;
622 3: registers[`REG_PCH] <= rdata;
624 {registers[`REG_SPH],registers[`REG_SPL]} <=
625 {registers[`REG_SPH],registers[`REG_SPL]} + 2;
626 if (opcode[4] && opcode[0]) /* RETI */
631 `INSN_CALL,`INSN_CALLCC: begin
633 0: begin /* type F */ end
634 1: tmp <= rdata; // tmp contains newpcl
635 2: tmp2 <= rdata; // tmp2 contains newpch
636 3: begin /* type F */ end
637 4: registers[`REG_PCH] <= tmp2;
639 {registers[`REG_SPH],registers[`REG_SPL]} <=
640 {registers[`REG_SPH],registers[`REG_SPL]} - 2;
641 registers[`REG_PCL] <= tmp;
645 `INSN_JP_imm,`INSN_JPCC_imm: begin
647 0: begin /* type F */ end
648 1: tmp <= rdata; // tmp contains newpcl
649 2: tmp2 <= rdata; // tmp2 contains newpch
650 3: {registers[`REG_PCH],registers[`REG_PCL]} <=
655 {registers[`REG_PCH],registers[`REG_PCL]} <=
656 {registers[`REG_H],registers[`REG_L]};
658 `INSN_JR_imm,`INSN_JRCC_imm: begin
660 0: begin /* type F */ end
662 2: {registers[`REG_PCH],registers[`REG_PCL]} <=
663 {registers[`REG_PCH],registers[`REG_PCL]} +
664 {tmp[7]?8'hFF:8'h00,tmp};
667 `INSN_INCDEC16: begin
669 0: {tmp,tmp2} <= {tmp,tmp2} +
670 (opcode[3] ? 16'hFFFF : 16'h0001);
673 `INSN_reg16_BC: begin
674 registers[`REG_B] <= tmp;
675 registers[`REG_C] <= tmp2;
677 `INSN_reg16_DE: begin
678 registers[`REG_D] <= tmp;
679 registers[`REG_E] <= tmp2;
681 `INSN_reg16_HL: begin
682 registers[`REG_H] <= tmp;
683 registers[`REG_L] <= tmp2;
685 `INSN_reg16_SP: begin
686 registers[`REG_SPH] <= tmp;
687 registers[`REG_SPL] <= tmp2;
693 `INSN_VOP_INTR: begin
699 {registers[`REG_PCH],registers[`REG_PCL]} <=
701 {registers[`REG_SPH],registers[`REG_SPL]} <=
702 {registers[`REG_SPH],registers[`REG_SPL]} - 2;
707 `INSN_EI: iedelay <= 1;
711 state <= `STATE_FETCH;