Unified Coverage Report :: Module :: i2c_fifo_sync_sram_adapter

Module : i2c_fifo_sync_sram_adapter

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.59	100.00	82.35			100.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_08/i2c-sim-vcs/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_fifo_sync_sram_adapter.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter	93.63	100.00	74.51			100.00	100.00
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter	93.63	100.00	74.51			100.00	100.00
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter	94.12	100.00	76.47			100.00	100.00
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter	95.59	100.00	82.35			100.00	100.00

---

Module Instance : tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.63	100.00	74.51			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.54	100.00	83.65			98.51	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
80.00	100.00				100.00	40.00	u_fifos

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_inp_buf	94.32	100.00	81.82			95.45	100.00
u_oup_buf	97.16	100.00	88.64			100.00	100.00
u_sram_ptrs	100.00	100.00	100.00			100.00

---

Module Instance : tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.63	100.00	74.51			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.54	100.00	83.65			98.51	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
80.00	100.00				100.00	40.00	u_fifos

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_inp_buf	94.32	100.00	81.82			95.45	100.00
u_oup_buf	97.16	100.00	88.64			100.00	100.00
u_sram_ptrs	100.00	100.00	100.00			100.00

---

Module Instance : tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
94.12	100.00	76.47			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
94.69	100.00	81.76			97.01	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
80.00	100.00				100.00	40.00	u_fifos

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_inp_buf	90.91	100.00	72.73			90.91	100.00
u_oup_buf	97.16	100.00	88.64			100.00	100.00
u_sram_ptrs	100.00	100.00	100.00			100.00

---

Module Instance : tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.59	100.00	82.35			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.32	100.00	86.79			98.51	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
80.00	100.00				100.00	40.00	u_fifos

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_inp_buf	94.32	100.00	81.82			95.45	100.00
u_oup_buf	97.73	100.00	90.91			100.00	100.00
u_sram_ptrs	100.00	100.00	100.00			100.00

Line Coverage for Module : i2c_fifo_sync_sram_adapter ( parameter Width=13,Depth=64,SramAw=9,SramBaseAddr,DepthW=7,OupBufDepth=2,InpBufDepthW=2,OupBufDepthW=2,SramPtrW=6,SramDepthW=6,SramAddrLeadingZeros=3 )
Line Coverage for Module self-instances :

SCORE	LINE
93.63	100.00

tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

SCORE	LINE
94.12	100.00

tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

SCORE	LINE
93.63	100.00

tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	153	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153        1/1              assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
154        1/1              assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
155                       end else begin : gen_no_zero_extend_sram_addrs
156                         assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
157                         assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T2 T4 T5 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T2 T4 T5 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T2 T4 T5 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T2 T3 T4 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T2 T4 T5 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T2 T4 T5 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T2 T4 T5 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T2 T3 T4 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T2 T3 T4 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T2 T3 T4 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T2 T3 T4 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Line Coverage for Module : i2c_fifo_sync_sram_adapter ( parameter Width=13,Depth=268,SramAw=9,SramBaseAddr=192,DepthW=9,OupBufDepth=2,InpBufDepthW=2,OupBufDepthW=2,SramPtrW=9,SramDepthW=9,SramAddrLeadingZeros=0 )
Line Coverage for Module self-instances :

SCORE	LINE
95.59	100.00

tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	156	1	1	100.00
CONT_ASSIGN	157	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153                         assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
154                         assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
155                       end else begin : gen_no_zero_extend_sram_addrs
156        1/1              assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
           Tests:       T1 T2 T3 
157        1/1              assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
           Tests:       T1 T2 T3 
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T10 T45 T46 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T10 T45 T46 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T10 T45 T46 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T10 T45 T46 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T10 T45 T46 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T10 T45 T46 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T10 T45 T46 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T10 T45 T46 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T10 T45 T46 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T10 T45 T46 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T10 T45 T46 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Cond Coverage for Module : i2c_fifo_sync_sram_adapter

	Total	Covered	Percent
Conditions	51	42	82.35
Logical	51	42	82.35
Non-Logical	0	0
Event	0	0

 LINE       120
 EXPRESSION (fifo_wvalid_i && fifo_wready_o)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T10,T53
1	1	Covered	T2,T3,T4

 LINE       125
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T2,T3,T4

 LINE       150
 EXPRESSION (sram_access && sram_write_o)
             -----1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T4,T5
1	1	Covered	T2,T3,T4

 LINE       151
 EXPRESSION (sram_access && ((!sram_write_o)))
             -----1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       162
 EXPRESSION (clr_i ? 1'b0 : sram_incr_rd_ptr)
             --1--

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       196
 EXPRESSION (( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) ) || (fifo_rvalid_o && fifo_rready_i))
             -------------------------------1-------------------------------    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T2,T3,T4
0	1	Covered	T2,T4,T5
1	0	Covered	T10,T149

 LINE       196
 SUB-EXPRESSION ( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) )
                    ----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T10,T149
1	Covered	T2,T3,T4

 LINE       196
 SUB-EXPRESSION ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -------------------1-------------------    ------2-----

-1-	-2-	Status	Tests
0	0	Covered	T10,T149
0	1	Covered	T2,T3,T4
1	0	Covered	T2,T4,T5

 LINE       196
 SUB-EXPRESSION (oup_buf_almost_full && oup_buf_wvalid)
                 ---------1---------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       196
 SUB-EXPRESSION (fifo_rvalid_o && fifo_rready_i)
                 ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       204
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T3,T4

 LINE       207
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T3,T4

 LINE       212
 EXPRESSION (oup_buf_wready && ((!sram_read_in_prev_cyc_q)))
             -------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T4,T5
1	1	Covered	T1,T2,T3

 LINE       220
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T2,T3,T4

 LINE       223
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T2,T3,T4

 LINE       236
 EXPRESSION (inp_buf_wready && ( ! (sram_full && oup_buf_full) ))
             -------1------    ----------------2----------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T6,T20
1	1	Covered	T1,T2,T3

 LINE       236
 SUB-EXPRESSION ( ! (sram_full && oup_buf_full) )
                    -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T4,T6,T20

 LINE       236
 SUB-EXPRESSION (sram_full && oup_buf_full)
                 ----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T4
1	0	Not Covered
1	1	Covered	T4,T6,T20

---

Branch Coverage for Module : i2c_fifo_sync_sram_adapter

	Line No.	Total	Covered	Percent
