Subversion Repositories yifive

//////////////////////////////////////////////////////////////////////

////                                                              ////

////  yifive Wishbone interface for Instruction memory            ////

////                                                              ////

////  This file is part of the yifive cores project               ////

////  http://www.opencores.org/cores/yifive/                      ////

////                                                              ////

////  Description:                                                ////

////     integrated wishbone i/f to instruction memory            ////

////                                                              ////

////  To Do:                                                      ////

////    nothing                                                   ////

////                                                              ////

////  Author(s):                                                  ////

////      - Dinesh Annayya, dinesha@opencores.org                 ////

////                                                              ////

////  Revision :                                                  ////

////     v0:    June 7, 2021, Dinesh A                            ////

////             wishbone integration                             ////

////                                                              ////

//////////////////////////////////////////////////////////////////////

////                                                              ////

//// Copyright (C) 2000 Authors and OPENCORES.ORG                 ////

////                                                              ////

//// This source file may be used and distributed without         ////

//// restriction provided that this copyright statement is not    ////

//// removed from the file and that any derivative work contains  ////

//// the original copyright notice and the associated disclaimer. ////

////                                                              ////

//// This source file is free software; you can redistribute it   ////

//// and/or modify it under the terms of the GNU Lesser General   ////

//// Public License as published by the Free Software Foundation; ////

//// either version 2.1 of the License, or (at your option) any   ////

//// later version.                                               ////

////                                                              ////

//// This source is distributed in the hope that it will be       ////

//// useful, but WITHOUT ANY WARRANTY; without even the implied   ////

//// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR      ////

//// PURPOSE.  See the GNU Lesser General Public License for more ////

//// details.                                                     ////

////                                                              ////

//// You should have received a copy of the GNU Lesser General    ////

//// Public License along with this source; if not, download it   ////

//// from http://www.opencores.org/lgpl.shtml                     ////

////                                                              ////

//////////////////////////////////////////////////////////////////////

//     Orginal owner Details                                      ////

//////////////////////////////////////////////////////////////////////

/// Copyright by Syntacore LLC © 2016-2021. See LICENSE for details///

/// @file                                         ///

/// @brief      Instruction memory AHB bridge                      ///

//////////////////////////////////////////////////////////////////////

`include "scr1_wb.svh"

`include "scr1_memif.svh"

module scr1_imem_wb (

    // Control Signals

    input   logic                           rst_n,

    input   logic                           clk,

    // Core Interface

    output  logic                           imem_req_ack,

    input   logic                           imem_req,

    input   logic   [SCR1_WB_WIDTH-1:0]     imem_addr,

    output  logic   [SCR1_WB_WIDTH-1:0]     imem_rdata,

    output  type_scr1_mem_resp_e            imem_resp,

    // WB Interface

    output  logic                           wbd_stb_o, // strobe/request

    output  logic   [SCR1_WB_WIDTH-1:0]     wbd_adr_o, // address

    output  logic                           wbd_we_o,  // write

    output  logic   [SCR1_WB_WIDTH-1:0]     wbd_dat_o, // data output

    output  logic   [3:0]                   wbd_sel_o, // byte enable

    input   logic   [SCR1_WB_WIDTH-1:0]     wbd_dat_i, // data input

    input   logic                           wbd_ack_i, // acknowlegement

    input   logic                           wbd_err_i  // error

);

//-------------------------------------------------------------------------------

// Local parameters declaration

//-------------------------------------------------------------------------------

`ifndef SCR1_IMEM_WB_OUT_BP

localparam  SCR1_FIFO_WIDTH = 2;

localparam  SCR1_FIFO_CNT_WIDTH = $clog2(SCR1_FIFO_WIDTH+1);

`endif // SCR1_IMEM_WB_OUT_BP

//-------------------------------------------------------------------------------

// Local types declaration

//-------------------------------------------------------------------------------

typedef enum logic {

    SCR1_FSM_ADDR = 1'b0,

    SCR1_FSM_DATA = 1'b1,

    SCR1_FSM_ERR  = 1'bx

} type_scr1_fsm_e;

typedef struct packed {

    logic   [SCR1_WB_WIDTH-1:0]    haddr;

} type_scr1_req_fifo_s;

typedef struct packed {

    logic                           hresp;

    logic   [SCR1_WB_WIDTH-1:0]    hrdata;

} type_scr1_resp_fifo_s;

//-------------------------------------------------------------------------------

// Local signal declaration

//-------------------------------------------------------------------------------

type_scr1_fsm_e                             fsm;

logic                                       req_fifo_rd;

logic                                       req_fifo_wr;

logic                                       req_fifo_up;

`ifdef SCR1_IMEM_WB_OUT_BP

type_scr1_req_fifo_s                        req_fifo_r;

type_scr1_req_fifo_s [0:0]                  req_fifo;

`else // SCR1_IMEM_WB_OUT_BP

logic [SCR1_WB_WIDTH-1:0]                   req_fifo_dout;

