// +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
// +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
//
|
//
|
// This file is part of the M32632 project
|
// This file is part of the M32632 project
|
// http://opencores.org/project,m32632
|
// http://opencores.org/project,m32632
|
//
|
//
|
// Filename: ADDR_UNIT.v
|
// Filename: ADDR_UNIT.v
|
// Version: 1.0
|
// Version: 1.1 bug fix
|
// Date: 30 May 2015
|
// History: 1.0 first release of 30 Mai 2015
|
|
// Date: 7 October 2015
|
//
|
//
|
// Copyright (C) 2015 Udo Moeller
|
// Copyright (C) 2015 Udo Moeller
|
//
|
//
|
// This source file may be used and distributed without
|
// This source file may be used and distributed without
|
// restriction provided that this copyright statement is not
|
// restriction provided that this copyright statement is not
|
// removed from the file and that any derivative work contains
|
// removed from the file and that any derivative work contains
|
// the original copyright notice and the associated disclaimer.
|
// the original copyright notice and the associated disclaimer.
|
//
|
//
|
// This source file is free software; you can redistribute it
|
// This source file is free software; you can redistribute it
|
// and/or modify it under the terms of the GNU Lesser General
|
// and/or modify it under the terms of the GNU Lesser General
|
// Public License as published by the Free Software Foundation;
|
// Public License as published by the Free Software Foundation;
|
// either version 2.1 of the License, or (at your option) any
|
// either version 2.1 of the License, or (at your option) any
|
// later version.
|
// later version.
|
//
|
//
|
// This source is distributed in the hope that it will be
|
// This source is distributed in the hope that it will be
|
// useful, but WITHOUT ANY WARRANTY; without even the implied
|
// useful, but WITHOUT ANY WARRANTY; without even the implied
|
// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
|
// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
|
// PURPOSE. See the GNU Lesser General Public License for more
|
// PURPOSE. See the GNU Lesser General Public License for more
|
// details.
|
// details.
|
//
|
//
|
// You should have received a copy of the GNU Lesser General
|
// You should have received a copy of the GNU Lesser General
|
// Public License along with this source; if not, download it
|
// Public License along with this source; if not, download it
|
// from http://www.opencores.org/lgpl.shtml
|
// from http://www.opencores.org/lgpl.shtml
|
//
|
//
|
// +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
// +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
//
|
//
|
// Modules contained in this file:
|
// Modules contained in this file:
|
// ADDR_UNIT generates data access addresses and controls data cache operation
|
// ADDR_UNIT generates data access addresses and controls data cache operation
|
//
|
//
|
// ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
// ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
module ADDR_UNIT ( BCLK, BRESET, READ, WRITE, LDEA, NEWACC, CLRMSW, POST, DISP_OK, FULLACC, SRC2SEL, INDEX, ASIZE, SRC1, SRC2, BWD,
|
module ADDR_UNIT ( BCLK, BRESET, READ, WRITE, LDEA, NEWACC, CLRMSW, POST, DISP_OK, FULLACC, SRC2SEL, INDEX, ASIZE, SRC1, SRC2, BWD,
|
DISP, PC_ARCHI, PC_ICACHE, IO_READY, ACC_STAT, MMU_UPDATE, IC_TEX, ABO_STAT, ADIVAR, RWVAL_1, OP_RMW, PHASE_17,
|
DISP, PC_ARCHI, PC_ICACHE, IO_READY, ACC_STAT, MMU_UPDATE, IC_TEX, ABO_STAT, ADIVAR, RWVAL_1, OP_RMW, PHASE_17,
|
NO_TRAP, FPU_TRAP, READ_OUT, WRITE_OUT, ZTEST, RMW, VADR, ADDR, SIZE, PACKET, ACC_DONE, ABORT, REG_OUT, BITSEL );
|
NO_TRAP, FPU_TRAP, READ_OUT, WRITE_OUT, ZTEST, RMW, VADR, ADDR, SIZE, PACKET, ACC_DONE, ABORT, REG_OUT, BITSEL,
|
|
QWATWO );
|
|
|
input BCLK,BRESET;
|
input BCLK,BRESET;
|
input READ,WRITE,LDEA;
|
input READ,WRITE,LDEA;
|
input NEWACC;
|
input NEWACC;
|
input CLRMSW,POST,FULLACC;
|
input CLRMSW,POST,FULLACC;
|
input [1:0] SRC2SEL;
|
input [1:0] SRC2SEL;
|
input [3:0] INDEX;
|
input [3:0] INDEX;
|
input [1:0] ASIZE;
|
input [1:0] ASIZE;
|
input [31:0] SRC1,SRC2;
|
input [31:0] SRC1,SRC2;
|
input [1:0] BWD;
|
input [1:0] BWD;
|
input [31:0] DISP;
|
input [31:0] DISP;
|
input [31:0] PC_ARCHI,PC_ICACHE;
|
input [31:0] PC_ARCHI,PC_ICACHE;
|
input DISP_OK;
|
input DISP_OK;
|
input IO_READY;
|
input IO_READY;
|
input [5:0] ACC_STAT; // Feedback from data cache about the running access
|
input [5:0] ACC_STAT; // Feedback from data cache about the running access
|
input [1:0] MMU_UPDATE;
|
input [1:0] MMU_UPDATE;
|
input [2:0] IC_TEX;
|
input [2:0] IC_TEX;
|
input [1:0] ABO_STAT;
|
input [1:0] ABO_STAT;
|
input ADIVAR;
|
input ADIVAR;
|
input RWVAL_1; // special access for RDVAL + WRVAL
|
input RWVAL_1; // special access for RDVAL + WRVAL
|
input OP_RMW;
|
input OP_RMW;
|
input PHASE_17;
|
input PHASE_17;
|
input NO_TRAP;
|
input NO_TRAP;
|
input FPU_TRAP;
|
input FPU_TRAP;
|
|
|
output READ_OUT,WRITE_OUT,ZTEST,RMW;
|
output READ_OUT,WRITE_OUT,ZTEST,RMW;
|
output [31:0] VADR;
|
output [31:0] VADR;
|
output [31:0] ADDR;
|
output [31:0] ADDR;
|
output [1:0] SIZE;
|
output [1:0] SIZE;
|
output [3:0] PACKET;
|
output [3:0] PACKET;
|
output ACC_DONE;
|
output ACC_DONE;
|
output ABORT;
|
output ABORT;
|
output REG_OUT;
|
output REG_OUT;
|
output [2:0] BITSEL;
|
output [2:0] BITSEL;
|
|
output reg QWATWO;
|
|
|
reg [31:0] VADR;
|
reg [31:0] VADR;
|
reg READ_OUT,write_reg,ZTEST,RMW;
|
reg READ_OUT,write_reg,ZTEST,RMW;
|
reg [1:0] SIZE;
|
reg [1:0] SIZE;
|
reg [3:0] PACKET;
|
reg [3:0] PACKET;
|
reg [2:0] BITSEL;
|
reg [2:0] BITSEL;
|
reg [31:0] source2;
|
reg [31:0] source2;
|
reg [31:0] index_val;
|
reg [31:0] index_val;
|
reg [31:0] vadr_reg;
|
reg [31:0] vadr_reg;
|
reg [31:0] ea_reg;
|
reg [31:0] ea_reg;
|
reg [31:0] tos_offset;
|
reg [31:0] tos_offset;
|
reg [31:0] icache_adr;
|
reg [31:0] icache_adr;
|
reg [31:0] sign_ext_src1;
|
reg [31:0] sign_ext_src1;
|
reg [31:12] pg_areg;
|
reg [31:12] pg_areg;
|
reg reg_out_i,next_reg;
|
reg reg_out_i,next_reg;
|
reg ld_ea_reg;
|
reg ld_ea_reg;
|
reg acc_run,acc_ende,acc_step;
|
reg acc_run,acc_ende,acc_step;
|
reg qwa_flag;
|
reg qwa_flag;
|
reg no_done;
|
reg no_done;
|
reg frueh_ok;
|
reg frueh_ok;
|
reg io_rdy;
|
reg io_rdy;
|
reg ABORT;
|
reg ABORT;
|
reg [1:0] tex_feld;
|
reg [1:0] tex_feld;
|
reg [2:0] u_ddt;
|
reg [2:0] u_ddt;
|
reg pg_op;
|
reg pg_op;
|
reg do_wr;
|
reg do_wr;
|
|
|
wire acc_ok,acc_err,io_acc;
|
wire acc_ok,acc_err,io_acc;
|
wire acc_pass;
|
wire acc_pass;
|
wire ca_hit;
|
wire ca_hit;
|
wire [31:0] reg_adder;
|
wire [31:0] reg_adder;
|
wire [31:0] next_vadr;
|
wire [31:0] next_vadr;
|
wire [31:0] final_addr;
|
wire [31:0] final_addr;
|
wire [31:0] pg_addr;
|
wire [31:0] pg_addr;
|
wire [1:0] inc_pack;
|
wire [1:0] inc_pack;
|
wire [3:0] index_sel;
|
wire [3:0] index_sel;
|
wire ld_ea_i;
|
wire ld_ea_i;
|
wire ea_ok;
|
wire ea_ok;
|
wire qw_align;
|
wire qw_align;
|
wire init_acc;
|
wire init_acc;
|
wire in_page;
|
wire in_page;
|
wire all_ok;
|
wire all_ok;
|
wire fa_out;
|
wire fa_out;
|
wire pg_test;
|
wire pg_test;
|
|
|
// ++++++++++++++++++++ Decoding ACC_STAT from data cache ++++++++++++++++++++++++++++
|
// ++++++++++++++++++++ Decoding ACC_STAT from data cache ++++++++++++++++++++++++++++
|
|
|
// ACC_STAT[5:0] : CA_HIT, IO_ACC, PROT_ERROR , ABO_LEVEL1 , ABORT , ACC_OK
|
// ACC_STAT[5:0] : CA_HIT, IO_ACC, PROT_ERROR , ABO_LEVEL1 , ABORT , ACC_OK
|
|
|
assign ca_hit = ACC_STAT[5];
|
assign ca_hit = ACC_STAT[5];
|
assign io_acc = ACC_STAT[4];
|
assign io_acc = ACC_STAT[4];
|
assign acc_err = ACC_STAT[3] | ACC_STAT[1]; // Abort or Protection Error
|
assign acc_err = ACC_STAT[3] | ACC_STAT[1]; // Abort or Protection Error
|
assign acc_ok = ACC_STAT[0] & ~pg_op;
|
assign acc_ok = ACC_STAT[0] & ~pg_op;
|
assign acc_pass = ACC_STAT[0] & ZTEST;
|
assign acc_pass = ACC_STAT[0] & ZTEST;
|
|
|
always @(posedge BCLK) ABORT <= acc_err; // Signal to Steuerung - only a pulse
|
always @(posedge BCLK) ABORT <= acc_err; // Signal to Steuerung - only a pulse
|
|
|
always @(posedge BCLK) if (acc_err) tex_feld <= ACC_STAT[3] ? 2'b11 : {~ACC_STAT[2],ACC_STAT[2]}; // for MSR
|
always @(posedge BCLK) if (acc_err) tex_feld <= ACC_STAT[3] ? 2'b11 : {~ACC_STAT[2],ACC_STAT[2]}; // for MSR
|
always @(posedge BCLK) if (acc_err) u_ddt <= {RMW,ABO_STAT[1],(WRITE_OUT | ZTEST)};
|
always @(posedge BCLK) if (acc_err) u_ddt <= {RMW,ABO_STAT[1],(WRITE_OUT | ZTEST)};
|
|
|
// ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
// ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
always @(SRC2SEL or CLRMSW or SRC2 or PC_ARCHI or ea_reg)
|
always @(SRC2SEL or CLRMSW or SRC2 or PC_ARCHI or ea_reg)
|
case (SRC2SEL)
|
case (SRC2SEL)
|
2'b00 : source2 = {(CLRMSW ? 16'h0000 : SRC2[31:16]),SRC2[15:0]}; // base reg, External Addressing with MOD
|
2'b00 : source2 = {(CLRMSW ? 16'h0000 : SRC2[31:16]),SRC2[15:0]}; // base reg, External Addressing with MOD
|
2'b01 : source2 = PC_ARCHI; // PC relative
|
2'b01 : source2 = PC_ARCHI; // PC relative
|
2'b10 : source2 = 32'h0; // Absolute Addressing
|
2'b10 : source2 = 32'h0; // Absolute Addressing
|
2'b11 : source2 = ea_reg; // REUSE : 2. TOS
|
2'b11 : source2 = ea_reg; // REUSE : 2. TOS
|
endcase
|
endcase
|
|
|
assign index_sel = POST ? 4'h0 : INDEX; // Alternative application of Index for POST Adder : POP from Stack
|
assign index_sel = POST ? 4'h0 : INDEX; // Alternative application of Index for POST Adder : POP from Stack
|
|
|
always @(BWD or SRC1)
|
always @(BWD or SRC1)
|
casex (BWD)
|
casex (BWD)
|
2'b00 : sign_ext_src1 = {{24{SRC1[7]}}, SRC1[7:0]}; // Byte
|
2'b00 : sign_ext_src1 = {{24{SRC1[7]}}, SRC1[7:0]}; // Byte
|
2'b01 : sign_ext_src1 = {{16{SRC1[15]}},SRC1[15:0]}; // Word
|
2'b01 : sign_ext_src1 = {{16{SRC1[15]}},SRC1[15:0]}; // Word
|
default : sign_ext_src1 = SRC1;
|
default : sign_ext_src1 = SRC1;
|
endcase
|
endcase
|
|
|
always @(index_sel or sign_ext_src1 or SRC1)
|
always @(index_sel or sign_ext_src1 or SRC1)
|
casex (index_sel)
|
casex (index_sel)
|
4'b1_0xx : index_val = sign_ext_src1; // für CASE
|
4'b1_0xx : index_val = sign_ext_src1; // für CASE
|
4'b1_1xx : index_val = {{ 3{sign_ext_src1[31]}},sign_ext_src1[31:3]}; // for Bit Opcodes
|
4'b1_1xx : index_val = {{ 3{sign_ext_src1[31]}},sign_ext_src1[31:3]}; // for Bit Opcodes
|
4'b0_100 : index_val = SRC1;
|
4'b0_100 : index_val = SRC1;
|
4'b0_101 : index_val = {SRC1[30:0],1'b0};
|
4'b0_101 : index_val = {SRC1[30:0],1'b0};
|
4'b0_110 : index_val = {SRC1[29:0],2'b00};
|
4'b0_110 : index_val = {SRC1[29:0],2'b00};
|
4'b0_111 : index_val = {SRC1[28:0],3'b000};
|
4'b0_111 : index_val = {SRC1[28:0],3'b000};
|
default : index_val = 32'h0;
|
default : index_val = 32'h0;
|
endcase
|
endcase
|
|
|
assign reg_adder = source2 + index_val; // SRC2 allows simple MOV with SRC1
|
assign reg_adder = source2 + index_val; // SRC2 allows simple MOV with SRC1
|
|
|
assign final_addr = reg_adder + DISP; // That's the final access address
|
assign final_addr = reg_adder + DISP; // That's the final access address
|
|
|
always @(posedge BCLK) if (LDEA && (index_sel[3:2] == 2'b11)) BITSEL <= SRC1[2:0]; // for Bit Opcodes in I_PFAD
|
always @(posedge BCLK) if (LDEA && (index_sel[3:2] == 2'b11)) BITSEL <= SRC1[2:0]; // for Bit Opcodes in I_PFAD
|
|
|
always @(INDEX) // SP POP Operation & String Backward
|
always @(INDEX) // SP POP Operation & String Backward
|
case (INDEX[2:0])
|
case (INDEX[2:0])
|
3'b000 : tos_offset = 32'h0000_0001;
|
3'b000 : tos_offset = 32'h0000_0001;
|
3'b001 : tos_offset = 32'h0000_0002;
|
3'b001 : tos_offset = 32'h0000_0002;
|
3'b010 : tos_offset = 32'h0000_0004;
|
3'b010 : tos_offset = 32'h0000_0004;
|
3'b011 : tos_offset = 32'h0000_0008;
|
3'b011 : tos_offset = 32'h0000_0008;
|
3'b100 : tos_offset = 32'hFFFF_FFFF;
|
3'b100 : tos_offset = 32'hFFFF_FFFF;
|
3'b101 : tos_offset = 32'hFFFF_FFFE;
|
3'b101 : tos_offset = 32'hFFFF_FFFE;
|
3'b110 : tos_offset = 32'hFFFF_FFFC;
|
3'b110 : tos_offset = 32'hFFFF_FFFC;
|
3'b111 : tos_offset = 32'hFFFF_FFF8;
|
3'b111 : tos_offset = 32'hFFFF_FFF8;
|
endcase
|
endcase
|
|
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) ld_ea_reg <= 1'b0;
|
if (!BRESET) ld_ea_reg <= 1'b0;
|
else ld_ea_reg <= (LDEA | ld_ea_reg) & ~DISP_OK;
|
else ld_ea_reg <= (LDEA | ld_ea_reg) & ~DISP_OK;
|
|
|
assign ld_ea_i = (LDEA | ld_ea_reg) & DISP_OK;
|
assign ld_ea_i = (LDEA | ld_ea_reg) & DISP_OK;
|
|
|
assign ea_ok = (READ | WRITE | LDEA | ld_ea_reg) & ~FULLACC & DISP_OK;
|
assign ea_ok = (READ | WRITE | LDEA | ld_ea_reg) & ~FULLACC & DISP_OK;
|
|
|
always @(posedge BCLK) icache_adr <= PC_ICACHE;
|
always @(posedge BCLK) icache_adr <= PC_ICACHE;
|
|
|
// Memory for the calculated address for reuse and Register for POST modified addresses :
|
// Memory for the calculated address for reuse and Register for POST modified addresses :
|
always @(posedge BCLK)
|
always @(posedge BCLK)
|
if (ld_ea_i)
|
if (ld_ea_i)
|
begin
|
begin
|
casex ({MMU_UPDATE[1],INDEX[0],POST})
|
casex ({MMU_UPDATE[1],INDEX[0],POST})
|
3'b10x : ea_reg <= MMU_UPDATE[0] ? vadr_reg : icache_adr; // TEAR
|
3'b10x : ea_reg <= MMU_UPDATE[0] ? vadr_reg : icache_adr; // TEAR
|
3'b11x : ea_reg <= MMU_UPDATE[0] ?
|
3'b11x : ea_reg <= MMU_UPDATE[0] ?
|
{24'h0000_00,3'b101, u_ddt, tex_feld} // MSR
|
{24'h0000_00,3'b101, u_ddt, tex_feld} // MSR
|
: {24'h0000_00,3'b100,IC_TEX[2],ABO_STAT[0],1'b0,IC_TEX[1:0]}; // only READ from ICACHE
|
: {24'h0000_00,3'b100,IC_TEX[2],ABO_STAT[0],1'b0,IC_TEX[1:0]}; // only READ from ICACHE
|
3'b0x1 : ea_reg <= source2 + tos_offset ;
|
3'b0x1 : ea_reg <= source2 + tos_offset ;
|
3'b0x0 : ea_reg <= final_addr;
|
3'b0x0 : ea_reg <= final_addr;
|
endcase
|
endcase
|
end
|
end
|
|
|
assign ADDR = ea_reg; // used for ADDR opcode and TOS Addressing
|
assign ADDR = ea_reg; // used for ADDR opcode and TOS Addressing
|
|
|
// This pulse stores all parameters of access
|
// This pulse stores all parameters of access
|
assign init_acc = ((FULLACC ? (NEWACC & acc_ende) : acc_ende) | ~acc_run) & DISP_OK & (READ | WRITE) & ~ABORT & NO_TRAP;
|
assign init_acc = ((FULLACC ? (NEWACC & acc_ende) : acc_ende) | ~acc_run) & DISP_OK & (READ | WRITE) & ~ABORT & NO_TRAP;
|
|
|
assign fa_out = init_acc | ADIVAR; // special case for LMR IVAR,...
|
assign fa_out = init_acc | ADIVAR; // special case for LMR IVAR,...
|
|
|
always @(fa_out or acc_ok or final_addr or qw_align or pg_op or pg_areg or vadr_reg or next_vadr)
|
always @(fa_out or acc_ok or final_addr or qw_align or pg_op or pg_areg or vadr_reg or next_vadr)
|
casex ({fa_out,acc_ok})
|
casex ({fa_out,acc_ok})
|
2'b1x : VADR = {final_addr[31:3],(final_addr[2] | qw_align),final_addr[1:0]};
|
2'b1x : VADR = {final_addr[31:3],(final_addr[2] | qw_align),final_addr[1:0]};
|
2'b00 : VADR = pg_op ? {pg_areg,12'h0} : vadr_reg;
|
2'b00 : VADR = pg_op ? {pg_areg,12'h0} : vadr_reg;
|
2'b01 : VADR = next_vadr;
|
2'b01 : VADR = next_vadr;
|
endcase
|
endcase
|
|
|
always @(posedge BCLK)
|
always @(posedge BCLK)
|
if (init_acc) vadr_reg <= {final_addr[31:3],(final_addr[2] | qw_align),final_addr[1:0]};
|
if (init_acc) vadr_reg <= {final_addr[31:3],(final_addr[2] | qw_align),final_addr[1:0]};
|
else
|
else
|
if (pg_op && ZTEST && acc_err) vadr_reg <= {pg_areg,12'h0}; // for TEAR !
|
if (pg_op && ZTEST && acc_err) vadr_reg <= {pg_areg,12'h0}; // for TEAR !
|
else
|
else
|
if (acc_ok) vadr_reg <= next_vadr;
|
if (acc_ok) vadr_reg <= next_vadr;
|
|
|
assign next_vadr = qwa_flag ? {vadr_reg[31:3],3'b000} : ({vadr_reg[31:2],2'b00} + 32'h0000_0004);
|
assign next_vadr = qwa_flag ? {vadr_reg[31:3],3'b000} : ({vadr_reg[31:2],2'b00} + 32'h0000_0004);
|
|
|
// Logic for Page border WRITE Test
|
// Logic for Page border WRITE Test
|
assign pg_addr = final_addr + {29'h0,(ASIZE[1] & ASIZE[0]),ASIZE[1],(ASIZE[1] | ASIZE[0])};
|
assign pg_addr = final_addr + {29'h0,(ASIZE[1] & ASIZE[0]),ASIZE[1],(ASIZE[1] | ASIZE[0])};
|
always @(posedge BCLK) if (init_acc) pg_areg <= pg_addr[31:12];
|
always @(posedge BCLK) if (init_acc) pg_areg <= pg_addr[31:12];
|
assign pg_test = (final_addr[12] != pg_addr[12]) & ~OP_RMW; // At RMW no Test necessary
|
assign pg_test = (final_addr[12] != pg_addr[12]) & ~OP_RMW; // At RMW no Test necessary
|
|
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) pg_op <= 1'b0;
|
if (!BRESET) pg_op <= 1'b0;
|
else
|
else
|
pg_op <= init_acc ? (WRITE & ~RWVAL_1 & pg_test) : (pg_op & ~acc_pass & ~acc_err);
|
pg_op <= init_acc ? (WRITE & ~RWVAL_1 & pg_test) : (pg_op & ~acc_pass & ~acc_err);
|
|
|
always @(posedge BCLK) do_wr <= pg_op & ZTEST & acc_pass; // All ok, Page exists => continue
|
always @(posedge BCLK) do_wr <= pg_op & ZTEST & acc_pass; // All ok, Page exists => continue
|
|
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) READ_OUT <= 1'b0;
|
if (!BRESET) READ_OUT <= 1'b0;
|
else
|
else
|
READ_OUT <= init_acc ? (READ & ~RWVAL_1) : (READ_OUT & ~acc_ende & ~acc_err);
|
READ_OUT <= init_acc ? (READ & ~RWVAL_1) : (READ_OUT & ~acc_ende & ~acc_err);
|
|
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) write_reg <= 1'b0;
|
if (!BRESET) write_reg <= 1'b0;
|
else
|
else
|
write_reg <= (init_acc ? (WRITE & ~RWVAL_1 & ~pg_test) : (write_reg & ~acc_ende & ~acc_err & ~FPU_TRAP)) | do_wr;
|
write_reg <= (init_acc ? (WRITE & ~RWVAL_1 & ~pg_test) : (write_reg & ~acc_ende & ~acc_err & ~FPU_TRAP)) | do_wr;
|
|
|
assign WRITE_OUT = write_reg & ~FPU_TRAP;
|
assign WRITE_OUT = write_reg & ~FPU_TRAP;
|
|
|
// Special case for RDVAL and WRVAL
|
// Special case for RDVAL and WRVAL
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) ZTEST <= 1'b0;
|
if (!BRESET) ZTEST <= 1'b0;
|
else
|
else
|
ZTEST <= pg_op ? (~ZTEST | (~acc_pass & ~acc_err)) : (init_acc ? RWVAL_1 : (ZTEST & ~acc_ende & ~acc_err));
|
ZTEST <= pg_op ? (~ZTEST | (~acc_pass & ~acc_err)) : (init_acc ? RWVAL_1 : (ZTEST & ~acc_ende & ~acc_err));
|
|
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) RMW <= 1'b0;
|
if (!BRESET) RMW <= 1'b0;
|
else
|
else
|
RMW <= init_acc ? (OP_RMW & PHASE_17) : (RMW & ~acc_ende & ~acc_err);
|
RMW <= init_acc ? (OP_RMW & PHASE_17) : (RMW & ~acc_ende & ~acc_err);
|
|
|
// Special case : first MSD access by aligned QWORD READ
|
// Special case : first MSD access by aligned QWORD READ
|
assign qw_align = (final_addr[2:0] == 3'b000) & READ & (ASIZE == 2'b11);
|
assign qw_align = (final_addr[2:0] == 3'b000) & READ & (ASIZE == 2'b11);
|
|
|
always @(posedge BCLK) if (init_acc) qwa_flag <= qw_align;
|
always @(posedge BCLK) if (init_acc) qwa_flag <= qw_align;
|
|
|
always @(posedge BCLK or negedge BRESET) // central flag that shows the ADDR_UNIT is busy
|
always @(posedge BCLK or negedge BRESET) // central flag that shows the ADDR_UNIT is busy
|
if (!BRESET) acc_run <= 1'b0;
|
if (!BRESET) acc_run <= 1'b0;
|
else
|
else
|
acc_run <= init_acc | (acc_run & ~acc_ende & ~acc_err & ~FPU_TRAP);
|
acc_run <= init_acc | (acc_run & ~acc_ende & ~acc_err & ~FPU_TRAP);
|
|
|
always @(posedge BCLK) if (init_acc) SIZE <= ASIZE;
|
always @(posedge BCLK) if (init_acc) SIZE <= ASIZE;
|
|
|
assign inc_pack = (PACKET[1:0] == 2'b00) ? 2'b10 : {(SIZE[1] ^ SIZE[0]),(SIZE[1] & SIZE[0])};
|
assign inc_pack = (PACKET[1:0] == 2'b00) ? 2'b10 : {(SIZE[1] ^ SIZE[0]),(SIZE[1] & SIZE[0])};
|
|
|
// Counter for data packets 1 to 3 : special case aligned QWORD : only 2 packets. Additionally start address in bits 1 und 0.
|
// Counter for data packets 1 to 3 : special case aligned QWORD : only 2 packets. Additionally start address in bits 1 und 0.
|
// special coding (00) -> [01] -> (10) , [01] optional by QWORD and (10) shows always the end
|
// special coding (00) -> [01] -> (10) , [01] optional by QWORD and (10) shows always the end
|
always @(posedge BCLK)
|
always @(posedge BCLK)
|
if (init_acc) PACKET <= {2'b00,final_addr[1:0]};
|
if (init_acc) PACKET <= {2'b00,final_addr[1:0]};
|
else
|
else
|
if (acc_ok) PACKET <= PACKET + {inc_pack,2'b00};
|
if (acc_ok) PACKET <= PACKET + {inc_pack,2'b00};
|
|
|
// This signal is the End signal for the ADDR_UNIT internally.
|
// This signal is the End signal for the ADDR_UNIT internally.
|
always @(SIZE or PACKET or acc_ok)
|
always @(SIZE or PACKET or acc_ok)
|
casex ({SIZE,PACKET[3],PACKET[1:0]})
|
casex ({SIZE,PACKET[3],PACKET[1:0]})
|
5'b00_x_xx : acc_ende = acc_ok; // Byte
|
5'b00_x_xx : acc_ende = acc_ok; // Byte
|
5'b01_0_0x : acc_ende = acc_ok; // Word 1 packet
|
5'b01_0_0x : acc_ende = acc_ok; // Word 1 packet
|
5'b01_0_10 : acc_ende = acc_ok; // 1 packet
|
5'b01_0_10 : acc_ende = acc_ok; // 1 packet
|
5'b01_1_xx : acc_ende = acc_ok; // 2 packets
|
5'b01_1_xx : acc_ende = acc_ok; // 2 packets
|
5'b10_0_00 : acc_ende = acc_ok; // DWord 1 packet
|
5'b10_0_00 : acc_ende = acc_ok; // DWord 1 packet
|
5'b10_1_xx : acc_ende = acc_ok; // 2 packets
|
5'b10_1_xx : acc_ende = acc_ok; // 2 packets
|
5'b11_1_xx : acc_ende = acc_ok; // QWord at least 2 packets
|
5'b11_1_xx : acc_ende = acc_ok; // QWord at least 2 packets
|
default : acc_ende = 1'b0;
|
default : acc_ende = 1'b0;
|
endcase
|
endcase
|
|
|
assign in_page = (vadr_reg[11:3] != 9'h1FF); // Access inside a page ? During WRITE address is increasing : 1. LSD 2. MSD
|
assign in_page = (vadr_reg[11:3] != 9'h1FF); // Access inside a page ? During WRITE address is increasing : 1. LSD 2. MSD
|
|
|
always @(SIZE or vadr_reg or in_page or PACKET)
|
always @(SIZE or vadr_reg or in_page or PACKET)
|
casex (SIZE)
|
casex (SIZE)
|
2'b01 : frueh_ok = (vadr_reg[3:2] != 2'b11); //Word
|
2'b01 : frueh_ok = (vadr_reg[3:2] != 2'b11); //Word
|
2'b10 : frueh_ok = (vadr_reg[3:2] != 2'b11); //DWord
|
2'b10 : frueh_ok = (vadr_reg[3:2] != 2'b11); //DWord
|
2'b11 : frueh_ok = (PACKET[1:0] == 2'b00) ? (~vadr_reg[3] | ~vadr_reg[2]) : ((PACKET[3:2] == 2'b01) & (vadr_reg[3:2] != 2'b11));
|
2'b11 : frueh_ok = (PACKET[1:0] == 2'b00) ? (~vadr_reg[3] | ~vadr_reg[2]) : ((PACKET[3:2] == 2'b01) & (vadr_reg[3:2] != 2'b11));
|
default : frueh_ok = 1'b1; // Byte don't case
|
default : frueh_ok = 1'b1; // Byte don't case
|
endcase
|
endcase
|
|
|
assign all_ok = SIZE[1] ? (PACKET[1:0] == 2'b00) : (PACKET[1:0] != 2'b11); // for DWord : Word
|
assign all_ok = SIZE[1] ? (PACKET[1:0] == 2'b00) : (PACKET[1:0] != 2'b11); // for DWord : Word
|
|
|
always @(SIZE or READ_OUT or frueh_ok or PACKET or all_ok or io_acc or acc_ok or qwa_flag or io_rdy or ca_hit)
|
always @(SIZE or READ_OUT or frueh_ok or PACKET or all_ok or io_acc or acc_ok or qwa_flag or io_rdy or ca_hit)
|
casex ({SIZE,READ_OUT,frueh_ok,PACKET[3],io_acc,all_ok})
|
casex ({SIZE,READ_OUT,frueh_ok,PACKET[3],io_acc,all_ok})
|
7'b00_xxxx_x : acc_step = acc_ok; // Byte, all ok
|
7'b00_xxxx_x : acc_step = acc_ok; // Byte, all ok
|
//
|
//
|
7'b01_xxxx_1 : acc_step = acc_ok; // Word : aligned access , only 1 packet
|
7'b01_xxxx_1 : acc_step = acc_ok; // Word : aligned access , only 1 packet
|
7'b01_1x1x_0 : acc_step = acc_ok; // READ must wait for all data
|
7'b01_1x1x_0 : acc_step = acc_ok; // READ must wait for all data
|
7'b01_001x_0 : acc_step = acc_ok; // WRITE Adr. ist not perfect and waits for last packet
|
7'b01_001x_0 : acc_step = acc_ok; // WRITE Adr. ist not perfect and waits for last packet
|
7'b01_01xx_0 : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet
|
7'b01_01xx_0 : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet
|
//
|
//
|
7'b10_xxxx_1 : acc_step = acc_ok; // DWord : aligned access , only 1 packet
|
7'b10_xxxx_1 : acc_step = acc_ok; // DWord : aligned access , only 1 packet
|
7'b10_1x1x_0 : acc_step = acc_ok; // READ must wait for all data
|
7'b10_1x1x_0 : acc_step = acc_ok; // READ must wait for all data
|
7'b10_001x_0 : acc_step = acc_ok; // WRITE Adr. ist not perfect and waits for last packet
|
7'b10_001x_0 : acc_step = acc_ok; // WRITE Adr. ist not perfect and waits for last packet
|
7'b10_01xx_0 : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet
|
7'b10_01xx_0 : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet
|
// fast QWord READ : there would be a 2. acc_step if not ~PACK...
|
// fast QWord READ : there would be a 2. acc_step if not ~PACK...
|
7'b11_1xxx_x : acc_step = acc_ok & ( (qwa_flag & ~io_rdy & ca_hit) ? ~PACKET[3] : PACKET[3] );
|
7'b11_1xxx_x : acc_step = acc_ok & ( (qwa_flag & ~io_rdy & ca_hit) ? ~PACKET[3] : PACKET[3] );
|
7'b11_0x1x_x : acc_step = acc_ok;
|
7'b11_0x1x_x : acc_step = acc_ok;
|
7'b11_0100_x : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet if not io_acc
|
7'b11_0100_x : acc_step = acc_ok; // WRITE Adr. perfect - acc_step after 1. packet if not io_acc
|
default : acc_step = 1'b0;
|
default : acc_step = 1'b0;
|
endcase
|
endcase
|
|
|
// There is a 2. acc_step if packet (10) - this must be suppressed
|
// There is a 2. acc_step if packet (10) - this must be suppressed
|
always @(posedge BCLK or negedge BRESET)
|
always @(posedge BCLK or negedge BRESET)
|
if (!BRESET) no_done <= 1'b0;
|
if (!BRESET) no_done <= 1'b0;
|
else no_done <= (~acc_ende & acc_step) | (no_done & ~(acc_run & acc_ende));
|
else no_done <= (~acc_ende & acc_step) | (no_done & ~(acc_run & acc_ende));
|
|
|
// The final DONE Multiplexer
|
// The final DONE Multiplexer
|
assign ACC_DONE = acc_run ? (acc_step & ~no_done) : ea_ok;
|
assign ACC_DONE = acc_run ? (acc_step & ~no_done) : ea_ok;
|
|
|
|
// Bugfix of 7.October 2015
|
|
always @(posedge BCLK) QWATWO <= acc_run & acc_ok & qwa_flag & ~io_rdy & ca_hit & ~PACKET[3] & (SIZE == 2'b11) & READ_OUT & ~no_done;
|
|
|
always @(posedge BCLK) reg_out_i <= ~acc_step & BRESET & ((qwa_flag & (io_rdy | ~ca_hit) & acc_ok) | reg_out_i);
|
always @(posedge BCLK) reg_out_i <= ~acc_step & BRESET & ((qwa_flag & (io_rdy | ~ca_hit) & acc_ok) | reg_out_i);
|
|
|
always @(posedge BCLK) io_rdy <= IO_READY & (WRITE_OUT | READ_OUT);
|
always @(posedge BCLK) io_rdy <= IO_READY & (WRITE_OUT | READ_OUT);
|
|
|
always @(posedge BCLK) next_reg <= (acc_step & ~qwa_flag) & (SIZE == 2'b11);
|
always @(posedge BCLK) next_reg <= (acc_step & ~qwa_flag) & (SIZE == 2'b11);
|
assign REG_OUT = reg_out_i | next_reg;
|
assign REG_OUT = reg_out_i | next_reg;
|
|
|
endmodule
|
endmodule
|
|
|