Branches		10	10	100.00
TERNARY	162	2	2	100.00
IF	164	2	2	100.00
IF	183	2	2	100.00
IF	191	4	4	100.00

162          assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
                                                    -1-  
                                                    ==>  
                                                    ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

164            if (!rst_ni) begin
               -1-  
165              sram_read_in_prev_cyc_q <= 1'b0;
                 ==>
166            end else begin
167              sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

183            if (sram_read_in_prev_cyc_q) begin
               -1-  
184              oup_buf_wvalid = 1'b1;
                 ==>
185              oup_buf_wdata = sram_rdata_i;
186              // The output buffer must be ready; otherwise we are in an erroneous state.
187              state_err = !oup_buf_wready;
188            end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T2,T4,T5
0	Covered	T1,T2,T3

191            if (!sram_empty) begin
               -1-  
192        
193              // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194              // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195              // so the output buffer can be written in the next cycle.
196              if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -2-  
197                  || (fifo_rvalid_o && fifo_rready_i)) begin
198                sram_req_o = 1'b1;
                   ==>
199                sram_write_o = 1'b0;
200                sram_addr_o = sram_rd_addr;
201        
202              // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203              end else begin
204                sram_req_o = !sram_full && inp_buf_rvalid;
                   ==>
205                sram_write_o = 1'b1;
206                sram_addr_o = sram_wr_addr;
207                inp_buf_rready = !sram_full && sram_gnt_i;
208              end
209        
210            // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211            // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212            end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
                        -3-  
213              oup_buf_wvalid = inp_buf_rvalid;
                 ==>
214              oup_buf_wdata = inp_buf_rdata;
215              inp_buf_rready = oup_buf_wready;
216        
217            // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218            // so drain the input buffer into the SRAM.
219            end else begin
220              sram_req_o = !sram_full && inp_buf_rvalid;
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T2,T4,T5
1	0	-	Covered	T2,T3,T4
0	-	1	Covered	T1,T2,T3
0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Module : i2c_fifo_sync_sram_adapter

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	7	7	100.00	7	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	7	7	100.00	7	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
MinimalSramAw_A	6732	6732	0	0
MinimalSramFifoDepth_A	6732	6732	0	0
NoErr_A	1536301068	1535629472	0	0
NoSramReadWhenEmpty_A	1536301068	1219500898	0	0
NoSramWriteWhenFull_A	1536301068	21336894	0	0
OupBufWreadyAfterSramRead_A	1536301068	632435	0	0
SramRvalidAfterRead_A	1536301068	632435	0	0

MinimalSramAw_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	6732	6732	0	0
T1	4	4	0	0
T2	4	4	0	0
T3	4	4	0	0
T4	4	4	0	0
T5	4	4	0	0
T6	4	4	0	0
T7	4	4	0	0
T8	4	4	0	0
T9	4	4	0	0
T10	4	4	0	0

MinimalSramFifoDepth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	6732	6732	0	0
T1	4	4	0	0
T2	4	4	0	0
T3	4	4	0	0
T4	4	4	0	0
T5	4	4	0	0
T6	4	4	0	0
T7	4	4	0	0
T8	4	4	0	0
T9	4	4	0	0
T10	4	4	0	0

NoErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1536301068	1535629472	0	0
T1	3724	3464	0	0
T2	520532	520236	0	0
T3	36616	36408	0	0
T4	83100	82752	0	0
T5	190896	190576	0	0
T6	612468	612212	0	0
T7	32180	31964	0	0
T8	47708	44840	0	0
T9	179372	179016	0	0
T10	876100	875832	0	0

NoSramReadWhenEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1536301068	1219500898	0	0
T1	3724	3464	0	0
T2	520532	486704	0	0
T3	36616	30307	0	0
T4	83100	63692	0	0
T5	190896	156119	0	0
T6	612468	471031	0	0
T7	32180	31964	0	0
T8	47708	43595	0	0
T9	179372	167421	0	0
T10	876100	685526	0	0

NoSramWriteWhenFull_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1536301068	21336894	0	0
T4	20775	4949	0	0
T5	47724	0	0	0
T6	306234	2482	0	0
T7	16090	0	0	0
T8	23854	0	0	0
T9	89686	0	0	0
T10	657075	24	0	0
T11	42128	0	0	0
T19	508485	0	0	0
T20	465606	140225	0	0
T21	0	222660	0	0
T29	0	129309	0	0
T38	10459	0	0	0
T42	0	208319	0	0
T44	399369	0	0	0
T45	350556	0	0	0
T46	41582	0	0	0
T47	16598	0	0	0
T53	0	21	0	0
T60	15840	0	0	0
T63	0	24	0	0
T64	0	864	0	0
T65	0	959	0	0
T68	0	971	0	0
T69	89701	0	0	0
T72	133206	0	0	0
T73	19777	0	0	0
T97	0	1091	0	0
T98	0	25	0	0
T102	1218	0	0	0
T154	0	3795	0	0
T155	0	123044	0	0
T156	0	9	0	0
T157	0	23	0	0
T158	0	191522	0	0
T159	0	5886	0	0
T160	0	3067	0	0
T161	382490	0	0	0

OupBufWreadyAfterSramRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1536301068	632435	0	0
T2	130133	28	0	0
T3	9154	0	0	0
T4	20775	90	0	0
T5	47724	179	0	0
T6	306234	682	0	0
T7	16090	0	0	0
T8	23854	5	0	0
T9	89686	59	0	0
T10	657075	33	0	0
T11	0	70	0	0
T19	508485	49	0	0
T20	698409	1082	0	0
T43	0	2250	0	0
T44	399369	0	0	0
T45	350556	400	0	0
T46	62373	31	0	0
T47	33196	4	0	0
T48	72162	63	0	0
T52	0	309	0	0
T69	179402	31	0	0
T72	266412	246	0	0
T73	39554	53	0	0
T74	75632	228	0	0
T154	0	85	0	0

SramRvalidAfterRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1536301068	632435	0	0
T2	130133	28	0	0
T3	9154	0	0	0
T4	20775	90	0	0
T5	47724	179	0	0
T6	306234	682	0	0
T7	16090	0	0	0
T8	23854	5	0	0
T9	89686	59	0	0
T10	657075	33	0	0
T11	0	70	0	0
T19	508485	49	0	0
T20	698409	1082	0	0
T43	0	2250	0	0
T44	399369	0	0	0
T45	350556	400	0	0
T46	62373	31	0	0
T47	33196	4	0	0
T48	72162	63	0	0
T52	0	309	0	0
T69	179402	31	0	0
T72	266412	246	0	0
T73	39554	53	0	0
T74	75632	228	0	0
T154	0	85	0	0