`endif // SCR1_IMEM_WB_OUT_BP

logic                                       req_fifo_empty;

logic                                       req_fifo_full;

type_scr1_resp_fifo_s                       resp_fifo;

logic                                       resp_fifo_hready;

//-------------------------------------------------------------------------------

// Interface to Core

//-------------------------------------------------------------------------------

assign imem_req_ack = ~req_fifo_full;

assign req_fifo_wr  = ~req_fifo_full & imem_req;

assign imem_rdata = resp_fifo.hrdata;

assign imem_resp = (resp_fifo_hready)

                    ? (resp_fifo.hresp == 1'b1)

                        ? SCR1_MEM_RESP_RDY_OK

                        : SCR1_MEM_RESP_RDY_ER

                    : SCR1_MEM_RESP_NOTRDY;

//-------------------------------------------------------------------------------

// REQ_FIFO

//-------------------------------------------------------------------------------

`ifdef SCR1_IMEM_WB_OUT_BP

always_ff @(negedge rst_n, posedge clk) begin

    if (~rst_n) begin

        req_fifo_full <= 1'b0;

    end else begin

        if (~req_fifo_full) begin

            req_fifo_full <= imem_req & ~req_fifo_rd;

        end else begin

            req_fifo_full <= ~req_fifo_rd;

        end

    end

end

assign req_fifo_empty = ~(req_fifo_full | imem_req);

assign req_fifo_up    = ~req_fifo_rd & req_fifo_wr;

always_ff @(posedge clk) begin

    if (req_fifo_up) begin

        req_fifo_r.haddr <= imem_addr;

    end

end

assign req_fifo[0] = (req_fifo_full) ? req_fifo_r : imem_addr;

`else // SCR1_IMEM_WB_OUT_BP

 sync_fifo #(

      .W(SCR1_WB_WIDTH), // Data Width

      .D(2)    // FIFO DEPTH

     )   u_req_fifo(

       .rd_data    (req_fifo_dout  ),

       .reset_n   (rst_n          ),

       .clk       (clk            ),

       .wr_en     (req_fifo_wr    ), // Write

       .rd_en     (req_fifo_rd    ), // Read

       .wr_data   (imem_addr      ),

       .full      (req_fifo_full  ),

       .empty     (req_fifo_empty )

);

`endif // SCR1_IMEM_WB_OUT_BP

always_comb begin

    req_fifo_rd = 1'b0;

    if (wbd_ack_i) begin

         req_fifo_rd = ~req_fifo_empty;

    end

end

//-------------------------------------------------------------------------------

// FIFO response

//-------------------------------------------------------------------------------

`ifdef SCR1_IMEM_WB_IN_BP

assign resp_fifo_hready = wbd_ack_i;

assign resp_fifo.hresp  = (wbd_err_i) ? 1'b0 : 1'b1;

assign resp_fifo.hrdata = wbd_dat_i;

assign wbd_stb_o        = ~req_fifo_empty;

assign wbd_adr_o        = req_fifo[0];

assign wbd_we_o         = 0; // Only Read supported

assign wbd_dat_o        = 32'h0; // No Write

assign wbd_sel_o        = 4'b1111; // Only Read allowed in imem i/f

`else // SCR1_IMEM_WB_IN_BP

always_ff @(negedge rst_n, posedge clk) begin

    if (~rst_n) begin

        resp_fifo_hready <= 1'b0;

    end else begin

        resp_fifo_hready <= wbd_ack_i ;

    end

end

always_ff @(posedge clk) begin

    if (wbd_ack_i) begin

        resp_fifo.hresp  <= (wbd_err_i) ? 1'b0 : 1'b1;

        resp_fifo.hrdata <= wbd_dat_i;

    end

end

assign wbd_stb_o    = ~req_fifo_empty;

assign wbd_adr_o    = req_fifo_dout;

assign wbd_we_o     = 0; // Only Read supported

assign wbd_dat_o    = 32'h0; // No Write

assign wbd_sel_o    = 4'b1111; // Only Read allowed in imem i/f

`endif // SCR1_IMEM_WB_IN_BP

`ifdef SCR1_TRGT_SIMULATION

//-------------------------------------------------------------------------------

// Assertion

//-------------------------------------------------------------------------------

// Check Core interface

SCR1_SVA_IMEM_WB_BRIDGE_REQ_XCHECK : assert property (

    @(negedge clk) disable iff (~rst_n)

    !$isunknown(imem_req)

    ) else $error("IMEM WB bridge Error: imem_req has unknown values");

SCR1_IMEM_WB_BRIDGE_ADDR_XCHECK : assert property (

    @(negedge clk) disable iff (~rst_n)

    imem_req |-> !$isunknown(imem_addr)

    ) else $error("IMEM WB bridge Error: imem_addr has unknown values");

SCR1_IMEM_WB_BRIDGE_ADDR_ALLIGN : assert property (

    @(negedge clk) disable iff (~rst_n)

    imem_req |-> (imem_addr[1:0] == '0)

    ) else $error("IMEM WB bridge Error: imem_addr has unalign values");

// Check WB interface

SCR1_IMEM_WB_BRIDGE_HREADY_XCHECK : assert property (

    @(negedge clk) disable iff (~rst_n)

    !$isunknown(hready)

    ) else $error("IMEM WB bridge Error: hready has unknown values");

SCR1_IMEM_WB_BRIDGE_HRESP_XCHECK : assert property (

    @(negedge clk) disable iff (~rst_n)

    !$isunknown(hresp)

    ) else $error("IMEM WB bridge Error: hresp has unknown values");

`endif // SCR1_TRGT_SIMULATION

endmodule : scr1_imem_wb