Compare commits
No commits in common. "a5571fda122c9552c6b48e6bff6f2bee0db26c5d" and "be31d74f74d864802d95b3ff3de77406c0e0f133" have entirely different histories.
a5571fda12
...
be31d74f74
@ -1,5 +1,4 @@
|
|||||||
SOURCES=processor.v testbench.v memory.v registers.v alu.v
|
SOURCES=processor.v testbench.v memory.v
|
||||||
INCLUDES=proc_state_def.v
|
|
||||||
VVP=processor.vvp
|
VVP=processor.vvp
|
||||||
|
|
||||||
.PHONY: run
|
.PHONY: run
|
||||||
@ -14,8 +13,8 @@ wave: ${VVP}
|
|||||||
vvp ${VVP} -lxt2
|
vvp ${VVP} -lxt2
|
||||||
gtkwave test.lx2 gtkwave_savefile.gtkw
|
gtkwave test.lx2 gtkwave_savefile.gtkw
|
||||||
|
|
||||||
${VVP} : ${SOURCES} ${INCLUDES}
|
${VVP} : ${SOURCES}
|
||||||
iverilog -g2012 ${SOURCES} -o $@
|
iverilog -g2012 $^ -o $@
|
||||||
|
|
||||||
.PHONY: clean
|
.PHONY: clean
|
||||||
clean:
|
clean:
|
||||||
|
@ -1,9 +0,0 @@
|
|||||||
module ADDER16(input [15:0]A,input [15:0]B, input oe,output [15:0]OUT, output carry);
|
|
||||||
wire c;
|
|
||||||
wire [15:0]sum;
|
|
||||||
assign {c,sum} = A+B;
|
|
||||||
|
|
||||||
assign OUT = !oe ? sum : 16'hz;
|
|
||||||
assign carry = !oe ? c : 'hz;
|
|
||||||
|
|
||||||
endmodule
|
|
@ -1,56 +1,34 @@
|
|||||||
[*]
|
[*]
|
||||||
[*] GTKWave Analyzer v3.3.104 (w)1999-2020 BSI
|
[*] GTKWave Analyzer v3.3.104 (w)1999-2020 BSI
|
||||||
[*] Thu Feb 9 20:13:04 2023
|
[*] Thu Feb 9 14:44:08 2023
|
||||||
[*]
|
[*]
|
||||||
[dumpfile] "/home/user/UNI_DATA/COMS30046_2022_TB-2/projects/9086/cpu/test.lx2"
|
[dumpfile] "/home/user/UNI_DATA/COMS30046_2022_TB-2/projects/9086/cpu/test.lx2"
|
||||||
[dumpfile_mtime] "Thu Feb 9 20:10:34 2023"
|
[dumpfile_mtime] "Thu Feb 9 14:43:59 2023"
|
||||||
[dumpfile_size] 1043
|
[dumpfile_size] 757
|
||||||
[savefile] "/home/user/UNI_DATA/COMS30046_2022_TB-2/projects/9086/cpu/gtkwave_savefile.gtkw"
|
[savefile] "/home/user/UNI_DATA/COMS30046_2022_TB-2/projects/9086/cpu/gtkwave_savefile.gtkw"
|
||||||
[timestart] 0
|
[timestart] 0
|
||||||
[size] 1438 1059
|
[size] 1630 1059
|
||||||
[pos] -1 -1
|
[pos] -1 -1
|
||||||
*-22.795050 6163000 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
|
*-22.795050 2010000 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
|
||||||
[treeopen] tb.
|
[treeopen] tb.
|
||||||
[treeopen] tb.p.
|
|
||||||
[treeopen] tb.p.exec_units.
|
|
||||||
[sst_width] 221
|
[sst_width] 221
|
||||||
[signals_width] 293
|
[signals_width] 293
|
||||||
[sst_expanded] 1
|
[sst_expanded] 1
|
||||||
[sst_vpaned_height] 313
|
[sst_vpaned_height] 313
|
||||||
@28
|
@29
|
||||||
tb.p.clock[0]
|
tb.p.clock[0]
|
||||||
|
@28
|
||||||
tb.p.reset[0]
|
tb.p.reset[0]
|
||||||
tb.p.state[3:0]
|
|
||||||
@22
|
@22
|
||||||
|
tb.p.state[3:0]
|
||||||
tb.p.external_address_bus[19:0]
|
tb.p.external_address_bus[19:0]
|
||||||
tb.p.external_data_bus[15:0]
|
tb.p.external_data_bus[15:0]
|
||||||
tb.p.CIR[15:0]
|
tb.p.CIR[15:0]
|
||||||
@28
|
@28
|
||||||
tb.p.EXCEPTION[0]
|
tb.p.EXCEPTION[0]
|
||||||
@c00022
|
tb.p.ADD_INST[0]
|
||||||
tb.p.exec_units.ADDER16_1.A[15:0]
|
tb.p.INC_INST[0]
|
||||||
@28
|
|
||||||
(0)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(1)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(2)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(3)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(4)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(5)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(6)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(7)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(8)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(9)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(10)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(11)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(12)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(13)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(14)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
(15)tb.p.exec_units.ADDER16_1.A[15:0]
|
|
||||||
@1401200
|
|
||||||
-group_end
|
|
||||||
@22
|
@22
|
||||||
tb.p.exec_units.ADDER16_1.B[15:0]
|
tb.p.PARAM1[15:0]
|
||||||
@29
|
|
||||||
tb.p.exec_units.register_file.write1[0]
|
|
||||||
[pattern_trace] 1
|
[pattern_trace] 1
|
||||||
[pattern_trace] 0
|
[pattern_trace] 0
|
||||||
|
@ -10,4 +10,3 @@
|
|||||||
|
|
||||||
/*EXECUTE STATE*/
|
/*EXECUTE STATE*/
|
||||||
`define PROC_EX_STATE_ENTRY 4'b1000
|
`define PROC_EX_STATE_ENTRY 4'b1000
|
||||||
`define PROC_EX_STATE_EXIT 4'b1001
|
|
||||||
|
@ -1,38 +1,6 @@
|
|||||||
`include "proc_state_def.v"
|
`include "proc_state_def.v"
|
||||||
|
|
||||||
module exec_units ( input [15:0]PARAM1, input [15:0]PARAM2, input [1:0]in1_sel, input [1:0]in2_sel, input [1:0]out_sel , input EXEC);
|
|
||||||
/*Architectural Register file*/
|
|
||||||
wire [2:0] reg_addr;
|
|
||||||
wire [15:0] reg_data;
|
|
||||||
wire reg_read;
|
|
||||||
wire reg_write;
|
|
||||||
wire [2:0] reg_read_addr;
|
|
||||||
wire [15:0] reg_read_data;
|
|
||||||
wire reg_read_read;
|
|
||||||
register_file register_file(reg_addr,reg_data,reg_read,reg_write,reg_read_addr,reg_read_data,reg_read_read);
|
|
||||||
|
|
||||||
/*Exec Unts*/
|
|
||||||
wire [15:0] ADDER16_1A;
|
|
||||||
wire [15:0] ADDER16_1B;
|
|
||||||
wire [15:0] ADDER16_1O;
|
|
||||||
wire ADDER16_1C;
|
|
||||||
ADDER16 ADDER16_1(ADDER16_1A,ADDER16_1B,EXEC,ADDER16_1O,ADDER16_1C);
|
|
||||||
|
|
||||||
/*logic*/
|
|
||||||
assign reg_addr=PARAM2[5:3];
|
|
||||||
assign reg_read=EXEC;
|
|
||||||
assign reg_write=EXEC;
|
|
||||||
assign reg_read_read=0;
|
|
||||||
assign reg_read_addr=PARAM2[2:0];
|
|
||||||
assign ADDER16_1A= (in1_sel==2'b00) ? PARAM1 : 16'b1010101010101010;
|
|
||||||
assign ADDER16_1B= (in2_sel==2'b01) ? reg_read_data : 16'b1010101010101010;
|
|
||||||
//assign reg_data = (out_sel==2'b01) ? ADDER16_1O : 'hz;
|
|
||||||
//assign reg_data = (out_sel==2'b01) ? ADDER16_1O : ADDER16_1O;
|
|
||||||
assign reg_data = ADDER16_1O;
|
|
||||||
endmodule
|
|
||||||
|
|
||||||
module processor ( input clock, input reset , output reg [19:0] external_address_bus, inout [15:0] external_data_bus,output reg read, output reg write, output reg HALT);
|
module processor ( input clock, input reset , output reg [19:0] external_address_bus, inout [15:0] external_data_bus,output reg read, output reg write, output reg HALT);
|
||||||
|
|
||||||
/* State */
|
/* State */
|
||||||
reg [3:0] state;
|
reg [3:0] state;
|
||||||
reg instruction_finished;
|
reg instruction_finished;
|
||||||
@ -43,30 +11,24 @@ reg [15:0] CIR;
|
|||||||
reg [15:0] PARAM1;
|
reg [15:0] PARAM1;
|
||||||
reg [15:0] PARAM2;
|
reg [15:0] PARAM2;
|
||||||
|
|
||||||
/* Execution units*/
|
|
||||||
reg [1:0] in1_sel;
|
|
||||||
reg [1:0] in2_sel;
|
|
||||||
reg [1:0] out_sel;
|
|
||||||
reg exec_unit_execute;
|
|
||||||
exec_units exec_units(PARAM1,PARAM2,in1_sel,in2_sel,out_sel,exec_unit_execute);
|
|
||||||
|
|
||||||
/* RESET LOGIC */
|
/* RESET LOGIC */
|
||||||
always @(negedge reset) begin
|
always @(negedge reset) begin
|
||||||
if (reset==0) begin
|
if (reset==0) begin
|
||||||
@(posedge clock);
|
@(posedge clock);
|
||||||
ProgCount=0;//TODO: Reset Vector
|
ProgCount=0;//TODO: Reset Vector
|
||||||
|
ADD_INST=0;
|
||||||
EXCEPTION=0;
|
EXCEPTION=0;
|
||||||
|
INC_INST=0;
|
||||||
HALT=0;
|
HALT=0;
|
||||||
exec_unit_execute=1;
|
|
||||||
@(negedge clock);
|
@(negedge clock);
|
||||||
@(posedge clock);
|
@(posedge clock);
|
||||||
state=`PROC_IF_STATE_ENTRY;
|
state=`PROC_IF_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
reg EXCEPTION;
|
|
||||||
|
|
||||||
/* Processor stages */
|
/* Processor stages */
|
||||||
|
reg ADD_INST,EXCEPTION,INC_INST;
|
||||||
|
|
||||||
always @(negedge clock) begin
|
always @(negedge clock) begin
|
||||||
case(state)
|
case(state)
|
||||||
`PROC_IF_WRITE_CIR:begin
|
`PROC_IF_WRITE_CIR:begin
|
||||||
@ -74,21 +36,14 @@ always @(negedge clock) begin
|
|||||||
ProgCount=ProgCount+1;
|
ProgCount=ProgCount+1;
|
||||||
state=`PROC_DE_STATE_ENTRY;
|
state=`PROC_DE_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
`PROC_EX_STATE_EXIT:begin
|
|
||||||
exec_unit_execute=1;
|
|
||||||
state=`PROC_IF_STATE_ENTRY;
|
|
||||||
end
|
|
||||||
endcase
|
endcase
|
||||||
end
|
end
|
||||||
|
|
||||||
`define invalid_instruction state=`PROC_IF_STATE_ENTRY;EXCEPTION=1;
|
|
||||||
|
|
||||||
always @(posedge clock) begin
|
always @(posedge clock) begin
|
||||||
case(state)
|
case(state)
|
||||||
`PROC_HALT_STATE:
|
`PROC_HALT_STATE:
|
||||||
HALT=1;
|
HALT=1;
|
||||||
`PROC_IF_STATE_ENTRY:begin
|
`PROC_IF_STATE_ENTRY:begin
|
||||||
EXCEPTION=0;
|
|
||||||
external_address_bus <= ProgCount;
|
external_address_bus <= ProgCount;
|
||||||
read <= 0;
|
read <= 0;
|
||||||
write <= 1;
|
write <= 1;
|
||||||
@ -98,46 +53,37 @@ always @(posedge clock) begin
|
|||||||
external_address_bus <= ProgCount; /*Remenance from IF*/
|
external_address_bus <= ProgCount; /*Remenance from IF*/
|
||||||
case(CIR[15:10])
|
case(CIR[15:10])
|
||||||
6'b100000 : begin
|
6'b100000 : begin
|
||||||
/* ADD, ADC, SUB, SBB, CMP , AND, ... */
|
|
||||||
case (CIR[5:3])
|
case (CIR[5:3])
|
||||||
3'b000 :begin
|
3'b000 :begin
|
||||||
/* Add Immediate to register/memory */
|
ADD_INST=1;
|
||||||
in1_sel=2'b00;
|
|
||||||
in2_sel=2'b01;
|
|
||||||
out_sel=2'b01;
|
|
||||||
PARAM2[2:0]=CIR[2:0];
|
|
||||||
PARAM2[5:3]=CIR[2:0];
|
|
||||||
state=`PROC_DE_LOAD_16_PARAM;
|
state=`PROC_DE_LOAD_16_PARAM;
|
||||||
end
|
end
|
||||||
default:begin
|
default:begin
|
||||||
`invalid_instruction
|
EXCEPTION=1;
|
||||||
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
endcase
|
endcase
|
||||||
end
|
end
|
||||||
6'b111111 : begin
|
6'b111111 : begin
|
||||||
/* INC */
|
|
||||||
if (CIR[9:9] == 1 ) begin
|
if (CIR[9:9] == 1 ) begin
|
||||||
case (CIR[5:3])
|
case (CIR[5:3])
|
||||||
3'b000 :begin
|
3'b000 :begin
|
||||||
/* Increment Register or Memmory */
|
INC_INST=1;
|
||||||
in1_sel=2'b00;
|
|
||||||
in2_sel=2'b01;
|
|
||||||
out_sel=2'b01;
|
|
||||||
PARAM1=1;
|
|
||||||
PARAM2[2:0]=CIR[2:0];
|
|
||||||
PARAM2[5:3]=CIR[2:0];
|
|
||||||
state=`PROC_EX_STATE_ENTRY;
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
default:begin
|
default:begin
|
||||||
`invalid_instruction
|
EXCEPTION=1;
|
||||||
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
endcase
|
endcase
|
||||||
end else begin
|
end else begin
|
||||||
`invalid_instruction
|
EXCEPTION=1;
|
||||||
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
default:begin
|
default:begin
|
||||||
`invalid_instruction
|
EXCEPTION=1;
|
||||||
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
endcase
|
endcase
|
||||||
end
|
end
|
||||||
@ -147,9 +93,8 @@ always @(posedge clock) begin
|
|||||||
state=`PROC_EX_STATE_ENTRY;
|
state=`PROC_EX_STATE_ENTRY;
|
||||||
end
|
end
|
||||||
`PROC_EX_STATE_ENTRY:begin
|
`PROC_EX_STATE_ENTRY:begin
|
||||||
EXCEPTION=0;
|
EXCEPTION=0;ADD_INST=0;INC_INST=0;
|
||||||
exec_unit_execute=0;
|
state=`PROC_IF_STATE_ENTRY;
|
||||||
state=`PROC_EX_STATE_EXIT;
|
|
||||||
end
|
end
|
||||||
endcase
|
endcase
|
||||||
end
|
end
|
||||||
|
@ -1,21 +0,0 @@
|
|||||||
module register_file ( input [2:0]addr1, inout [15:0]data1, input wire read1, input wire write1 ,input [2:0]addr2,output [15:0]data2,input wire read2);
|
|
||||||
reg [15:0] registers [7:0];
|
|
||||||
assign data2 = !read2 ? registers[0] : 'b1111000011110000 ;
|
|
||||||
//assign data2 = !read2 ? registers[addr2]: 'b1111000011110000;
|
|
||||||
assign data1 = !read1 ? registers[addr1]: 'hz;
|
|
||||||
initial begin
|
|
||||||
registers['b000]=0;
|
|
||||||
registers['b001]=0;
|
|
||||||
registers['b010]=0;
|
|
||||||
registers['b011]=0;
|
|
||||||
registers['b100]=0;
|
|
||||||
registers['b101]=0;
|
|
||||||
registers['b110]=0;
|
|
||||||
registers['b111]=0; // TODO Don't clear. Remove after we implement the MOV instruction
|
|
||||||
end
|
|
||||||
always @(negedge write1) begin
|
|
||||||
registers[addr1] = data1;
|
|
||||||
//$display("registers: 0:%04x 1:%04x 2:%04x",registers[0],registers[1],registers[2]);
|
|
||||||
$display("register %d update to %04x (data bus %04x)",addr1,registers[addr1],data1);
|
|
||||||
end
|
|
||||||
endmodule
|
|
@ -27,7 +27,6 @@ initial begin
|
|||||||
#(`CPU_SPEED)
|
#(`CPU_SPEED)
|
||||||
reset = 1;
|
reset = 1;
|
||||||
#(`CPU_SPEED*30)
|
#(`CPU_SPEED*30)
|
||||||
//$writememh("register_dump.txt", registers);
|
|
||||||
|
|
||||||
#50 $finish;
|
#50 $finish;
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user