Line Coverage for Instance : tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	153	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153        1/1              assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
154        1/1              assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
155                       end else begin : gen_no_zero_extend_sram_addrs
156                         assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
157                         assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T2 T4 T5 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T2 T4 T5 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T2 T4 T5 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T2 T3 T4 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T2 T4 T5 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T2 T4 T5 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T2 T4 T5 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T2 T3 T4 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T2 T3 T4 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T2 T3 T4 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T2 T3 T4 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Cond Coverage for Instance : tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

	Total	Covered	Percent
Conditions	51	38	74.51
Logical	51	38	74.51
Non-Logical	0	0
Event	0	0

 LINE       120
 EXPRESSION (fifo_wvalid_i && fifo_wready_o)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Not Covered
1	1	Covered	T2,T3,T4

 LINE       125
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T2,T3,T4

 LINE       150
 EXPRESSION (sram_access && sram_write_o)
             -----1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T4,T5
1	1	Covered	T2,T3,T4

 LINE       151
 EXPRESSION (sram_access && ((!sram_write_o)))
             -----1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       162
 EXPRESSION (clr_i ? 1'b0 : sram_incr_rd_ptr)
             --1--

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       196
 EXPRESSION (( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) ) || (fifo_rvalid_o && fifo_rready_i))
             -------------------------------1-------------------------------    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T2,T3,T4
0	1	Covered	T2,T4,T5
1	0	Not Covered

 LINE       196
 SUB-EXPRESSION ( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) )
                    ----------------------------1----------------------------

-1-	Status	Tests
0	Not Covered
1	Covered	T2,T3,T4

 LINE       196
 SUB-EXPRESSION ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -------------------1-------------------    ------2-----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Covered	T2,T3,T4
1	0	Covered	T2,T4,T5

 LINE       196
 SUB-EXPRESSION (oup_buf_almost_full && oup_buf_wvalid)
                 ---------1---------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       196
 SUB-EXPRESSION (fifo_rvalid_o && fifo_rready_i)
                 ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T4,T5

 LINE       204
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T3,T4

 LINE       207
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T4
1	1	Covered	T2,T3,T4

 LINE       212
 EXPRESSION (oup_buf_wready && ((!sram_read_in_prev_cyc_q)))
             -------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T4,T5
1	1	Covered	T1,T2,T3

 LINE       220
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T2,T3,T4

 LINE       223
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T2,T3,T4

 LINE       236
 EXPRESSION (inp_buf_wready && ( ! (sram_full && oup_buf_full) ))
             -------1------    ----------------2----------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T20,T154
1	1	Covered	T1,T2,T3

 LINE       236
 SUB-EXPRESSION ( ! (sram_full && oup_buf_full) )
                    -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T4,T20,T154

 LINE       236
 SUB-EXPRESSION (sram_full && oup_buf_full)
                 ----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T4
1	0	Not Covered
1	1	Covered	T4,T20,T154

---

Branch Coverage for Instance : tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

	Line No.	Total	Covered	Percent
Branches		10	10	100.00
TERNARY	162	2	2	100.00
IF	164	2	2	100.00
IF	183	2	2	100.00
IF	191	4	4	100.00

162          assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
                                                    -1-  
                                                    ==>  
                                                    ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

164            if (!rst_ni) begin
               -1-  
165              sram_read_in_prev_cyc_q <= 1'b0;
                 ==>
166            end else begin
167              sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

183            if (sram_read_in_prev_cyc_q) begin
               -1-  
184              oup_buf_wvalid = 1'b1;
                 ==>
185              oup_buf_wdata = sram_rdata_i;
186              // The output buffer must be ready; otherwise we are in an erroneous state.
187              state_err = !oup_buf_wready;
188            end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T2,T4,T5
0	Covered	T1,T2,T3

191            if (!sram_empty) begin
               -1-  
192        
193              // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194              // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195              // so the output buffer can be written in the next cycle.
196              if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -2-  
197                  || (fifo_rvalid_o && fifo_rready_i)) begin
198                sram_req_o = 1'b1;
                   ==>
199                sram_write_o = 1'b0;
200                sram_addr_o = sram_rd_addr;
201        
202              // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203              end else begin
204                sram_req_o = !sram_full && inp_buf_rvalid;
                   ==>
205                sram_write_o = 1'b1;
206                sram_addr_o = sram_wr_addr;
207                inp_buf_rready = !sram_full && sram_gnt_i;
208              end
209        
210            // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211            // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212            end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
                        -3-  
213              oup_buf_wvalid = inp_buf_rvalid;
                 ==>
214              oup_buf_wdata = inp_buf_rdata;
215              inp_buf_rready = oup_buf_wready;
216        
217            // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218            // so drain the input buffer into the SRAM.
219            end else begin
220              sram_req_o = !sram_full && inp_buf_rvalid;
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T2,T4,T5
1	0	-	Covered	T2,T3,T4
0	-	1	Covered	T1,T2,T3
0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	7	7	100.00	7	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	7	7	100.00	7	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
MinimalSramAw_A	1683	1683	0	0
MinimalSramFifoDepth_A	1683	1683	0	0
NoErr_A	384075267	383907368	0	0
NoSramReadWhenEmpty_A	384075267	327256165	0	0
NoSramWriteWhenFull_A	384075267	20719552	0	0
OupBufWreadyAfterSramRead_A	384075267	169013	0	0
SramRvalidAfterRead_A	384075267	169013	0	0

MinimalSramAw_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

MinimalSramFifoDepth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NoErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	383907368	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramReadWhenEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	327256165	0	0
T1	931	866	0	0
T2	130133	96527	0	0
T3	9154	3001	0	0
T4	20775	1628	0	0
T5	47724	13187	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	9965	0	0
T9	44843	33159	0	0
T10	219025	218958	0	0

NoSramWriteWhenFull_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	20719552	0	0
T4	20775	4949	0	0
T5	47724	0	0	0
T6	153117	0	0	0
T7	8045	0	0	0
T8	11927	0	0	0
T9	44843	0	0	0
T10	219025	0	0	0
T19	169495	0	0	0
T20	0	140225	0	0
T21	0	222505	0	0
T29	0	129309	0	0
T42	0	208319	0	0
T44	133123	0	0	0
T45	116852	0	0	0
T154	0	3795	0	0
T155	0	123044	0	0
T158	0	191522	0	0
T159	0	5886	0	0
T160	0	3067	0	0

OupBufWreadyAfterSramRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	169013	0	0
T2	130133	28	0	0
T3	9154	0	0	0
T4	20775	90	0	0
T5	47724	179	0	0
T6	153117	0	0	0
T7	8045	0	0	0
T8	11927	5	0	0
T9	44843	59	0	0
T10	219025	0	0	0
T11	0	70	0	0
T19	169495	49	0	0
T20	0	1082	0	0
T43	0	1134	0	0
T154	0	85	0	0

SramRvalidAfterRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	169013	0	0
T2	130133	28	0	0
T3	9154	0	0	0
T4	20775	90	0	0
T5	47724	179	0	0
T6	153117	0	0	0
T7	8045	0	0	0
T8	11927	5	0	0
T9	44843	59	0	0
T10	219025	0	0	0
T11	0	70	0	0
T19	169495	49	0	0
T20	0	1082	0	0
T43	0	1134	0	0
T154	0	85	0	0

Line Coverage for Instance : tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	153	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153        1/1              assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
154        1/1              assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
155                       end else begin : gen_no_zero_extend_sram_addrs
156                         assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
157                         assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T44 T45 T46 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T44 T45 T46 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T44 T45 T46 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T44 T45 T46 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T44 T45 T46 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T44 T45 T46 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T44 T45 T46 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T44 T45 T46 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T44 T45 T46 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T44 T45 T46 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T44 T45 T46 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Cond Coverage for Instance : tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

	Total	Covered	Percent
Conditions	51	38	74.51
Logical	51	38	74.51
Non-Logical	0	0
Event	0	0

 LINE       120
 EXPRESSION (fifo_wvalid_i && fifo_wready_o)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Not Covered
1	1	Covered	T10,T44,T45

 LINE       125
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T44,T45,T46

 LINE       150
 EXPRESSION (sram_access && sram_write_o)
             -----1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       151
 EXPRESSION (sram_access && ((!sram_write_o)))
             -----1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       162
 EXPRESSION (clr_i ? 1'b0 : sram_incr_rd_ptr)
             --1--

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       196
 EXPRESSION (( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) ) || (fifo_rvalid_o && fifo_rready_i))
             -------------------------------1-------------------------------    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T44,T45,T46
0	1	Covered	T44,T45,T46
1	0	Not Covered

 LINE       196
 SUB-EXPRESSION ( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) )
                    ----------------------------1----------------------------

-1-	Status	Tests
0	Not Covered
1	Covered	T44,T45,T46

 LINE       196
 SUB-EXPRESSION ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -------------------1-------------------    ------2-----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Covered	T44,T45,T46
1	0	Covered	T44,T45,T46

 LINE       196
 SUB-EXPRESSION (oup_buf_almost_full && oup_buf_wvalid)
                 ---------1---------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       196
 SUB-EXPRESSION (fifo_rvalid_o && fifo_rready_i)
                 ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       204
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       207
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T44,T45,T46
1	1	Covered	T44,T45,T46

 LINE       212
 EXPRESSION (oup_buf_wready && ((!sram_read_in_prev_cyc_q)))
             -------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T44,T45,T46
1	1	Covered	T1,T2,T3

 LINE       220
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T44,T45,T46

 LINE       223
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T44,T45,T46

 LINE       236
 EXPRESSION (inp_buf_wready && ( ! (sram_full && oup_buf_full) ))
             -------1------    ----------------2----------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T60,T61,T62
1	1	Covered	T1,T2,T3

 LINE       236
 SUB-EXPRESSION ( ! (sram_full && oup_buf_full) )
                    -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T60,T61,T62

 LINE       236
 SUB-EXPRESSION (sram_full && oup_buf_full)
                 ----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T44,T45,T46
1	0	Not Covered
1	1	Covered	T60,T61,T62

---

Branch Coverage for Instance : tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

	Line No.	Total	Covered	Percent
Branches		10	10	100.00
TERNARY	162	2	2	100.00
IF	164	2	2	100.00
IF	183	2	2	100.00
IF	191	4	4	100.00

162          assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
                                                    -1-  
                                                    ==>  
                                                    ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

164            if (!rst_ni) begin
               -1-  
165              sram_read_in_prev_cyc_q <= 1'b0;
                 ==>
166            end else begin
167              sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

183            if (sram_read_in_prev_cyc_q) begin
               -1-  
184              oup_buf_wvalid = 1'b1;
                 ==>
185              oup_buf_wdata = sram_rdata_i;
186              // The output buffer must be ready; otherwise we are in an erroneous state.
187              state_err = !oup_buf_wready;
188            end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T44,T45,T46
0	Covered	T1,T2,T3

191            if (!sram_empty) begin
               -1-  
192        
193              // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194              // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195              // so the output buffer can be written in the next cycle.
196              if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -2-  
197                  || (fifo_rvalid_o && fifo_rready_i)) begin
198                sram_req_o = 1'b1;
                   ==>
199                sram_write_o = 1'b0;
200                sram_addr_o = sram_rd_addr;
201        
202              // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203              end else begin
204                sram_req_o = !sram_full && inp_buf_rvalid;
                   ==>
205                sram_write_o = 1'b1;
206                sram_addr_o = sram_wr_addr;
207                inp_buf_rready = !sram_full && sram_gnt_i;
208              end
209        
210            // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211            // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212            end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
                        -3-  
213              oup_buf_wvalid = inp_buf_rvalid;
                 ==>
214              oup_buf_wdata = inp_buf_rdata;
215              inp_buf_rready = oup_buf_wready;
216        
217            // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218            // so drain the input buffer into the SRAM.
219            end else begin
220              sram_req_o = !sram_full && inp_buf_rvalid;
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T44,T45,T46
1	0	-	Covered	T44,T45,T46
0	-	1	Covered	T1,T2,T3
0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	7	7	100.00	7	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	7	7	100.00	7	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
MinimalSramAw_A	1683	1683	0	0
MinimalSramFifoDepth_A	1683	1683	0	0
NoErr_A	384075267	383907368	0	0
NoSramReadWhenEmpty_A	384075267	363078657	0	0
NoSramWriteWhenFull_A	384075267	346308	0	0
OupBufWreadyAfterSramRead_A	384075267	111556	0	0
SramRvalidAfterRead_A	384075267	111556	0	0

