src/bsv/bsv_lib/soc_template.bsv

   1 /*
   2 Copyright (c) 2013, IIT Madras
   3 All rights reserved.
   4
   5 Redistribution and use in source and binary forms, with or without
   6 modification, are permitted provided that the following conditions
   7 are met:
   8
   9 *  Redistributions of source code must retain the above copyright notice,
  10    this list of conditions and the following disclaimer.
  11 *  Redistributions in binary form must reproduce the above copyright
  12    notice, this list of conditions and the following disclaimer in the
  13    documentation and/or other materials provided with the distribution.
  14 *  Neither the name of IIT Madras  nor the names of its contributors
  15    may be used to endorse or promote products derived from this software
  16    without specific prior written permission.
  17
  18 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  19 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  20 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  21 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  22 HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  23 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  24 TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  25 PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  26 LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  27 NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  28 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  29 -------------------------------------------------------------------
  30 */
  31 package socgen;
  32     /*====== Package imports === */
  33     import FIFO::*;
  34     import FIFOF::*;
  35     import SpecialFIFOs::*;
  36     import GetPut::*;
  37     import ClientServer::*;
  38     import Vector::*;
  39     import Connectable::*;
  40     import Clocks::*;
  41
  42     /*=== Project imports === */
  43     import ifc_sync:: *;
  44     import ConcatReg::*;
  45     import AXI4_Types::*;
  46     import AXI4_Fabric::*;
  47     import defined_types::*;
  48     import MemoryMap             :: *;
  49     import slow_peripherals::*;
  50     import fast_memory_map::*;
  51     import slow_memory_map::*;
  52 `ifdef DEBUG
  53     `include "defines.bsv"
  54 `endif
  55     `include "instance_defines.bsv"
  56     `include "core_parameters.bsv"
  57 {8}
  58
  59     `ifdef DMA
  60         import DMA                               :: *;
  61     `endif
  62     `ifdef BOOTROM
  63         import BootRom                  ::*;
  64     `endif
  65     `ifdef SDRAM
  66         import sdr_top                   :: *;
  67     `endif
  68     `ifdef BRAM
  69         import Memory_AXI4      ::*;
  70     `endif
  71     `ifdef TCMemory
  72         import TCM::*;
  73     `endif
  74     `ifdef Debug
  75         import DebugModule::*;
  76     `else
  77         import core::*;
  78     `endif
  79     `ifdef  VME
  80         import vme_top ::*;
  81     `endif
  82
  83     `ifdef VME
  84         import vme_master::*;
  85     `endif
  86     `ifdef FlexBus
  87         import FlexBus_Types::*;
  88     `endif
  89 {0}
  90
  91     /*========================= */
  92     interface Ifc_Soc;
  93         interface SP_dedicated_ios slow_ios;
  94         interface IOCellSide iocell_side;
  95         (*always_ready,always_enabled*)
  96         method Action boot_sequence(Bit#(1) bootseq);
  97
  98         `ifdef SDRAM
  99             (*always_ready*) interface Ifc_sdram_out sdram_out;
 100         `endif
 101         `ifdef DDR
 102             (*prefix="M_AXI"*) interface
 103                    AXI4_Master_IFC#(`PADDR, `DATA, `USERSPACE) master;
 104         `endif
 105         `ifdef HYPER
 106              (*always_ready,always_enabled*)
 107              interface Ifc_flash ifc_flash;
 108         `endif
 109         /*=============================================== */
 110         `ifdef VME
 111              interface Vme_out  proc_ifc;
 112              interface Data_bus_inf proc_dbus;
 113         `endif
 114 {1}
 115     endinterface
 116
 117     //============ mkSoc module =================
 118
 119     (*synthesize*)
 120     module mkSoc #(Bit#(`VADDR) reset_vector,
 121                  Clock slow_clock, Reset slow_reset, Clock uart_clock,
 122                  Reset uart_reset, Clock clk0, Clock tck, Reset trst
 123                  `ifdef PWM_AXI4Lite ,Clock ext_pwm_clock `endif )(Ifc_Soc);
 124         Clock core_clock <-exposeCurrentClock; // slow peripheral clock
 125         Reset core_reset <-exposeCurrentReset; // slow peripheral reset
 126 {2}
 127         `ifdef Debug
 128             Ifc_DebugModule core<-mkDebugModule(reset_vector);
 129         `else
 130             Ifc_core_AXI4 core <-mkcore_AXI4(reset_vector);
 131         `endif
 132         `ifdef BOOTROM
 133             BootRom_IFC bootrom <-mkBootRom;
 134         `endif
 135         `ifdef SDRAM
 136             Ifc_sdr_slave sdram<- mksdr_axi4_slave(clk0);
 137         `endif
 138         `ifdef BRAM
 139             Memory_IFC#(`SDRAMMemBase,`Addr_space)main_memory <-
 140                         mkMemory("code.mem.MSB","code.mem.LSB","MainMEM");
 141         `endif
 142         `ifdef TCMemory
 143             Ifc_TCM                                     tcm                             <- mkTCM;
 144         `endif
 145         `ifdef DMA
 146             DmaC#(7,`NUM_DMACHANNELS) dma       <- mkDMA();
 147         `endif
 148             `ifdef VME
 149             Ifc_vme_top             vme             <-mkvme_top();
 150             `endif
 151         Ifc_slow_peripherals slow_peripherals <-mkslow_peripherals(
 152                           core_clock, core_reset,
 153                           uart_clock, uart_reset,
 154                           clocked_by slow_clock, reset_by slow_reset
 155                           `ifdef PWM_AXI4Lite , ext_pwm_clock `endif );
 156
 157         // clock sync mkConnections
 158 {12}
 159
 160         // Fabric
 161         AXI4_Fabric_IFC #(Num_Masters, Num_Fast_Slaves,
 162                           `PADDR, `DATA,`USERSPACE)
 163                         fabric <- mkAXI4_Fabric(fn_addr_to_slave_num);
 164
 165         // Connect traffic generators to fabric
 166         mkConnection (core.dmem_master,fabric.v_from_masters
 167                               [fromInteger(valueOf(Dmem_master_num))]);
 168         mkConnection (core.imem_master, fabric.v_from_masters
 169                               [fromInteger(valueOf(Imem_master_num))]);
 170         `ifdef Debug
 171             mkConnection (core.debug_master, fabric.v_from_masters
 172                               [fromInteger(valueOf(Debug_master_num))]);
 173         `endif
 174         `ifdef DMA
 175          mkConnection (dma.mmu, fabric.v_from_masters
 176                               [fromInteger(valueOf(DMA_master_num))]);
 177         `endif
 178 {13}
 179
 180
 181         // Connect fabric to memory slaves
 182             `ifdef Debug
 183                 mkConnection (fabric.v_to_slaves
 184                               [fromInteger(valueOf(Debug_slave_num))],
 185                               core.debug_slave);
 186             `endif
 187             `ifdef SDRAM
 188                 mkConnection (fabric.v_to_slaves
 189                               [fromInteger(valueOf(Sdram_slave_num))],
 190                               sdram.axi4_slave_sdram); //
 191             mkConnection (fabric.v_to_slaves
 192                               [fromInteger(valueOf(Sdram_cfg_slave_num))],
 193                               sdram.axi4_slave_cntrl_reg); //
 194       `endif
 195       `ifdef BRAM
 196                 mkConnection(fabric.v_to_slaves
 197                               [fromInteger(valueOf(Sdram_slave_num))],
 198                               main_memory.axi_slave);
 199             `endif
 200             `ifdef BOOTROM
 201                 mkConnection (fabric.v_to_slaves
 202                               [fromInteger(valueOf(BootRom_slave_num))],
 203                               bootrom.axi_slave);
 204             `endif
 205             `ifdef DMA
 206             mkConnection (fabric.v_to_slaves
 207                               [fromInteger(valueOf(Dma_slave_num))],
 208                               dma.cfg); //DMA slave
 209             `endif
 210             `ifdef TCMemory
 211                 mkConnection (fabric.v_to_slaves
 212                               [fromInteger(valueOf(TCM_slave_num))],
 213                               tcm.axi_slave);
 214             `endif
 215             mkConnection(fabric.v_to_slaves
 216                               [fromInteger(valueOf(SlowPeripheral_slave_num))],
 217                               slow_peripherals.axi_slave);
 218             `ifdef VME
 219                 mkConnection (fabric.v_to_slaves
 220                               [fromInteger(valueOf(VME_slave_num))],
 221                               vme.slave_axi_vme);
 222             `endif
 223
 224 //          pin connections
 225 {9}
 226
 227             // fabric connections
 228 {5}
 229
 230             `ifdef DMA
 231             // rule to connect all interrupt lines to the DMA
 232             // All the interrupt lines to DMA are active
 233             // HIGH. For peripherals that are not connected,
 234             // or those which do not
 235             // generate an interrupt (like TCM), drive a constant 1
 236             // on the corresponding interrupt line.
 237 {7}
 238             `endif
 239
 240
 241         /*==== Synchornization between the JTAG and the Debug Module ===== */
 242         `ifdef Debug
 243             SyncFIFOIfc#(Bit#(40)) sync_request_to_dm <-
 244                                         mkSyncFIFOToCC(1,tck,trst);
 245             SyncFIFOIfc#(Bit#(34)) sync_response_from_dm <-
 246                                         mkSyncFIFOFromCC(1,tck);
 247             rule connect_tap_request_to_syncfifo;
 248                 let x<-tap.request_to_dm;
 249                 sync_request_to_dm.enq(x);
 250             endrule
 251             rule read_synced_request_to_dm;
 252                 sync_request_to_dm.deq;
 253                 core.request_from_dtm(sync_request_to_dm.first);
 254             endrule
 255
 256             rule connect_debug_response_to_syncfifo;
 257                 let x<-core.response_to_dtm;
 258                 sync_response_from_dm.enq(x);
 259             endrule
 260             rule read_synced_response_from_dm;
 261                 sync_response_from_dm.deq;
 262                 tap.response_from_dm(sync_response_from_dm.first);
 263             endrule
 264         `endif
 265         /*============================================================ */
 266
 267         `ifdef FlexBus
 268             //rule drive_flexbus_inputs;
 269                //flexbus.flexbus_side.m_TAn(1'b1);
 270                //flexbus.flexbus_side.m_din(32'haaaaaaaa);
 271             //endrule
 272          `endif
 273
 274         `ifdef CLINT
 275             SyncBitIfc#(Bit#(1)) clint_mtip_int <-
 276                                         mkSyncBitToCC(slow_clock,slow_reset);
 277             SyncBitIfc#(Bit#(1)) clint_msip_int <-
 278                                         mkSyncBitToCC(slow_clock,slow_reset);
 279             Reg#(Bit#(`DATA)) clint_mtime_value <-
 280                                         mkSyncRegToCC(0,slow_clock,slow_reset);
 281             rule synchronize_clint_data;
 282                 clint_mtip_int.send(slow_peripherals.mtip_int);
 283                 clint_msip_int.send(slow_peripherals.msip_int);
 284                 clint_mtime_value<=slow_peripherals.mtime;
 285             endrule
 286             rule connect_msip_mtip_from_clint;
 287                 core.clint_msip(clint_msip_int.read);
 288                 core.clint_mtip(clint_mtip_int.read);
 289             core.clint_mtime(clint_mtime_value);
 290             endrule
 291         `endif
 292         `ifdef PLIC
 293             Reg#(Tuple2#(Bool,Bool)) plic_interrupt_note <-
 294                                         mkSyncRegToCC(tuple2(False,False),
 295                                                       slow_clock,slow_reset);
 296             rule synchronize_interrupts;
 297                 let note <- slow_peripherals.intrpt_note;
 298                 plic_interrupt_note<=note;
 299             endrule
 300             rule rl_send_external_interrupt_to_csr;
 301                 core.set_external_interrupt(plic_interrupt_note);
 302             endrule
 303         `endif
 304
 305         `ifdef VME
 306             interface  proc_ifc = vme.proc_ifc;
 307             interface   proc_dbus = vme.proc_dbus;
 308         `endif
 309          method Action boot_sequence(Bit#(1) bootseq) =
 310                             core.boot_sequence(bootseq);
 311         `ifdef SDRAM
 312             interface sdram_out=sdram.ifc_sdram_out;
 313         `endif
 314         `ifdef DDR
 315           interface master=fabric.v_to_slaves
 316                                 [fromInteger(valueOf(Sdram_slave_num))];
 317         `endif
 318         interface slow_ios = slow_peripherals.slow_ios;
 319         interface iocell_side = slow_peripherals.iocell_side;
 320
 321 {6}
 322     endmodule
 323 endpackage