Line data Source code
1 : // SPDX-License-Identifier: Apache-2.0
2 : // Copyright 2020 Western Digital Corporation or its affiliates.
3 : //
4 : // Licensed under the Apache License, Version 2.0 (the "License");
5 : // you may not use this file except in compliance with the License.
6 : // You may obtain a copy of the License at
7 : //
8 : // http://www.apache.org/licenses/LICENSE-2.0
9 : //
10 : // Unless required by applicable law or agreed to in writing, software
11 : // distributed under the License is distributed on an "AS IS" BASIS,
12 : // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 : // See the License for the specific language governing permissions and
14 : // limitations under the License.
15 :
16 : //********************************************************************************
17 : // $Id$
18 : //
19 : //
20 : // Owner:
21 : // Function: lsu interface with interface queue
22 : // Comments:
23 : //
24 : //********************************************************************************
25 : module el2_lsu_bus_intf
26 : import el2_pkg::*;
27 : #(
28 : `include "el2_param.vh"
29 : )(
30 115884880 : input logic clk, // Clock only while core active. Through one clock header. For flops with second clock header built in. Connected to ACTIVE_L2CLK.
31 2 : input logic clk_override, // Override non-functional clock gating
32 299 : input logic rst_l, // reset, active low
33 : // Excluding scan_mode from coverage as its usage is determined by the integrator of the VeeR core.
34 : /*pragma coverage off*/
35 : input logic scan_mode, // scan mode
36 : /*pragma coverage on*/
37 0 : input logic dec_tlu_external_ldfwd_disable, // disable load to load forwarding for externals
38 9 : input logic dec_tlu_wb_coalescing_disable, // disable write buffer coalescing
39 283 : input logic dec_tlu_sideeffect_posted_disable, // disable the posted sideeffect load store to the bus
40 :
41 : // various clocks needed for the bus reads and writes
42 2319254 : input logic lsu_bus_obuf_c1_clken, // obuf clock enable
43 1219435 : input logic lsu_busm_clken, // bus clock enable
44 :
45 115884880 : input logic lsu_c1_r_clk, // r pipe single pulse clock
46 115884880 : input logic lsu_c2_r_clk, // r pipe double pulse clock
47 115884880 : input logic lsu_bus_ibuf_c1_clk, // ibuf single pulse clock
48 0 : input logic lsu_bus_obuf_c1_clk, // obuf single pulse clock
49 115884880 : input logic lsu_bus_buf_c1_clk, // buf single pulse clock
50 115884880 : input logic lsu_free_c2_clk, // free clock double pulse clock
51 115884880 : input logic active_clk, // Clock only while core active. Through two clock headers. For flops without second clock header built in.
52 0 : input logic lsu_busm_clk, // bus clock
53 :
54 3803483 : input logic dec_lsu_valid_raw_d, // Raw valid for address computation
55 1877441 : input logic lsu_busreq_m, // bus request is in m
56 :
57 3807141 : input el2_lsu_pkt_t lsu_pkt_m, // lsu packet flowing down the pipe
58 3807139 : input el2_lsu_pkt_t lsu_pkt_r, // lsu packet flowing down the pipe
59 :
60 1876037 : input logic [31:0] lsu_addr_m, // lsu address flowing down the pipe
61 1866834 : input logic [31:0] lsu_addr_r, // lsu address flowing down the pipe
62 :
63 1876261 : input logic [31:0] end_addr_m, // lsu address flowing down the pipe
64 1867058 : input logic [31:0] end_addr_r, // lsu address flowing down the pipe
65 :
66 350196 : input logic [31:0] store_data_r, // store data flowing down the pipe
67 0 : input logic dec_tlu_force_halt,
68 :
69 2572720 : input logic lsu_commit_r, // lsu instruction in r commits
70 20722 : input logic is_sideeffects_m, // lsu attribute is side_effects
71 1277508 : input logic flush_m_up, // flush
72 252372 : input logic flush_r, // flush
73 26182 : input logic ldst_dual_d, ldst_dual_m, ldst_dual_r,
74 :
75 1868284 : output logic lsu_busreq_r, // bus request is in r
76 778481 : output logic lsu_bus_buffer_pend_any, // bus buffer has a pending bus entry
77 259452 : output logic lsu_bus_buffer_full_any, // write buffer is full
78 1295586 : output logic lsu_bus_buffer_empty_any, // write buffer is empty
79 22074 : output logic [31:0] bus_read_data_m, // the bus return data
80 :
81 :
82 2 : output logic lsu_imprecise_error_load_any, // imprecise load bus error
83 2 : output logic lsu_imprecise_error_store_any, // imprecise store bus error
84 788355 : output logic [31:0] lsu_imprecise_error_addr_any, // address of the imprecise error
85 :
86 : // Non-blocking loads
87 1109559 : output logic lsu_nonblock_load_valid_m, // there is an external load -> put in the cam
88 1651331 : output logic [pt.LSU_NUM_NBLOAD_WIDTH-1:0] lsu_nonblock_load_tag_m, // the tag of the external non block load
89 0 : output logic lsu_nonblock_load_inv_r, // invalidate signal for the cam entry for non block loads
90 1651329 : output logic [pt.LSU_NUM_NBLOAD_WIDTH-1:0] lsu_nonblock_load_inv_tag_r, // tag of the enrty which needs to be invalidated
91 1129044 : output logic lsu_nonblock_load_data_valid,// the non block is valid - sending information back to the cam
92 2 : output logic lsu_nonblock_load_data_error,// non block load has an error
93 435592 : output logic [pt.LSU_NUM_NBLOAD_WIDTH-1:0] lsu_nonblock_load_data_tag, // the tag of the non block load sending the data/error
94 332494 : output logic [31:0] lsu_nonblock_load_data, // Data of the non block load
95 :
96 : // PMU events
97 1860410 : output logic lsu_pmu_bus_trxn,
98 25958 : output logic lsu_pmu_bus_misaligned,
99 4 : output logic lsu_pmu_bus_error,
100 47098 : output logic lsu_pmu_bus_busy,
101 :
102 : // AXI Write Channels
103 820482 : output logic lsu_axi_awvalid,
104 1365255 : input logic lsu_axi_awready,
105 607034 : output logic [pt.LSU_BUS_TAG-1:0] lsu_axi_awid,
106 614263 : output logic [31:0] lsu_axi_awaddr,
107 224636 : output logic [3:0] lsu_axi_awregion,
108 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
109 : /*pragma coverage off*/
110 : output logic [7:0] lsu_axi_awlen,
111 : /*pragma coverage on*/
112 3043 : output logic [2:0] lsu_axi_awsize,
113 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
114 : /*pragma coverage off*/
115 : output logic [1:0] lsu_axi_awburst,
116 : output logic lsu_axi_awlock,
117 : /*pragma coverage on*/
118 1957 : output logic [3:0] lsu_axi_awcache,
119 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
120 : /*pragma coverage off*/
121 : output logic [2:0] lsu_axi_awprot,
122 : output logic [3:0] lsu_axi_awqos,
123 : /*pragma coverage on*/
124 :
125 820482 : output logic lsu_axi_wvalid,
126 1365255 : input logic lsu_axi_wready,
127 217764 : output logic [63:0] lsu_axi_wdata,
128 430439 : output logic [7:0] lsu_axi_wstrb,
129 298 : output logic lsu_axi_wlast,
130 :
131 828182 : input logic lsu_axi_bvalid,
132 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
133 : /*pragma coverage off*/
134 : output logic lsu_axi_bready,
135 : /*pragma coverage on*/
136 2 : input logic [1:0] lsu_axi_bresp,
137 332383 : input logic [pt.LSU_BUS_TAG-1:0] lsu_axi_bid,
138 :
139 : // AXI Read Channels
140 1103398 : output logic lsu_axi_arvalid,
141 1381994 : input logic lsu_axi_arready,
142 607034 : output logic [pt.LSU_BUS_TAG-1:0] lsu_axi_arid,
143 614263 : output logic [31:0] lsu_axi_araddr,
144 224636 : output logic [3:0] lsu_axi_arregion,
145 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
146 : /*pragma coverage off*/
147 : output logic [7:0] lsu_axi_arlen,
148 : /*pragma coverage on*/
149 3043 : output logic [2:0] lsu_axi_arsize,
150 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
151 : /*pragma coverage off*/
152 : output logic [1:0] lsu_axi_arburst,
153 : output logic lsu_axi_arlock,
154 : /*pragma coverage on*/
155 1957 : output logic [3:0] lsu_axi_arcache,
156 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
157 : /*pragma coverage off*/
158 : output logic [2:0] lsu_axi_arprot,
159 : output logic [3:0] lsu_axi_arqos,
160 : /*pragma coverage on*/
161 :
162 1135692 : input logic lsu_axi_rvalid,
163 : /* exclude signals that are tied to constant value in el2_lsu_bus_buffer.sv */
164 : /*pragma coverage off*/
165 : output logic lsu_axi_rready,
166 : /*pragma coverage on*/
167 258175 : input logic [pt.LSU_BUS_TAG-1:0] lsu_axi_rid,
168 97123 : input logic [63:0] lsu_axi_rdata,
169 2 : input logic [1:0] lsu_axi_rresp,
170 :
171 327 : input logic lsu_bus_clk_en
172 :
173 : );
174 :
175 :
176 :
177 329 : logic lsu_bus_clk_en_q;
178 :
179 1701165 : logic [3:0] ldst_byteen_m, ldst_byteen_r;
180 1988166 : logic [7:0] ldst_byteen_ext_m, ldst_byteen_ext_r;
181 26268 : logic [3:0] ldst_byteen_hi_m, ldst_byteen_hi_r;
182 1988166 : logic [3:0] ldst_byteen_lo_m, ldst_byteen_lo_r;
183 20721 : logic is_sideeffects_r;
184 :
185 315776 : logic [63:0] store_data_ext_r;
186 2968 : logic [31:0] store_data_hi_r;
187 315776 : logic [31:0] store_data_lo_r;
188 :
189 2221433 : logic addr_match_dw_lo_r_m;
190 1866688 : logic addr_match_word_lo_r_m;
191 410815 : logic no_word_merge_r, no_dword_merge_r;
192 :
193 480 : logic ld_addr_rhit_lo_lo, ld_addr_rhit_hi_lo, ld_addr_rhit_lo_hi, ld_addr_rhit_hi_hi;
194 178 : logic [3:0] ld_byte_rhit_lo_lo, ld_byte_rhit_hi_lo, ld_byte_rhit_lo_hi, ld_byte_rhit_hi_hi;
195 :
196 24498 : logic [3:0] ld_byte_hit_lo, ld_byte_rhit_lo;
197 832 : logic [3:0] ld_byte_hit_hi, ld_byte_rhit_hi;
198 :
199 122 : logic [31:0] ld_fwddata_rpipe_lo;
200 14 : logic [31:0] ld_fwddata_rpipe_hi;
201 :
202 24356 : logic [3:0] ld_byte_hit_buf_lo, ld_byte_hit_buf_hi;
203 19720 : logic [31:0] ld_fwddata_buf_lo, ld_fwddata_buf_hi;
204 :
205 19770 : logic [63:0] ld_fwddata_lo, ld_fwddata_hi;
206 22074 : logic [63:0] ld_fwddata_m;
207 :
208 58388 : logic ld_full_hit_hi_m, ld_full_hit_lo_m;
209 9314 : logic ld_full_hit_m;
210 :
211 : assign ldst_byteen_m[3:0] = ({4{lsu_pkt_m.by}} & 4'b0001) |
212 : ({4{lsu_pkt_m.half}} & 4'b0011) |
213 : ({4{lsu_pkt_m.word}} & 4'b1111);
214 :
215 : // Read/Write Buffer
216 : el2_lsu_bus_buffer #(.pt(pt)) bus_buffer (
217 : .*
218 : );
219 :
220 : // Logic to determine if dc5 store can be coalesced or not with younger stores. Bypass ibuf if cannot colaesced
221 : assign addr_match_dw_lo_r_m = (lsu_addr_r[31:3] == lsu_addr_m[31:3]);
222 : assign addr_match_word_lo_r_m = addr_match_dw_lo_r_m & ~(lsu_addr_r[2]^lsu_addr_m[2]);
223 :
224 : assign no_word_merge_r = lsu_busreq_r & ~ldst_dual_r & lsu_busreq_m & (lsu_pkt_m.load | ~addr_match_word_lo_r_m);
225 : assign no_dword_merge_r = lsu_busreq_r & ~ldst_dual_r & lsu_busreq_m & (lsu_pkt_m.load | ~addr_match_dw_lo_r_m);
226 :
227 : // Create Hi/Lo signals
228 : assign ldst_byteen_ext_m[7:0] = {4'b0,ldst_byteen_m[3:0]} << lsu_addr_m[1:0];
229 : assign ldst_byteen_ext_r[7:0] = {4'b0,ldst_byteen_r[3:0]} << lsu_addr_r[1:0];
230 :
231 : assign store_data_ext_r[63:0] = {32'b0,store_data_r[31:0]} << {lsu_addr_r[1:0],3'b0};
232 :
233 : assign ldst_byteen_hi_m[3:0] = ldst_byteen_ext_m[7:4];
234 : assign ldst_byteen_lo_m[3:0] = ldst_byteen_ext_m[3:0];
235 : assign ldst_byteen_hi_r[3:0] = ldst_byteen_ext_r[7:4];
236 : assign ldst_byteen_lo_r[3:0] = ldst_byteen_ext_r[3:0];
237 :
238 : assign store_data_hi_r[31:0] = store_data_ext_r[63:32];
239 : assign store_data_lo_r[31:0] = store_data_ext_r[31:0];
240 :
241 : assign ld_addr_rhit_lo_lo = (lsu_addr_m[31:2] == lsu_addr_r[31:2]) & lsu_pkt_r.valid & lsu_pkt_r.store & lsu_busreq_m & lsu_busreq_r;
242 : assign ld_addr_rhit_lo_hi = (end_addr_m[31:2] == lsu_addr_r[31:2]) & lsu_pkt_r.valid & lsu_pkt_r.store & lsu_busreq_m & lsu_busreq_r;
243 : assign ld_addr_rhit_hi_lo = (lsu_addr_m[31:2] == end_addr_r[31:2]) & lsu_pkt_r.valid & lsu_pkt_r.store & lsu_busreq_m & lsu_busreq_r;
244 : assign ld_addr_rhit_hi_hi = (end_addr_m[31:2] == end_addr_r[31:2]) & lsu_pkt_r.valid & lsu_pkt_r.store & lsu_busreq_m & lsu_busreq_r;
245 :
246 : for (genvar i=0; i<4; i++) begin: GenBusBufFwd
247 : assign ld_byte_rhit_lo_lo[i] = ld_addr_rhit_lo_lo & ldst_byteen_lo_r[i] & ldst_byteen_lo_m[i];
248 : assign ld_byte_rhit_lo_hi[i] = ld_addr_rhit_lo_hi & ldst_byteen_lo_r[i] & ldst_byteen_hi_m[i];
249 : assign ld_byte_rhit_hi_lo[i] = ld_addr_rhit_hi_lo & ldst_byteen_hi_r[i] & ldst_byteen_lo_m[i];
250 : assign ld_byte_rhit_hi_hi[i] = ld_addr_rhit_hi_hi & ldst_byteen_hi_r[i] & ldst_byteen_hi_m[i];
251 :
252 : assign ld_byte_hit_lo[i] = ld_byte_rhit_lo_lo[i] | ld_byte_rhit_hi_lo[i] |
253 : ld_byte_hit_buf_lo[i];
254 :
255 : assign ld_byte_hit_hi[i] = ld_byte_rhit_lo_hi[i] | ld_byte_rhit_hi_hi[i] |
256 : ld_byte_hit_buf_hi[i];
257 :
258 : assign ld_byte_rhit_lo[i] = ld_byte_rhit_lo_lo[i] | ld_byte_rhit_hi_lo[i];
259 : assign ld_byte_rhit_hi[i] = ld_byte_rhit_lo_hi[i] | ld_byte_rhit_hi_hi[i];
260 :
261 : assign ld_fwddata_rpipe_lo[(8*i)+7:(8*i)] = ({8{ld_byte_rhit_lo_lo[i]}} & store_data_lo_r[(8*i)+7:(8*i)]) |
262 : ({8{ld_byte_rhit_hi_lo[i]}} & store_data_hi_r[(8*i)+7:(8*i)]);
263 :
264 : assign ld_fwddata_rpipe_hi[(8*i)+7:(8*i)] = ({8{ld_byte_rhit_lo_hi[i]}} & store_data_lo_r[(8*i)+7:(8*i)]) |
265 : ({8{ld_byte_rhit_hi_hi[i]}} & store_data_hi_r[(8*i)+7:(8*i)]);
266 :
267 : // Final muxing between m/r
268 : assign ld_fwddata_lo[(8*i)+7:(8*i)] = ld_byte_rhit_lo[i] ? ld_fwddata_rpipe_lo[(8*i)+7:(8*i)] : ld_fwddata_buf_lo[(8*i)+7:(8*i)];
269 :
270 : assign ld_fwddata_hi[(8*i)+7:(8*i)] = ld_byte_rhit_hi[i] ? ld_fwddata_rpipe_hi[(8*i)+7:(8*i)] : ld_fwddata_buf_hi[(8*i)+7:(8*i)];
271 :
272 : end
273 :
274 298 : always_comb begin
275 298 : ld_full_hit_lo_m = 1'b1;
276 298 : ld_full_hit_hi_m = 1'b1;
277 1192 : for (int i=0; i<4; i++) begin
278 1192 : ld_full_hit_lo_m &= (ld_byte_hit_lo[i] | ~ldst_byteen_lo_m[i]);
279 1192 : ld_full_hit_hi_m &= (ld_byte_hit_hi[i] | ~ldst_byteen_hi_m[i]);
280 : end
281 : end
282 :
283 : // This will be high if all the bytes of load hit the stores in pipe/write buffer (m/r/wrbuf)
284 : assign ld_full_hit_m = ld_full_hit_lo_m & ld_full_hit_hi_m & lsu_busreq_m & lsu_pkt_m.load & ~is_sideeffects_m;
285 :
286 : assign ld_fwddata_m[63:0] = 64'({ld_fwddata_hi[31:0], ld_fwddata_lo[31:0]} >> (8*lsu_addr_m[1:0]));
287 : assign bus_read_data_m[31:0] = ld_fwddata_m[31:0];
288 :
289 : // Fifo flops
290 :
291 : rvdff #(.WIDTH(1)) clken_ff (.din(lsu_bus_clk_en), .dout(lsu_bus_clk_en_q), .clk(active_clk), .*);
292 :
293 : rvdff #(.WIDTH(1)) is_sideeffects_rff (.din(is_sideeffects_m), .dout(is_sideeffects_r), .clk(lsu_c1_r_clk), .*);
294 :
295 : rvdff #(4) lsu_byten_rff (.*, .din(ldst_byteen_m[3:0]), .dout(ldst_byteen_r[3:0]), .clk(lsu_c1_r_clk));
296 :
297 : `ifdef RV_ASSERT_ON
298 :
299 : // Assertion to check AXI write address is aligned to size
300 : property lsu_axi_awaddr_aligned;
301 : @(posedge lsu_busm_clk) disable iff(~rst_l) lsu_axi_awvalid |-> ((lsu_axi_awsize[2:0] == 3'h0) |
302 : ((lsu_axi_awsize[2:0] == 3'h1) & (lsu_axi_awaddr[0] == 1'b0)) |
303 : ((lsu_axi_awsize[2:0] == 3'h2) & (lsu_axi_awaddr[1:0] == 2'b0)) |
304 : ((lsu_axi_awsize[2:0] == 3'h3) & (lsu_axi_awaddr[2:0] == 3'b0)));
305 : endproperty
306 : assert_lsu_axi_awaddr_aligned: assert property (lsu_axi_awaddr_aligned) else
307 : $display("Assertion lsu_axi_awaddr_aligned failed: lsu_axi_awvalid=1'b%b, lsu_axi_awsize=3'h%h, lsu_axi_awaddr=32'h%h",lsu_axi_awvalid, lsu_axi_awsize[2:0], lsu_axi_awaddr[31:0]);
308 : // Assertion to check awvalid stays stable during entire bus clock
309 :
310 : // Assertion to check AXI read address is aligned to size
311 : property lsu_axi_araddr_aligned;
312 : @(posedge lsu_busm_clk) disable iff(~rst_l) lsu_axi_arvalid |-> ((lsu_axi_arsize[2:0] == 3'h0) |
313 : ((lsu_axi_arsize[2:0] == 3'h1) & (lsu_axi_araddr[0] == 1'b0)) |
314 : ((lsu_axi_arsize[2:0] == 3'h2) & (lsu_axi_araddr[1:0] == 2'b0)) |
315 : ((lsu_axi_arsize[2:0] == 3'h3) & (lsu_axi_araddr[2:0] == 3'b0)));
316 : endproperty
317 : assert_lsu_axi_araddr_aligned: assert property (lsu_axi_araddr_aligned) else
318 : $display("Assertion lsu_axi_araddr_aligned failed: lsu_axi_awvalid=1'b%b, lsu_axi_awsize=3'h%h, lsu_axi_araddr=32'h%h",lsu_axi_awvalid, lsu_axi_awsize[2:0], lsu_axi_araddr[31:0]);
319 :
320 : // Assertion to check awvalid stays stable during entire bus clock
321 : property lsu_axi_awvalid_stable;
322 : @(posedge clk) disable iff(~rst_l) (lsu_axi_awvalid != $past(lsu_axi_awvalid)) |-> ($past(lsu_bus_clk_en) | dec_tlu_force_halt);
323 : endproperty
324 : assert_lsu_axi_awvalid_stable: assert property (lsu_axi_awvalid_stable) else
325 : $display("LSU AXI awvalid changed in middle of bus clock");
326 :
327 : // Assertion to check awid stays stable during entire bus clock
328 : property lsu_axi_awid_stable;
329 : @(posedge clk) disable iff(~rst_l) (lsu_axi_awvalid & (lsu_axi_awid[pt.LSU_BUS_TAG-1:0] != $past(lsu_axi_awid[pt.LSU_BUS_TAG-1:0]))) |-> $past(lsu_bus_clk_en);
330 : endproperty
331 : assert_lsu_axi_awid_stable: assert property (lsu_axi_awid_stable) else
332 : $display("LSU AXI awid changed in middle of bus clock");
333 :
334 : // Assertion to check awaddr stays stable during entire bus clock
335 : property lsu_axi_awaddr_stable;
336 : @(posedge clk) disable iff(~rst_l) (lsu_axi_awvalid & (lsu_axi_awaddr[31:0] != $past(lsu_axi_awaddr[31:0]))) |-> $past(lsu_bus_clk_en);
337 : endproperty
338 : assert_lsu_axi_awaddr_stable: assert property (lsu_axi_awaddr_stable) else
339 : $display("LSU AXI awaddr changed in middle of bus clock");
340 :
341 : // Assertion to check awsize stays stable during entire bus clock
342 : property lsu_axi_awsize_stable;
343 : @(posedge clk) disable iff(~rst_l) (lsu_axi_awvalid & (lsu_axi_awsize[2:0] != $past(lsu_axi_awsize[2:0]))) |-> $past(lsu_bus_clk_en);
344 : endproperty
345 : assert_lsu_axi_awsize_stable: assert property (lsu_axi_awsize_stable) else
346 : $display("LSU AXI awsize changed in middle of bus clock");
347 :
348 : // Assertion to check wstrb stays stable during entire bus clock
349 : property lsu_axi_wstrb_stable;
350 : @(posedge clk) disable iff(~rst_l) (lsu_axi_wvalid & (lsu_axi_wstrb[7:0] != $past(lsu_axi_wstrb[7:0]))) |-> $past(lsu_bus_clk_en);
351 : endproperty
352 : assert_lsu_axi_wstrb_stable: assert property (lsu_axi_wstrb_stable) else
353 : $display("LSU AXI wstrb changed in middle of bus clock");
354 :
355 : // Assertion to check wdata stays stable during entire bus clock
356 : property lsu_axi_wdata_stable;
357 : @(posedge clk) disable iff(~rst_l) (lsu_axi_wvalid & (lsu_axi_wdata[63:0] != $past(lsu_axi_wdata[63:0]))) |-> $past(lsu_bus_clk_en);
358 : endproperty
359 : assert_lsu_axi_wdata_stable: assert property (lsu_axi_wdata_stable) else
360 : $display("LSU AXI wdata changed in middle of bus clock");
361 :
362 : // Assertion to check awvalid stays stable during entire bus clock
363 : property lsu_axi_arvalid_stable;
364 : @(posedge clk) disable iff(~rst_l) (lsu_axi_arvalid != $past(lsu_axi_arvalid)) |-> ($past(lsu_bus_clk_en) | dec_tlu_force_halt);
365 : endproperty
366 : assert_lsu_axi_arvalid_stable: assert property (lsu_axi_arvalid_stable) else
367 : $display("LSU AXI awvalid changed in middle of bus clock");
368 :
369 : // Assertion to check awid stays stable during entire bus clock
370 : property lsu_axi_arid_stable;
371 : @(posedge clk) disable iff(~rst_l) (lsu_axi_arvalid & (lsu_axi_arid[pt.LSU_BUS_TAG-1:0] != $past(lsu_axi_arid[pt.LSU_BUS_TAG-1:0]))) |-> $past(lsu_bus_clk_en);
372 : endproperty
373 : assert_lsu_axi_arid_stable: assert property (lsu_axi_arid_stable) else
374 : $display("LSU AXI awid changed in middle of bus clock");
375 :
376 : // Assertion to check awaddr stays stable during entire bus clock
377 : property lsu_axi_araddr_stable;
378 : @(posedge clk) disable iff(~rst_l) (lsu_axi_arvalid & (lsu_axi_araddr[31:0] != $past(lsu_axi_araddr[31:0]))) |-> $past(lsu_bus_clk_en);
379 : endproperty
380 : assert_lsu_axi_araddr_stable: assert property (lsu_axi_araddr_stable) else
381 : $display("LSU AXI awaddr changed in middle of bus clock");
382 :
383 : // Assertion to check awsize stays stable during entire bus clock
384 : property lsu_axi_arsize_stable;
385 : @(posedge clk) disable iff(~rst_l) (lsu_axi_awvalid & (lsu_axi_arsize[2:0] != $past(lsu_axi_arsize[2:0]))) |-> $past(lsu_bus_clk_en);
386 : endproperty
387 : assert_lsu_axi_arsize_stable: assert property (lsu_axi_arsize_stable) else
388 : $display("LSU AXI awsize changed in middle of bus clock");
389 :
390 : `endif
391 :
392 : endmodule // el2_lsu_bus_intf
|