MinimalSramAw_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

MinimalSramFifoDepth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NoErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	383907368	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramReadWhenEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	363078657	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramWriteWhenFull_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	346308	0	0
T11	42128	0	0	0
T17	17682	0	0	0
T38	10459	0	0	0
T60	15840	7709	0	0
T61	0	9073	0	0
T62	0	9743	0	0
T80	2638	0	0	0
T102	1218	0	0	0
T154	20473	0	0	0
T161	382490	0	0	0
T162	0	6890	0	0
T163	0	2102	0	0
T164	0	8912	0	0
T165	0	8965	0	0
T166	0	11279	0	0
T167	0	10233	0	0
T168	0	153	0	0
T169	20516	0	0	0
T170	155438	0	0	0

OupBufWreadyAfterSramRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	111556	0	0
T20	232803	0	0	0
T44	133123	371	0	0
T45	116852	103	0	0
T46	20791	10	0	0
T47	16598	11	0	0
T48	72162	72	0	0
T69	89701	12	0	0
T72	133206	314	0	0
T73	19777	28	0	0
T74	75632	267	0	0
T171	0	42	0	0

SramRvalidAfterRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	111556	0	0
T20	232803	0	0	0
T44	133123	371	0	0
T45	116852	103	0	0
T46	20791	10	0	0
T47	16598	11	0	0
T48	72162	72	0	0
T69	89701	12	0	0
T72	133206	314	0	0
T73	19777	28	0	0
T74	75632	267	0	0
T171	0	42	0	0

Line Coverage for Instance : tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	153	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153        1/1              assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
154        1/1              assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
           Tests:       T1 T2 T3 
155                       end else begin : gen_no_zero_extend_sram_addrs
156                         assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
157                         assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T6 T43 T32 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T6 T43 T32 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T6 T43 T32 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T6 T43 T32 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T6 T43 T32 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T6 T43 T32 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T6 T43 T32 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T6 T43 T32 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T6 T43 T32 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T6 T43 T32 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T6 T43 T32 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Cond Coverage for Instance : tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

	Total	Covered	Percent
Conditions	51	39	76.47
Logical	51	39	76.47
Non-Logical	0	0
Event	0	0

 LINE       120
 EXPRESSION (fifo_wvalid_i && fifo_wready_o)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T35,T103
1	1	Covered	T2,T6,T7

 LINE       125
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T6,T43,T32

 LINE       150
 EXPRESSION (sram_access && sram_write_o)
             -----1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       151
 EXPRESSION (sram_access && ((!sram_write_o)))
             -----1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       162
 EXPRESSION (clr_i ? 1'b0 : sram_incr_rd_ptr)
             --1--

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       196
 EXPRESSION (( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) ) || (fifo_rvalid_o && fifo_rready_i))
             -------------------------------1-------------------------------    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T6,T43,T32
0	1	Covered	T6,T43,T32
1	0	Not Covered

 LINE       196
 SUB-EXPRESSION ( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) )
                    ----------------------------1----------------------------

-1-	Status	Tests
0	Not Covered
1	Covered	T6,T43,T32

 LINE       196
 SUB-EXPRESSION ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -------------------1-------------------    ------2-----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Covered	T6,T43,T32
1	0	Covered	T6,T43,T32

 LINE       196
 SUB-EXPRESSION (oup_buf_almost_full && oup_buf_wvalid)
                 ---------1---------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       196
 SUB-EXPRESSION (fifo_rvalid_o && fifo_rready_i)
                 ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       204
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       207
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T6,T43,T32
1	1	Covered	T6,T43,T32

 LINE       212
 EXPRESSION (oup_buf_wready && ((!sram_read_in_prev_cyc_q)))
             -------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T43,T32
1	1	Covered	T1,T2,T3

 LINE       220
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T6,T43,T32

 LINE       223
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T6,T43,T32

 LINE       236
 EXPRESSION (inp_buf_wready && ( ! (sram_full && oup_buf_full) ))
             -------1------    ----------------2----------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T43,T32
1	1	Covered	T1,T2,T3

 LINE       236
 SUB-EXPRESSION ( ! (sram_full && oup_buf_full) )
                    -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T43,T32

 LINE       236
 SUB-EXPRESSION (sram_full && oup_buf_full)
                 ----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T6,T43,T32
1	0	Not Covered
1	1	Covered	T6,T43,T32

---

Branch Coverage for Instance : tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

	Line No.	Total	Covered	Percent
Branches		10	10	100.00
TERNARY	162	2	2	100.00
IF	164	2	2	100.00
IF	183	2	2	100.00
IF	191	4	4	100.00

162          assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
                                                    -1-  
                                                    ==>  
                                                    ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

164            if (!rst_ni) begin
               -1-  
165              sram_read_in_prev_cyc_q <= 1'b0;
                 ==>
166            end else begin
167              sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

183            if (sram_read_in_prev_cyc_q) begin
               -1-  
184              oup_buf_wvalid = 1'b1;
                 ==>
185              oup_buf_wdata = sram_rdata_i;
186              // The output buffer must be ready; otherwise we are in an erroneous state.
187              state_err = !oup_buf_wready;
188            end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T6,T43,T32
0	Covered	T1,T2,T3

191            if (!sram_empty) begin
               -1-  
192        
193              // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194              // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195              // so the output buffer can be written in the next cycle.
196              if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -2-  
197                  || (fifo_rvalid_o && fifo_rready_i)) begin
198                sram_req_o = 1'b1;
                   ==>
199                sram_write_o = 1'b0;
200                sram_addr_o = sram_rd_addr;
201        
202              // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203              end else begin
204                sram_req_o = !sram_full && inp_buf_rvalid;
                   ==>
205                sram_write_o = 1'b1;
206                sram_addr_o = sram_wr_addr;
207                inp_buf_rready = !sram_full && sram_gnt_i;
208              end
209        
210            // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211            // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212            end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
                        -3-  
213              oup_buf_wvalid = inp_buf_rvalid;
                 ==>
