Michael Schaffner | fc73321 | 2020-07-13 19:26:14 -0700 | [diff] [blame] | 1 | From 50425c66be52b7d97071e285e6899ed4e33484f1 Mon Sep 17 00:00:00 2001 |
| 2 | From: Michael Schaffner <msf@google.com> |
| 3 | Date: Mon, 13 Jul 2020 19:25:04 -0700 |
| 4 | Subject: [PATCH 1/2] Style lint cleanup to make Verible lint happy |
| 5 | |
| 6 | Signed-off-by: Michael Schaffner <msf@google.com> |
| 7 | --- |
| 8 | src/dm_csrs.sv | 6 +++--- |
| 9 | src/dm_mem.sv | 7 +++++-- |
| 10 | src/dm_obi_top.sv | 50 ++++++++++++++++++++++++++--------------------- |
| 11 | src/dm_pkg.sv | 2 +- |
| 12 | src/dm_sba.sv | 6 +++--- |
| 13 | 5 files changed, 40 insertions(+), 31 deletions(-) |
| 14 | |
| 15 | diff --git a/src/dm_csrs.sv b/src/dm_csrs.sv |
| 16 | index 78fd32a..f131392 100644 |
| 17 | --- a/src/dm_csrs.sv |
| 18 | +++ b/src/dm_csrs.sv |
| 19 | @@ -91,8 +91,8 @@ module dm_csrs #( |
| 20 | logic resp_queue_pop; |
| 21 | logic [31:0] resp_queue_data; |
| 22 | |
| 23 | - localparam dm::dm_csr_e DataEnd = dm::dm_csr_e'(dm::Data0 + {4'b0, dm::DataCount} - 8'h01); |
| 24 | - localparam dm::dm_csr_e ProgBufEnd = dm::dm_csr_e'(dm::ProgBuf0 + {4'b0, dm::ProgBufSize} - 8'h01); |
| 25 | + localparam dm::dm_csr_e DataEnd = dm::dm_csr_e'(dm::Data0 + {4'b0, dm::DataCount} - 8'h1); |
| 26 | + localparam dm::dm_csr_e ProgBufEnd = dm::dm_csr_e'(dm::ProgBuf0 + {4'b0, dm::ProgBufSize} - 8'h1); |
| 27 | |
| 28 | logic [31:0] haltsum0, haltsum1, haltsum2, haltsum3; |
| 29 | logic [((NrHarts-1)/2**5 + 1) * 32 - 1 : 0] halted; |
| 30 | @@ -521,7 +521,7 @@ module dm_csrs #( |
| 31 | dmcontrol_d.resumereq = 1'b0; |
| 32 | end |
| 33 | // static values for dcsr |
| 34 | - sbcs_d.sbversion = 3'b1; |
| 35 | + sbcs_d.sbversion = 3'd1; |
| 36 | sbcs_d.sbbusy = sbbusy_i; |
| 37 | sbcs_d.sbasize = $bits(sbcs_d.sbasize)'(BusWidth); |
| 38 | sbcs_d.sbaccess128 = 1'b0; |
| 39 | diff --git a/src/dm_mem.sv b/src/dm_mem.sv |
| 40 | index 6f0da5e..550b7cc 100755 |
| 41 | --- a/src/dm_mem.sv |
| 42 | +++ b/src/dm_mem.sv |
| 43 | @@ -336,7 +336,8 @@ module dm_mem #( |
| 44 | abstract_cmd[0][31:0] = dm::illegal(); |
| 45 | // load debug module base address into a0, this is shared among all commands |
| 46 | abstract_cmd[0][63:32] = HasSndScratch ? dm::auipc(5'd10, '0) : dm::nop(); |
| 47 | - abstract_cmd[1][31:0] = HasSndScratch ? dm::srli(5'd10, 5'd10, 6'd12) : dm::nop(); // clr lowest 12b -> DM base offset |
| 48 | + // clr lowest 12b -> DM base offset |
| 49 | + abstract_cmd[1][31:0] = HasSndScratch ? dm::srli(5'd10, 5'd10, 6'd12) : dm::nop(); |
| 50 | abstract_cmd[1][63:32] = HasSndScratch ? dm::slli(5'd10, 5'd10, 6'd12) : dm::nop(); |
| 51 | abstract_cmd[2][31:0] = dm::nop(); |
| 52 | abstract_cmd[2][63:32] = dm::nop(); |
| 53 | @@ -395,7 +396,9 @@ module dm_mem #( |
| 54 | end |
| 55 | end else if (32'(ac_ar.aarsize) < MaxAar && ac_ar.transfer && !ac_ar.write) begin |
| 56 | // store a0 in dscratch1 |
| 57 | - abstract_cmd[0][31:0] = HasSndScratch ? dm::csrr(dm::CSR_DSCRATCH1, LoadBaseAddr) : dm::nop(); |
| 58 | + abstract_cmd[0][31:0] = HasSndScratch ? |
| 59 | + dm::csrr(dm::CSR_DSCRATCH1, LoadBaseAddr) : |
| 60 | + dm::nop(); |
| 61 | // this range is reserved |
| 62 | if (ac_ar.regno[15:14] != '0) begin |
| 63 | abstract_cmd[0][31:0] = dm::ebreak(); // we leave asap |
| 64 | diff --git a/src/dm_obi_top.sv b/src/dm_obi_top.sv |
| 65 | index 635f37e..190830c 100644 |
| 66 | --- a/src/dm_obi_top.sv |
| 67 | +++ b/src/dm_obi_top.sv |
| 68 | @@ -61,42 +61,48 @@ |
| 69 | //////////////////////////////////////////////////////////////////////////////// |
| 70 | |
| 71 | module dm_obi_top #( |
| 72 | - parameter int unsigned IdWidth = 1, // Width of aid/rid |
| 73 | + parameter int unsigned IdWidth = 1, // Width of aid/rid |
| 74 | parameter int unsigned NrHarts = 1, |
| 75 | parameter int unsigned BusWidth = 32, |
| 76 | - parameter int unsigned DmBaseAddress = 'h1000, // default to non-zero page |
| 77 | + parameter int unsigned DmBaseAddress = 'h1000, // default to non-zero page |
| 78 | // Bitmask to select physically available harts for systems |
| 79 | // that don't use hart numbers in a contiguous fashion. |
| 80 | parameter logic [NrHarts-1:0] SelectableHarts = {NrHarts{1'b1}} |
| 81 | ) ( |
| 82 | - input logic clk_i, // clock |
| 83 | - input logic rst_ni, // asynchronous reset active low, connect PoR here, not the system reset |
| 84 | + input logic clk_i, // clock |
| 85 | + // asynchronous reset active low, connect PoR here, not the system reset |
| 86 | + input logic rst_ni, |
| 87 | input logic testmode_i, |
| 88 | - output logic ndmreset_o, // non-debug module reset |
| 89 | - output logic dmactive_o, // debug module is active |
| 90 | - output logic [NrHarts-1:0] debug_req_o, // async debug request |
| 91 | - input logic [NrHarts-1:0] unavailable_i, // communicate whether the hart is unavailable (e.g.: power down) |
| 92 | + output logic ndmreset_o, // non-debug module reset |
| 93 | + output logic dmactive_o, // debug module is active |
| 94 | + output logic [NrHarts-1:0] debug_req_o, // async debug request |
| 95 | + // communicate whether the hart is unavailable (e.g.: power down) |
| 96 | + input logic [NrHarts-1:0] unavailable_i, |
| 97 | dm::hartinfo_t [NrHarts-1:0] hartinfo_i, |
| 98 | |
| 99 | input logic slave_req_i, |
| 100 | - output logic slave_gnt_o, // OBI grant for slave_req_i (not present on dm_top) |
| 101 | + // OBI grant for slave_req_i (not present on dm_top) |
| 102 | + output logic slave_gnt_o, |
| 103 | input logic slave_we_i, |
| 104 | input logic [BusWidth-1:0] slave_addr_i, |
| 105 | input logic [BusWidth/8-1:0] slave_be_i, |
| 106 | input logic [BusWidth-1:0] slave_wdata_i, |
| 107 | - input logic [IdWidth-1:0] slave_aid_i, // Address phase transaction identifier (not present on dm_top) |
| 108 | - output logic slave_rvalid_o, // OBI rvalid signal (end of response phase for reads/writes) (not present on dm_top) |
| 109 | + // Address phase transaction identifier (not present on dm_top) |
| 110 | + input logic [IdWidth-1:0] slave_aid_i, |
| 111 | + // OBI rvalid signal (end of response phase for reads/writes) (not present on dm_top) |
| 112 | + output logic slave_rvalid_o, |
| 113 | output logic [BusWidth-1:0] slave_rdata_o, |
| 114 | - output logic [IdWidth-1:0] slave_rid_o, // Response phase transaction identifier (not present on dm_top) |
| 115 | + // Response phase transaction identifier (not present on dm_top) |
| 116 | + output logic [IdWidth-1:0] slave_rid_o, |
| 117 | |
| 118 | output logic master_req_o, |
| 119 | - output logic [BusWidth-1:0] master_addr_o, // Renamed according to OBI spec |
| 120 | + output logic [BusWidth-1:0] master_addr_o, // Renamed according to OBI spec |
| 121 | output logic master_we_o, |
| 122 | output logic [BusWidth-1:0] master_wdata_o, |
| 123 | output logic [BusWidth/8-1:0] master_be_o, |
| 124 | input logic master_gnt_i, |
| 125 | - input logic master_rvalid_i, // Renamed according to OBI spec |
| 126 | - input logic [BusWidth-1:0] master_rdata_i, // Renamed according to OBI spec |
| 127 | + input logic master_rvalid_i, // Renamed according to OBI spec |
| 128 | + input logic [BusWidth-1:0] master_rdata_i, // Renamed according to OBI spec |
| 129 | |
| 130 | // Connection to DTM - compatible to RocketChip Debug Module |
| 131 | input logic dmi_rst_ni, |
| 132 | @@ -137,13 +143,13 @@ module dm_obi_top #( |
| 133 | .slave_rdata_o ( slave_rdata_o ), |
| 134 | |
| 135 | .master_req_o ( master_req_o ), |
| 136 | - .master_add_o ( master_addr_o ), // Renamed according to OBI spec |
| 137 | + .master_add_o ( master_addr_o ), // Renamed according to OBI spec |
| 138 | .master_we_o ( master_we_o ), |
| 139 | .master_wdata_o ( master_wdata_o ), |
| 140 | .master_be_o ( master_be_o ), |
| 141 | .master_gnt_i ( master_gnt_i ), |
| 142 | - .master_r_valid_i ( master_rvalid_i ), // Renamed according to OBI spec |
| 143 | - .master_r_rdata_i ( master_rdata_i ), // Renamed according to OBI spec |
| 144 | + .master_r_valid_i ( master_rvalid_i ), // Renamed according to OBI spec |
| 145 | + .master_r_rdata_i ( master_rdata_i ), // Renamed according to OBI spec |
| 146 | |
| 147 | .dmi_rst_ni ( dmi_rst_ni ), |
| 148 | .dmi_req_valid_i ( dmi_req_valid_i ), |
| 149 | @@ -165,16 +171,16 @@ module dm_obi_top #( |
| 150 | slave_rvalid_q <= 1'b0; |
| 151 | slave_rid_q <= 'b0; |
| 152 | end else begin |
| 153 | - if (slave_req_i && slave_gnt_o) begin // 1 cycle pulse on rvalid for every granted request |
| 154 | + if (slave_req_i && slave_gnt_o) begin // 1 cycle pulse on rvalid for every granted request |
| 155 | slave_rvalid_q <= 1'b1; |
| 156 | - slave_rid_q <= slave_aid_i; // Mirror aid to rid |
| 157 | + slave_rid_q <= slave_aid_i; // Mirror aid to rid |
| 158 | end else begin |
| 159 | - slave_rvalid_q <= 1'b0; // rid is don't care if rvalid = 0 |
| 160 | + slave_rvalid_q <= 1'b0; // rid is don't care if rvalid = 0 |
| 161 | end |
| 162 | end |
| 163 | end |
| 164 | |
| 165 | - assign slave_gnt_o = 1'b1; // Always receptive to request (slave_req_i) |
| 166 | + assign slave_gnt_o = 1'b1; // Always receptive to request (slave_req_i) |
| 167 | assign slave_rvalid_o = slave_rvalid_q; |
| 168 | assign slave_rid_o = slave_rid_q; |
| 169 | |
| 170 | diff --git a/src/dm_pkg.sv b/src/dm_pkg.sv |
| 171 | index de75c3e..1b7d0f5 100644 |
| 172 | --- a/src/dm_pkg.sv |
| 173 | +++ b/src/dm_pkg.sv |
| 174 | @@ -201,7 +201,7 @@ package dm; |
| 175 | logic sbaccess8; |
| 176 | } sbcs_t; |
| 177 | |
| 178 | - localparam logic[1:0] DTM_SUCCESS = 2'h0; |
| 179 | + localparam logic [1:0] DTM_SUCCESS = 2'h0; |
| 180 | |
| 181 | typedef struct packed { |
| 182 | logic [6:0] addr; |
| 183 | diff --git a/src/dm_sba.sv b/src/dm_sba.sv |
| 184 | index f605088..c97f956 100644 |
| 185 | --- a/src/dm_sba.sv |
| 186 | +++ b/src/dm_sba.sv |
| 187 | @@ -104,7 +104,7 @@ module dm_sba #( |
| 188 | be[int'({be_idx[$high(be_idx):1], 1'b0}) +: 2] = '1; |
| 189 | end |
| 190 | 3'b010: begin |
| 191 | - if (BusWidth == 32'd64) be[int'({be_idx[$high(be_idx)], 2'b0}) +: 4] = '1; |
| 192 | + if (BusWidth == 32'd64) be[int'({be_idx[$high(be_idx)], 2'h0}) +: 4] = '1; |
| 193 | else be = '1; |
| 194 | end |
| 195 | 3'b011: be = '1; |
| 196 | @@ -117,7 +117,7 @@ module dm_sba #( |
| 197 | if (sbdata_valid_o) begin |
| 198 | state_d = Idle; |
| 199 | // auto-increment address |
| 200 | - if (sbautoincrement_i) sbaddress_o = sbaddress_i + (32'b1 << sbaccess_i); |
| 201 | + if (sbautoincrement_i) sbaddress_o = sbaddress_i + (32'h1 << sbaccess_i); |
| 202 | end |
| 203 | end |
| 204 | |
| 205 | @@ -125,7 +125,7 @@ module dm_sba #( |
| 206 | if (sbdata_valid_o) begin |
| 207 | state_d = Idle; |
| 208 | // auto-increment address |
| 209 | - if (sbautoincrement_i) sbaddress_o = sbaddress_i + (32'b1 << sbaccess_i); |
| 210 | + if (sbautoincrement_i) sbaddress_o = sbaddress_i + (32'h1 << sbaccess_i); |
| 211 | end |
| 212 | end |
| 213 | |
| 214 | -- |
Michael Schaffner | 5cbdefa | 2020-07-17 15:37:04 -0700 | [diff] [blame] | 215 | 2.28.0.rc0.105.gf9edc3c819-goog |
Michael Schaffner | fc73321 | 2020-07-13 19:26:14 -0700 | [diff] [blame] | 216 | |