214              oup_buf_wdata = inp_buf_rdata;
215              inp_buf_rready = oup_buf_wready;
216        
217            // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218            // so drain the input buffer into the SRAM.
219            end else begin
220              sram_req_o = !sram_full && inp_buf_rvalid;
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T6,T43,T32
1	0	-	Covered	T6,T43,T32
0	-	1	Covered	T1,T2,T3
0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	7	7	100.00	7	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	7	7	100.00	7	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
MinimalSramAw_A	1683	1683	0	0
MinimalSramFifoDepth_A	1683	1683	0	0
NoErr_A	384075267	383907368	0	0
NoSramReadWhenEmpty_A	384075267	361269330	0	0
NoSramWriteWhenFull_A	384075267	207699	0	0
OupBufWreadyAfterSramRead_A	384075267	112840	0	0
SramRvalidAfterRead_A	384075267	112840	0	0

MinimalSramAw_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

MinimalSramFifoDepth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NoErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	383907368	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramReadWhenEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	361269330	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	11872	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramWriteWhenFull_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	207699	0	0
T6	153117	2482	0	0
T7	8045	0	0	0
T8	11927	0	0	0
T9	44843	0	0	0
T10	219025	0	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T21	0	155	0	0
T32	0	391	0	0
T35	0	4259	0	0
T36	0	3314	0	0
T43	0	621	0	0
T44	133123	0	0	0
T45	116852	0	0	0
T46	20791	0	0	0
T103	0	1975	0	0
T148	0	8	0	0
T172	0	3	0	0
T173	0	4056	0	0

OupBufWreadyAfterSramRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	112840	0	0
T6	153117	682	0	0
T7	8045	0	0	0
T8	11927	0	0	0
T9	44843	0	0	0
T10	219025	0	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T21	0	930	0	0
T32	0	620	0	0
T35	0	1240	0	0
T36	0	868	0	0
T43	0	1116	0	0
T44	133123	0	0	0
T45	116852	0	0	0
T46	20791	0	0	0
T103	0	620	0	0
T173	0	1178	0	0
T174	0	1116	0	0
T175	0	806	0	0

SramRvalidAfterRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	112840	0	0
T6	153117	682	0	0
T7	8045	0	0	0
T8	11927	0	0	0
T9	44843	0	0	0
T10	219025	0	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T21	0	930	0	0
T32	0	620	0	0
T35	0	1240	0	0
T36	0	868	0	0
T43	0	1116	0	0
T44	133123	0	0	0
T45	116852	0	0	0
T46	20791	0	0	0
T103	0	620	0	0
T173	0	1178	0	0
T174	0	1116	0	0
T175	0	806	0	0

Line Coverage for Instance : tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

	Line No.	Total	Covered	Percent
TOTAL		44	44	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	121	1	1	100.00
CONT_ASSIGN	125	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	156	1	1	100.00
CONT_ASSIGN	157	1	1	100.00
CONT_ASSIGN	162	1	1	100.00
ALWAYS	164	3	3	100.00
ALWAYS	174	28	28	100.00
CONT_ASSIGN	228	1	1	100.00
CONT_ASSIGN	236	1	1	100.00
CONT_ASSIGN	240	1	1	100.00
CONT_ASSIGN	244	1	1	100.00
CONT_ASSIGN	249	1	1	100.00

119                       );
120        1/1            assign inp_buf_wvalid = fifo_wvalid_i && fifo_wready_o;
           Tests:       T1 T2 T3 
121        1/1            assign oup_buf_almost_full = oup_buf_depth >= OupBufDepthW'(OupBufDepth - 1);
           Tests:       T1 T2 T3 
122                     
123                       // Signal whether we access the SRAM in this cycle
124                       logic sram_access;
125        1/1            assign sram_access = sram_req_o && sram_gnt_i;
           Tests:       T1 T2 T3 
126                     
127                       // SRAM read and write addresses
128                       logic [SramAw-1:0]     sram_wr_addr, sram_rd_addr;
129                       logic [SramPtrW-1:0]   sram_wr_ptr, sram_rd_ptr;
130                       logic [SramDepthW-1:0] sram_depth;
131                       logic                  sram_incr_wr_ptr, sram_incr_rd_ptr;
132                       logic                  sram_full, sram_empty;
133                       logic                  sram_ptrs_err;
134                       prim_fifo_sync_cnt #(
135                         .Depth (SramFifoDepth),
136                         .Secure(1'b0)
137                       ) u_sram_ptrs (
138                         .clk_i,
139                         .rst_ni,
140                         .clr_i,
141                         .incr_wptr_i(sram_incr_wr_ptr),
142                         .incr_rptr_i(sram_incr_rd_ptr),
143                         .wptr_o     (sram_wr_ptr),
144                         .rptr_o     (sram_rd_ptr),
145                         .full_o     (sram_full),
146                         .empty_o    (sram_empty),
147                         .depth_o    (sram_depth),
148                         .err_o      (sram_ptrs_err)
149                       );
150        1/1            assign sram_incr_wr_ptr = sram_access && sram_write_o;
           Tests:       T1 T2 T3 
151        1/1            assign sram_incr_rd_ptr = sram_access && !sram_write_o;
           Tests:       T1 T2 T3 
152                       if (SramAddrLeadingZeros > 0) begin : gen_zero_extend_sram_addrs
153                         assign sram_wr_addr = {{SramAddrLeadingZeros{1'b0}}, sram_wr_ptr} + SramBaseAddr;
154                         assign sram_rd_addr = {{SramAddrLeadingZeros{1'b0}}, sram_rd_ptr} + SramBaseAddr;
155                       end else begin : gen_no_zero_extend_sram_addrs
156        1/1              assign sram_wr_addr = sram_wr_ptr + SramBaseAddr;
           Tests:       T1 T2 T3 
157        1/1              assign sram_rd_addr = sram_rd_ptr + SramBaseAddr;
           Tests:       T1 T2 T3 
158                       end
159                     
160                       // FF to remember whether we read from the SRAM in the previous clock cycle.
161                       logic sram_read_in_prev_cyc_d, sram_read_in_prev_cyc_q;
162        1/1            assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
           Tests:       T1 T2 T3 
163                       always_ff @(posedge clk_i or negedge rst_ni) begin
164        1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
165        1/1                sram_read_in_prev_cyc_q <= 1'b0;
           Tests:       T1 T2 T3 
166                         end else begin
167        1/1                sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
           Tests:       T1 T2 T3 
168                         end
169                       end
170                     
171                       // Control logic for FIFO interface wready, output buffer writes, and SRAM requests
172                       logic state_err;
173                       always_comb begin
174        1/1              inp_buf_rready = 1'b0;
           Tests:       T1 T2 T3 
175        1/1              oup_buf_wvalid = 1'b0;
           Tests:       T1 T2 T3 
176        1/1              oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
177        1/1              sram_req_o = 1'b0;
           Tests:       T1 T2 T3 
178        1/1              sram_write_o = 1'b0;
           Tests:       T1 T2 T3 
179        1/1              sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
180        1/1              state_err = 1'b0;
           Tests:       T1 T2 T3 
181                     
182                         // If the SRAM was read in the previous cycle, write the read data to the output buffer.
183        1/1              if (sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
184        1/1                oup_buf_wvalid = 1'b1;
           Tests:       T10 T45 T46 
185        1/1                oup_buf_wdata = sram_rdata_i;
           Tests:       T10 T45 T46 
186                           // The output buffer must be ready; otherwise we are in an erroneous state.
187        1/1                state_err = !oup_buf_wready;
           Tests:       T10 T45 T46 
188                         end
                        MISSING_ELSE
189                     
190                         // If the SRAM is not empty, data from the input buffer must flow via the SRAM.
191        1/1              if (!sram_empty) begin
           Tests:       T1 T2 T3 
192                     
193                           // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194                           // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195                           // so the output buffer can be written in the next cycle.
196        1/1                if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
           Tests:       T10 T45 T46 
197                               || (fifo_rvalid_o && fifo_rready_i)) begin
198        1/1                  sram_req_o = 1'b1;
           Tests:       T10 T45 T46 
199        1/1                  sram_write_o = 1'b0;
           Tests:       T10 T45 T46 
200        1/1                  sram_addr_o = sram_rd_addr;
           Tests:       T10 T45 T46 
201                     
202                           // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203                           end else begin
204        1/1                  sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T10 T45 T46 
205        1/1                  sram_write_o = 1'b1;
           Tests:       T10 T45 T46 
206        1/1                  sram_addr_o = sram_wr_addr;
           Tests:       T10 T45 T46 
207        1/1                  inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T10 T45 T46 
208                           end
209                     
210                         // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211                         // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212        1/1              end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
           Tests:       T1 T2 T3 
213        1/1                oup_buf_wvalid = inp_buf_rvalid;
           Tests:       T1 T2 T3 
214        1/1                oup_buf_wdata = inp_buf_rdata;
           Tests:       T1 T2 T3 
215        1/1                inp_buf_rready = oup_buf_wready;
           Tests:       T1 T2 T3 
216                     
217                         // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218                         // so drain the input buffer into the SRAM.
219                         end else begin
220        1/1                sram_req_o = !sram_full && inp_buf_rvalid;
           Tests:       T1 T2 T3 
221        1/1                sram_write_o = 1'b1;
           Tests:       T1 T2 T3 
222        1/1                sram_addr_o = sram_wr_addr;
           Tests:       T1 T2 T3 
223        1/1                inp_buf_rready = !sram_full && sram_gnt_i;
           Tests:       T1 T2 T3 
224                         end
225                       end
226                     
227                       // Error output is high if any of the internal errors is high
228        1/1            assign err_o = |{inp_buf_err, oup_buf_err, sram_ptrs_err, state_err};
           Tests:       T1 T2 T3 
229                     
230                       // The SRAM and the output buffer together form the entire architectural capacity of the FIFO.
231                       // Thus, when both are full, the FIFO is no longer ready to receive writes even though the input
232                       // buffer could store one additional entry.  This ensures that in the cycle after an entry has
233                       // been read from the full FIFO, the next entry can be written to the FIFO.
234                       // (It may be possible that all input buffer slots except one can be counted to the architectural
235                       // capacity of the FIFO, but this is a relatively small optimization left for future work.)
236        1/1            assign fifo_wready_o = inp_buf_wready && !(sram_full && oup_buf_full);
           Tests:       T1 T2 T3 
237                     
238                       // The current depth of the FIFO represented by this module is the depth of all buffers plus the
239                       // FIFO in the SRAM plus one if there's an entry in transition between SRAM and output buffer.
240        1/1            assign fifo_depth_o = DepthW'(inp_buf_depth) + DepthW'(sram_depth) + DepthW'(oup_buf_depth) +
           Tests:       T1 T2 T3 
241                                             DepthW'(sram_read_in_prev_cyc_q);
242                     
243                       // SRAM write data always comes from the input buffer.
244        1/1            assign sram_wdata_o = inp_buf_rdata;
           Tests:       T1 T2 T3 
245                       assign sram_wmask_o = '1;
246                     
247                       // `sram_rvalid_i` is only used for assertions.
248                       logic unused_sram_rvalid;
249        1/1            assign unused_sram_rvalid = sram_rvalid_i;
           Tests:       T1 T2 T3 

---

Cond Coverage for Instance : tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

	Total	Covered	Percent
Conditions	51	42	82.35
Logical	51	42	82.35
Non-Logical	0	0
Event	0	0

 LINE       120
 EXPRESSION (fifo_wvalid_i && fifo_wready_o)
             ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T53
1	1	Covered	T10,T44,T45

 LINE       125
 EXPRESSION (sram_req_o && sram_gnt_i)
             -----1----    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Covered	T10,T45,T46

 LINE       150
 EXPRESSION (sram_access && sram_write_o)
             -----1-----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T45,T46
1	1	Covered	T10,T45,T46

 LINE       151
 EXPRESSION (sram_access && ((!sram_write_o)))
             -----1-----    --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T45,T46
1	1	Covered	T10,T45,T46

 LINE       162
 EXPRESSION (clr_i ? 1'b0 : sram_incr_rd_ptr)
             --1--

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       196
 EXPRESSION (( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) ) || (fifo_rvalid_o && fifo_rready_i))
             -------------------------------1-------------------------------    ----------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T10,T45,T46
0	1	Covered	T10,T45,T46
1	0	Covered	T10,T149

 LINE       196
 SUB-EXPRESSION ( ! ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full) )
                    ----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T10,T149
1	Covered	T10,T45,T46

 LINE       196
 SUB-EXPRESSION ((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -------------------1-------------------    ------2-----

-1-	-2-	Status	Tests
0	0	Covered	T10,T149
0	1	Covered	T10,T45,T46
1	0	Covered	T45,T46,T69

 LINE       196
 SUB-EXPRESSION (oup_buf_almost_full && oup_buf_wvalid)
                 ---------1---------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T10,T45,T46
1	1	Covered	T45,T46,T69

 LINE       196
 SUB-EXPRESSION (fifo_rvalid_o && fifo_rready_i)
                 ------1------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T10,T45,T46
1	1	Covered	T10,T45,T46

 LINE       204
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T10,T45,T46
1	1	Covered	T10,T45,T46

 LINE       207
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T10,T45,T46
1	1	Covered	T10,T45,T46

 LINE       212
 EXPRESSION (oup_buf_wready && ((!sram_read_in_prev_cyc_q)))
             -------1------    --------------2-------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T45,T46
1	1	Covered	T1,T2,T3

 LINE       220
 EXPRESSION (((!sram_full)) && inp_buf_rvalid)
             -------1------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T10,T45,T46

 LINE       223
 EXPRESSION (((!sram_full)) && sram_gnt_i)
             -------1------    -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T10,T45,T46

 LINE       236
 EXPRESSION (inp_buf_wready && ( ! (sram_full && oup_buf_full) ))
             -------1------    ----------------2----------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T63,T64
1	1	Covered	T1,T2,T3

 LINE       236
 SUB-EXPRESSION ( ! (sram_full && oup_buf_full) )
                    -------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T10,T63,T64

 LINE       236
 SUB-EXPRESSION (sram_full && oup_buf_full)
                 ----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T10,T44,T45
1	0	Not Covered
1	1	Covered	T10,T63,T64

---

Branch Coverage for Instance : tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

	Line No.	Total	Covered	Percent
Branches		10	10	100.00
TERNARY	162	2	2	100.00
IF	164	2	2	100.00
IF	183	2	2	100.00
IF	191	4	4	100.00

162          assign sram_read_in_prev_cyc_d = clr_i ? 1'b0 : sram_incr_rd_ptr;
                                                    -1-  
                                                    ==>  
                                                    ==>  

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

164            if (!rst_ni) begin
               -1-  
165              sram_read_in_prev_cyc_q <= 1'b0;
                 ==>
166            end else begin
167              sram_read_in_prev_cyc_q <= sram_read_in_prev_cyc_d;
                 ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

183            if (sram_read_in_prev_cyc_q) begin
               -1-  
184              oup_buf_wvalid = 1'b1;
                 ==>
185              oup_buf_wdata = sram_rdata_i;
186              // The output buffer must be ready; otherwise we are in an erroneous state.
187              state_err = !oup_buf_wready;
188            end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T10,T45,T46
0	Covered	T1,T2,T3

191            if (!sram_empty) begin
               -1-  
192        
193              // Prioritize refilling of the output buffer: if the output buffer is not being filled to the
194              // last slot in the current cycle or it is being read in the current cycle, read from the SRAM
195              // so the output buffer can be written in the next cycle.
196              if (!((oup_buf_almost_full && oup_buf_wvalid) || oup_buf_full)
                 -2-  
197                  || (fifo_rvalid_o && fifo_rready_i)) begin
198                sram_req_o = 1'b1;
                   ==>
199                sram_write_o = 1'b0;
200                sram_addr_o = sram_rd_addr;
201        
202              // If the output buffer is full (and not being read), drain the input buffer into the SRAM.
203              end else begin
204                sram_req_o = !sram_full && inp_buf_rvalid;
                   ==>
205                sram_write_o = 1'b1;
206                sram_addr_o = sram_wr_addr;
207                inp_buf_rready = !sram_full && sram_gnt_i;
208              end
209        
210            // If the SRAM is empty, data must flow from the input buffer to the output buffer if the output
211            // buffer is ready and is not receiving data read from the SRAM in the previous cycle
212            end else if (oup_buf_wready && !sram_read_in_prev_cyc_q) begin
                        -3-  
213              oup_buf_wvalid = inp_buf_rvalid;
                 ==>
214              oup_buf_wdata = inp_buf_rdata;
215              inp_buf_rready = oup_buf_wready;
216        
217            // Otherwise the SRAM is empty but the output buffer cannot take the data from the input buffer,
218            // so drain the input buffer into the SRAM.
219            end else begin
220              sram_req_o = !sram_full && inp_buf_rvalid;
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	1	-	Covered	T10,T45,T46
1	0	-	Covered	T10,T45,T46
0	-	1	Covered	T1,T2,T3
0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	7	7	100.00	7	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	7	7	100.00	7	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
MinimalSramAw_A	1683	1683	0	0
MinimalSramFifoDepth_A	1683	1683	0	0
NoErr_A	384075267	383907368	0	0
NoSramReadWhenEmpty_A	384075267	167896746	0	0
NoSramWriteWhenFull_A	384075267	63335	0	0
OupBufWreadyAfterSramRead_A	384075267	239026	0	0
SramRvalidAfterRead_A	384075267	239026	0	0

MinimalSramAw_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

MinimalSramFifoDepth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1683	1683	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NoErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	383907368	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	218958	0	0

NoSramReadWhenEmpty_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	167896746	0	0
T1	931	866	0	0
T2	130133	130059	0	0
T3	9154	9102	0	0
T4	20775	20688	0	0
T5	47724	47644	0	0
T6	153117	153053	0	0
T7	8045	7991	0	0
T8	11927	11210	0	0
T9	44843	44754	0	0
T10	219025	28652	0	0

NoSramWriteWhenFull_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	63335	0	0
T10	219025	24	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T44	133123	0	0	0
T45	116852	0	0	0
T46	20791	0	0	0
T47	16598	0	0	0
T53	0	21	0	0
T63	0	24	0	0
T64	0	864	0	0
T65	0	959	0	0
T68	0	971	0	0
T69	89701	0	0	0
T72	133206	0	0	0
T73	19777	0	0	0
T97	0	1091	0	0
T98	0	25	0	0
T156	0	9	0	0
T157	0	23	0	0

OupBufWreadyAfterSramRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	239026	0	0
T10	219025	33	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T44	133123	0	0	0
T45	116852	400	0	0
T46	20791	31	0	0
T47	16598	4	0	0
T48	0	63	0	0
T52	0	309	0	0
T69	89701	31	0	0
T72	133206	246	0	0
T73	19777	53	0	0
T74	0	228	0	0

SramRvalidAfterRead_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	384075267	239026	0	0
T10	219025	33	0	0
T19	169495	0	0	0
T20	232803	0	0	0
T44	133123	0	0	0
T45	116852	400	0	0
T46	20791	31	0	0
T47	16598	4	0	0
T48	0	63	0	0
T52	0	309	0	0
T69	89701	31	0	0
T72	133206	246	0	0
T73	19777	53	0	0
T74	0	228	0	0