Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : prim_sync_reqack
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 50.00 100.00 100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_31/clkmgr-sim-vcs/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_sync_reqack.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout 87.50 100.00 100.00 100.00 50.00
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout 87.50 100.00 100.00 100.00 50.00
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout 87.50 100.00 100.00 100.00 50.00
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout 87.50 100.00 100.00 100.00 50.00
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout 87.50 100.00 100.00 100.00 50.00
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_io_meas.u_err_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_io_div2_meas.u_err_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_io_div4_meas.u_err_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_main_meas.u_err_sync 93.75 100.00 75.00 100.00 100.00
tb.dut.u_usb_meas.u_err_sync 93.75 100.00 75.00 100.00 100.00



Module Instance : tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 gen_clk_timeout_chk.u_timeout_ref_to_clk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 gen_clk_timeout_chk.u_timeout_ref_to_clk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 gen_clk_timeout_chk.u_timeout_ref_to_clk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 gen_clk_timeout_chk.u_timeout_ref_to_clk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
87.50 100.00 100.00 100.00 50.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 gen_clk_timeout_chk.u_timeout_ref_to_clk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
73.61 90.00 76.19 78.26 50.00 u_arb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
73.61 90.00 76.19 78.26 50.00 u_arb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
79.17 94.00 85.71 86.96 50.00 u_arb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
73.61 90.00 76.19 78.26 50.00 u_arb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
73.61 90.00 76.19 78.26 50.00 u_arb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_io_meas.u_err_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
94.44 100.00 83.33 100.00 u_io_meas


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_io_div2_meas.u_err_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
94.44 100.00 83.33 100.00 u_io_div2_meas


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_io_div4_meas.u_err_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
94.44 100.00 83.33 100.00 u_io_div4_meas


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_main_meas.u_err_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
94.44 100.00 83.33 100.00 u_main_meas


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_usb_meas.u_err_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.75 100.00 75.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
94.44 100.00 83.33 100.00 u_usb_meas


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_nrz_hs_protocol.ack_sync 100.00 100.00 100.00
gen_nrz_hs_protocol.req_sync 100.00 100.00 100.00

Line Coverage for Module : prim_sync_reqack
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Module : prim_sync_reqack
TotalCoveredPercent
Conditions6350.00
Logical6350.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11CoveredT4,T5,T6

Branch Coverage for Module : prim_sync_reqack
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Module : prim_sync_reqack
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 655188457 1438629 0 0
SyncReqAckHoldReq 546409688 64080 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 655188457 1438629 0 0
T3 212732 19 0 0
T4 5298 113 0 0
T5 10812 209 0 0
T6 1127 24 0 0
T11 0 6 0 0
T13 0 3 0 0
T14 0 4 0 0
T15 0 34 0 0
T16 0 7 0 0
T17 0 16 0 0
T18 0 4 0 0
T20 57636 0 0 0
T21 59758 0 0 0
T22 3146 0 0 0
T23 1910 0 0 0
T24 1714 0 0 0
T25 3598 0 0 0
T26 2870 0 0 0
T27 3026 0 0 0
T28 3136 0 0 0
T29 2094 43 0 0
T30 1344 29 0 0
T31 1617 34 0 0
T32 2835 60 0 0
T33 2368 45 0 0
T34 1388 26 0 0
T35 1276 26 0 0
T36 0 4 0 0
T37 0 25 0 0
T38 0 3 0 0
T39 5869 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 546409688 64080 0 0
T1 0 18 0 0
T2 0 4 0 0
T3 365816 62 0 0
T9 2943 2 0 0
T10 0 10 0 0
T11 0 39 0 0
T13 0 6 0 0
T14 0 12 0 0
T15 0 64 0 0
T16 0 11 0 0
T17 0 27 0 0
T18 0 15 0 0
T19 0 33 0 0
T20 54724 0 0 0
T21 173487 20 0 0
T22 4583 0 0 0
T23 7369 0 0 0
T24 6852 0 0 0
T25 3056 0 0 0
T26 4131 0 0 0
T27 2616 0 0 0
T28 2679 0 0 0
T36 0 9 0 0
T37 0 32 0 0
T38 0 6 0 0
T39 22539 5 0 0
T40 0 16 0 0
T41 0 7 0 0
T42 0 23 0 0
T43 9015 0 0 0
T44 6706 0 0 0
T45 12109 0 0 0
T46 91194 0 0 0
T47 1376 0 0 0
T48 1553 0 0 0
T49 3505 0 0 0
T50 10348 0 0 0
T51 4180 0 0 0

Line Coverage for Instance : tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT4,T5,T6

Branch Coverage for Instance : tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 1 50.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 1 50.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 78932889 275965 0 0
SyncReqAckHoldReq 1277359 0 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 78932889 275965 0 0
T4 7130 113 0 0
T5 13087 209 0 0
T6 1623 24 0 0
T29 2872 43 0 0
T30 1857 29 0 0
T31 2195 34 0 0
T32 3832 61 0 0
T33 2993 45 0 0
T34 1814 26 0 0
T35 1698 26 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 1277359 0 0 0

Line Coverage for Instance : tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT4,T5,T6

Branch Coverage for Instance : tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 1 50.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 1 50.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38533562 275878 0 0
SyncReqAckHoldReq 1277359 0 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38533562 275878 0 0
T4 3532 113 0 0
T5 7208 209 0 0
T6 751 24 0 0
T29 1396 43 0 0
T30 896 29 0 0
T31 1078 34 0 0
T32 1890 60 0 0
T33 1579 45 0 0
T34 926 26 0 0
T35 851 26 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 1277359 0 0 0

Line Coverage for Instance : tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT4,T5,T6

Branch Coverage for Instance : tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 1 50.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 1 50.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 19266395 264422 0 0
SyncReqAckHoldReq 1277359 0 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 19266395 264422 0 0
T4 1766 108 0 0
T5 3604 201 0 0
T6 376 23 0 0
T29 698 41 0 0
T30 448 28 0 0
T31 539 33 0 0
T32 945 57 0 0
T33 789 44 0 0
T34 462 26 0 0
T35 425 25 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 1277359 0 0 0

Line Coverage for Instance : tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT4,T5,T6

Branch Coverage for Instance : tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 1 50.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 1 50.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 87192814 277854 0 0
SyncReqAckHoldReq 1277359 0 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 87192814 277854 0 0
T4 7427 113 0 0
T5 13633 209 0 0
T6 1690 24 0 0
T29 2991 43 0 0
T30 1933 29 0 0
T31 2287 34 0 0
T32 3992 61 0 0
T33 3118 45 0 0
T34 1889 26 0 0
T35 1769 26 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 1277359 0 0 0

Line Coverage for Instance : tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T4 T5 T6  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T4 T5 T6  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T4 T5 T6  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T4 T5 T6  223 1/1 src_ack_o = 1'b0; Tests: T4 T5 T6  224 225 1/1 unique case (src_fsm_cs) Tests: T4 T5 T6  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T4 T5 T6  230 1/1 src_ack_o = src_ack; Tests: T4 T5 T6  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T4 T5 T6  234 1/1 src_fsm_ns = ODD; Tests: T4 T5 T6  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T4 T5 T6  242 1/1 src_ack_o = ~src_ack; Tests: T4 T5 T6  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T4 T5 T6  246 1/1 src_fsm_ns = EVEN; Tests: T4 T5 T6  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T4 T5 T6  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T4 T5 T6  267 1/1 dst_ack_d = dst_ack_q; Tests: T4 T5 T6  268 269 1/1 unique case (dst_fsm_cs) Tests: T4 T5 T6  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T4 T5 T6  274 1/1 dst_ack_d = dst_ack_i; Tests: T4 T5 T6  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T4 T5 T6  278 1/1 dst_fsm_ns = ODD; Tests: T4 T5 T6  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T4 T5 T6  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T4 T5 T6  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T4 T5 T6  290 1/1 dst_fsm_ns = EVEN; Tests: T4 T5 T6  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Unreachable
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT4,T5,T6

Branch Coverage for Instance : tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T4,T5,T6
EVEN 0 - Covered T4,T5,T6
ODD - 1 Covered T4,T5,T6
ODD - 0 Covered T4,T5,T6


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 1 50.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 1 50.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 41895022 277801 0 0
SyncReqAckHoldReq 1277359 0 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 41895022 277801 0 0
T4 3565 113 0 0
T5 6544 209 0 0
T6 778 23 0 0
T29 1435 43 0 0
T30 928 29 0 0
T31 1097 34 0 0
T32 1916 60 0 0
T33 1497 45 0 0
T34 907 26 0 0
T35 849 26 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 1277359 0 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T9 T1 T10  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T9 T1 T10  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T9 T1 T10  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T9 T1 T10  223 1/1 src_ack_o = 1'b0; Tests: T9 T1 T10  224 225 1/1 unique case (src_fsm_cs) Tests: T9 T1 T10  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T9 T1 T10  230 1/1 src_ack_o = src_ack; Tests: T9 T1 T10  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T9 T1 T10  234 1/1 src_fsm_ns = ODD; Tests: T9 T1 T10  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T9 T1 T10  242 1/1 src_ack_o = ~src_ack; Tests: T9 T1 T10  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T9 T1 T10  246 1/1 src_fsm_ns = EVEN; Tests: T9 T1 T10  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T9 T1 T10  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T9 T1 T10  267 1/1 dst_ack_d = dst_ack_q; Tests: T9 T1 T10  268 269 1/1 unique case (dst_fsm_cs) Tests: T9 T1 T10  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T9 T1 T10  274 1/1 dst_ack_d = dst_ack_i; Tests: T9 T1 T10  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T9 T1 T10  278 1/1 dst_fsm_ns = ODD; Tests: T9 T1 T10  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T9 T1 T10  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T9 T1 T10  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T9 T1 T10  290 1/1 dst_fsm_ns = EVEN; Tests: T9 T1 T10  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT9,T1,T10
11CoveredT9,T1,T10

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT9,T1,T10

Branch Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 39397092 12216 0 0
SyncReqAckHoldReq 81499841 11711 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39397092 12216 0 0
T1 106533 18 0 0
T2 0 4 0 0
T3 0 41 0 0
T9 9271 2 0 0
T10 0 10 0 0
T11 0 31 0 0
T12 0 27 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 991 0 0 0
T54 1250 0 0 0
T55 1680 0 0 0
T56 1311 0 0 0
T57 1130 0 0 0
T58 2705 0 0 0
T59 964 0 0 0
T60 2112 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 81499841 11711 0 0
T1 70871 18 0 0
T2 0 4 0 0
T3 0 36 0 0
T9 8900 2 0 0
T10 0 10 0 0
T11 0 26 0 0
T12 0 26 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 3807 0 0 0
T54 4620 0 0 0
T55 1696 0 0 0
T56 2475 0 0 0
T57 4344 0 0 0
T58 2597 0 0 0
T59 15434 0 0 0
T60 9655 0 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T9 T1 T10  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T9 T1 T10  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T9 T1 T10  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T9 T1 T10  223 1/1 src_ack_o = 1'b0; Tests: T9 T1 T10  224 225 1/1 unique case (src_fsm_cs) Tests: T9 T1 T10  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T9 T1 T10  230 1/1 src_ack_o = src_ack; Tests: T9 T1 T10  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T9 T1 T10  234 1/1 src_fsm_ns = ODD; Tests: T9 T1 T10  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T9 T1 T10  242 1/1 src_ack_o = ~src_ack; Tests: T9 T1 T10  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T9 T1 T10  246 1/1 src_fsm_ns = EVEN; Tests: T9 T1 T10  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T9 T1 T10  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T9 T1 T10  267 1/1 dst_ack_d = dst_ack_q; Tests: T9 T1 T10  268 269 1/1 unique case (dst_fsm_cs) Tests: T9 T1 T10  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T9 T1 T10  274 1/1 dst_ack_d = dst_ack_i; Tests: T9 T1 T10  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T9 T1 T10  278 1/1 dst_fsm_ns = ODD; Tests: T9 T1 T10  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T9 T1 T10  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T9 T1 T10  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T9 T1 T10  290 1/1 dst_fsm_ns = EVEN; Tests: T9 T1 T10  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT9,T1,T10
11CoveredT9,T1,T10

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT9,T1,T10

Branch Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 39397092 12216 0 0
SyncReqAckHoldReq 39771598 11706 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39397092 12216 0 0
T1 106533 18 0 0
T2 0 4 0 0
T3 0 41 0 0
T9 9271 2 0 0
T10 0 10 0 0
T11 0 31 0 0
T12 0 27 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 991 0 0 0
T54 1250 0 0 0
T55 1680 0 0 0
T56 1311 0 0 0
T57 1130 0 0 0
T58 2705 0 0 0
T59 964 0 0 0
T60 2112 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39771598 11706 0 0
T1 35396 18 0 0
T2 0 4 0 0
T3 0 36 0 0
T9 2943 2 0 0
T10 0 10 0 0
T11 0 26 0 0
T12 0 26 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 1857 0 0 0
T54 2257 0 0 0
T55 829 0 0 0
T56 1212 0 0 0
T57 2344 0 0 0
T58 1382 0 0 0
T59 7650 0 0 0
T60 4795 0 0 0

Line Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T9 T1 T10  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T9 T1 T10  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T9 T1 T10  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T9 T1 T10  223 1/1 src_ack_o = 1'b0; Tests: T9 T1 T10  224 225 1/1 unique case (src_fsm_cs) Tests: T9 T1 T10  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T9 T1 T10  230 1/1 src_ack_o = src_ack; Tests: T9 T1 T10  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T9 T1 T10  234 1/1 src_fsm_ns = ODD; Tests: T9 T1 T10  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T9 T1 T10  242 1/1 src_ack_o = ~src_ack; Tests: T9 T1 T10  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T9 T1 T10  246 1/1 src_fsm_ns = EVEN; Tests: T9 T1 T10  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T9 T1 T10  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T9 T1 T10  267 1/1 dst_ack_d = dst_ack_q; Tests: T9 T1 T10  268 269 1/1 unique case (dst_fsm_cs) Tests: T9 T1 T10  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T9 T1 T10  274 1/1 dst_ack_d = dst_ack_i; Tests: T9 T1 T10  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T9 T1 T10  278 1/1 dst_fsm_ns = ODD; Tests: T9 T1 T10  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T9 T1 T10  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T9 T1 T10  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T9 T1 T10  290 1/1 dst_fsm_ns = EVEN; Tests: T9 T1 T10  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT9,T1,T10
11CoveredT9,T1,T10

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT9,T1,T10

Branch Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 39397092 12216 0 0
SyncReqAckHoldReq 19885397 11688 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39397092 12216 0 0
T1 106533 18 0 0
T2 0 4 0 0
T3 0 41 0 0
T9 9271 2 0 0
T10 0 10 0 0
T11 0 31 0 0
T12 0 27 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 991 0 0 0
T54 1250 0 0 0
T55 1680 0 0 0
T56 1311 0 0 0
T57 1130 0 0 0
T58 2705 0 0 0
T59 964 0 0 0
T60 2112 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 19885397 11688 0 0
T1 17698 18 0 0
T2 0 4 0 0
T3 0 36 0 0
T9 1472 2 0 0
T10 0 10 0 0
T11 0 26 0 0
T12 0 26 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 928 0 0 0
T54 1128 0 0 0
T55 415 0 0 0
T56 606 0 0 0
T57 1171 0 0 0
T58 690 0 0 0
T59 3825 0 0 0
T60 2397 0 0 0

Line Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T9 T1 T10  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T9 T1 T10  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T9 T1 T10  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T9 T1 T10  223 1/1 src_ack_o = 1'b0; Tests: T9 T1 T10  224 225 1/1 unique case (src_fsm_cs) Tests: T9 T1 T10  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T9 T1 T10  230 1/1 src_ack_o = src_ack; Tests: T9 T1 T10  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T9 T1 T10  234 1/1 src_fsm_ns = ODD; Tests: T9 T1 T10  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T9 T1 T10  242 1/1 src_ack_o = ~src_ack; Tests: T9 T1 T10  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T9 T1 T10  246 1/1 src_fsm_ns = EVEN; Tests: T9 T1 T10  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T9 T1 T10  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T9 T1 T10  267 1/1 dst_ack_d = dst_ack_q; Tests: T9 T1 T10  268 269 1/1 unique case (dst_fsm_cs) Tests: T9 T1 T10  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T9 T1 T10  274 1/1 dst_ack_d = dst_ack_i; Tests: T9 T1 T10  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T9 T1 T10  278 1/1 dst_fsm_ns = ODD; Tests: T9 T1 T10  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T9 T1 T10  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T9 T1 T10  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T9 T1 T10  290 1/1 dst_fsm_ns = EVEN; Tests: T9 T1 T10  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT9,T1,T10
11CoveredT9,T1,T10

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT9,T1,T10

Branch Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T9,T1,T10
ODD - 0 Covered T9,T1,T10


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 39397092 12216 0 0
SyncReqAckHoldReq 89866841 11711 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39397092 12216 0 0
T1 106533 18 0 0
T2 0 4 0 0
T3 0 41 0 0
T9 9271 2 0 0
T10 0 10 0 0
T11 0 31 0 0
T12 0 27 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 991 0 0 0
T54 1250 0 0 0
T55 1680 0 0 0
T56 1311 0 0 0
T57 1130 0 0 0
T58 2705 0 0 0
T59 964 0 0 0
T60 2112 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 89866841 11711 0 0
T1 103824 18 0 0
T2 0 4 0 0
T3 0 36 0 0
T9 9271 2 0 0
T10 0 10 0 0
T11 0 26 0 0
T12 0 26 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 3966 0 0 0
T54 4812 0 0 0
T55 1767 0 0 0
T56 2633 0 0 0
T57 4525 0 0 0
T58 2705 0 0 0
T59 16078 0 0 0
T60 10058 0 0 0

Line Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T9 T1 T10  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T9 T1 T10  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T9 T1 T10  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T9 T1 T10  223 1/1 src_ack_o = 1'b0; Tests: T9 T1 T10  224 225 1/1 unique case (src_fsm_cs) Tests: T9 T1 T10  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T9 T1 T10  230 1/1 src_ack_o = src_ack; Tests: T9 T1 T10  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T9 T1 T10  234 1/1 src_fsm_ns = ODD; Tests: T9 T1 T10  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T9 T1 T10  242 1/1 src_ack_o = ~src_ack; Tests: T9 T1 T10  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T9 T1 T10  246 1/1 src_fsm_ns = EVEN; Tests: T1 T10 T2  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T9 T1 T10  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T9 T1 T10  267 1/1 dst_ack_d = dst_ack_q; Tests: T9 T1 T10  268 269 1/1 unique case (dst_fsm_cs) Tests: T9 T1 T10  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T9 T1 T10  274 1/1 dst_ack_d = dst_ack_i; Tests: T9 T1 T10  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T9 T1 T10  278 1/1 dst_fsm_ns = ODD; Tests: T9 T1 T10  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T9 T1 T10  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T9 T1 T10  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T9 T1 T10  290 1/1 dst_fsm_ns = EVEN; Tests: T1 T10 T2  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT9,T1,T10
11CoveredT9,T1,T10

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT9,T1,T10

Branch Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T1,T10,T2
ODD - 0 Covered T9,T1,T10


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T9,T1,T10
EVEN 0 - Covered T9,T1,T10
ODD - 1 Covered T1,T10,T2
ODD - 0 Covered T9,T1,T10


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 39397092 11729 0 0
SyncReqAckHoldReq 43178534 11148 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 39397092 11729 0 0
T1 106533 18 0 0
T2 0 4 0 0
T3 0 41 0 0
T9 9271 1 0 0
T10 0 6 0 0
T11 0 31 0 0
T12 0 27 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 991 0 0 0
T54 1250 0 0 0
T55 1680 0 0 0
T56 1311 0 0 0
T57 1130 0 0 0
T58 2705 0 0 0
T59 964 0 0 0
T60 2112 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 43178534 11148 0 0
T1 49836 18 0 0
T2 0 4 0 0
T3 0 36 0 0
T9 4450 1 0 0
T10 0 5 0 0
T11 0 26 0 0
T12 0 26 0 0
T21 0 20 0 0
T40 0 16 0 0
T52 0 26 0 0
T53 1903 0 0 0
T54 2309 0 0 0
T55 848 0 0 0
T56 1171 0 0 0
T57 2172 0 0 0
T58 1299 0 0 0
T59 7717 0 0 0
T60 4828 0 0 0

Line Coverage for Instance : tb.dut.u_io_meas.u_err_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T39 T15 T16  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T39 T15 T16  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T39 T15 T16  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T39 T15 T16  223 1/1 src_ack_o = 1'b0; Tests: T39 T15 T16  224 225 1/1 unique case (src_fsm_cs) Tests: T39 T15 T16  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T39 T15 T16  230 1/1 src_ack_o = src_ack; Tests: T39 T15 T16  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T39 T15 T16  234 1/1 src_fsm_ns = ODD; Tests: T39 T15 T16  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T39 T15 T16  242 1/1 src_ack_o = ~src_ack; Tests: T39 T15 T16  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T39 T15 T16  246 1/1 src_fsm_ns = EVEN; Tests: T39 T15 T16  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T39 T15 T16  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T39 T15 T16  267 1/1 dst_ack_d = dst_ack_q; Tests: T39 T15 T16  268 269 1/1 unique case (dst_fsm_cs) Tests: T39 T15 T16  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T39 T15 T16  274 1/1 dst_ack_d = dst_ack_i; Tests: T39 T15 T16  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T39 T15 T16  278 1/1 dst_fsm_ns = ODD; Tests: T39 T15 T16  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T39 T15 T16  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T39 T15 T16  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T39 T15 T16  290 1/1 dst_fsm_ns = EVEN; Tests: T39 T15 T16  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_meas.u_err_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT39,T15,T16
11CoveredT39,T15,T16

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT39,T15,T16

Branch Coverage for Instance : tb.dut.u_io_meas.u_err_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T39,T15,T16
EVEN 0 - Covered T39,T15,T16
ODD - 1 Covered T39,T15,T16
ODD - 0 Covered T39,T15,T16


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T39,T15,T16
EVEN 0 - Covered T39,T15,T16
ODD - 1 Covered T39,T15,T16
ODD - 0 Covered T39,T15,T16


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_meas.u_err_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38476463 1295 0 0
SyncReqAckHoldReq 78932889 1295 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38476463 1295 0 0
T15 0 12 0 0
T16 0 4 0 0
T17 0 7 0 0
T18 0 7 0 0
T19 0 5 0 0
T37 0 4 0 0
T38 0 3 0 0
T39 5869 5 0 0
T41 0 4 0 0
T42 0 9 0 0
T43 938 0 0 0
T44 1745 0 0 0
T45 1388 0 0 0
T46 23748 0 0 0
T47 1433 0 0 0
T48 1617 0 0 0
T49 971 0 0 0
T50 2047 0 0 0
T51 2090 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 78932889 1295 0 0
T15 0 12 0 0
T16 0 4 0 0
T17 0 7 0 0
T18 0 7 0 0
T19 0 5 0 0
T37 0 4 0 0
T38 0 3 0 0
T39 22539 5 0 0
T41 0 4 0 0
T42 0 9 0 0
T43 9015 0 0 0
T44 6706 0 0 0
T45 12109 0 0 0
T46 91194 0 0 0
T47 1376 0 0 0
T48 1553 0 0 0
T49 3505 0 0 0
T50 10348 0 0 0
T51 4180 0 0 0

Line Coverage for Instance : tb.dut.u_io_div2_meas.u_err_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T3 T11 T36  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T3 T11 T36  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T3 T11 T36  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T3 T11 T36  223 1/1 src_ack_o = 1'b0; Tests: T3 T11 T36  224 225 1/1 unique case (src_fsm_cs) Tests: T3 T11 T36  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T3 T11 T36  230 1/1 src_ack_o = src_ack; Tests: T3 T11 T36  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T3 T11 T36  234 1/1 src_fsm_ns = ODD; Tests: T3 T11 T36  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T3 T11 T36  242 1/1 src_ack_o = ~src_ack; Tests: T3 T11 T36  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T3 T11 T36  246 1/1 src_fsm_ns = EVEN; Tests: T3 T11 T36  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T3 T11 T36  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T3 T11 T36  267 1/1 dst_ack_d = dst_ack_q; Tests: T3 T11 T36  268 269 1/1 unique case (dst_fsm_cs) Tests: T3 T11 T36  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T3 T11 T36  274 1/1 dst_ack_d = dst_ack_i; Tests: T3 T11 T36  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T3 T11 T36  278 1/1 dst_fsm_ns = ODD; Tests: T3 T11 T36  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T3 T11 T36  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T3 T11 T36  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T3 T11 T36  290 1/1 dst_fsm_ns = EVEN; Tests: T3 T11 T36  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_div2_meas.u_err_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT3,T11,T36
11CoveredT3,T11,T36

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT3,T11,T36

Branch Coverage for Instance : tb.dut.u_io_div2_meas.u_err_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T36
EVEN 0 - Covered T3,T11,T36
ODD - 1 Covered T3,T11,T36
ODD - 0 Covered T3,T11,T36


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T36
EVEN 0 - Covered T3,T11,T36
ODD - 1 Covered T3,T11,T36
ODD - 0 Covered T3,T11,T36


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_div2_meas.u_err_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38476463 1315 0 0
SyncReqAckHoldReq 38533562 1315 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38476463 1315 0 0
T3 106366 11 0 0
T11 0 3 0 0
T14 0 4 0 0
T15 0 26 0 0
T16 0 3 0 0
T17 0 7 0 0
T18 0 4 0 0
T20 28818 0 0 0
T21 29879 0 0 0
T22 1573 0 0 0
T23 955 0 0 0
T24 857 0 0 0
T25 1799 0 0 0
T26 1435 0 0 0
T27 1513 0 0 0
T28 1568 0 0 0
T36 0 4 0 0
T37 0 14 0 0
T38 0 3 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38533562 1315 0 0
T3 102055 11 0 0
T11 0 3 0 0
T14 0 4 0 0
T15 0 26 0 0
T16 0 3 0 0
T17 0 7 0 0
T18 0 4 0 0
T20 12764 0 0 0
T21 36658 0 0 0
T22 1248 0 0 0
T23 2017 0 0 0
T24 1969 0 0 0
T25 838 0 0 0
T26 1149 0 0 0
T27 715 0 0 0
T28 709 0 0 0
T36 0 4 0 0
T37 0 14 0 0
T38 0 3 0 0

Line Coverage for Instance : tb.dut.u_io_div4_meas.u_err_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T3 T11 T13  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T3 T11 T13  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T3 T11 T13  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T3 T11 T13  223 1/1 src_ack_o = 1'b0; Tests: T3 T11 T13  224 225 1/1 unique case (src_fsm_cs) Tests: T3 T11 T13  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T3 T11 T13  230 1/1 src_ack_o = src_ack; Tests: T3 T11 T13  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T3 T11 T13  234 1/1 src_fsm_ns = ODD; Tests: T3 T11 T13  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T3 T11 T13  242 1/1 src_ack_o = ~src_ack; Tests: T3 T11 T13  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T3 T11 T13  246 1/1 src_fsm_ns = EVEN; Tests: T3 T11 T13  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T3 T11 T13  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T3 T11 T13  267 1/1 dst_ack_d = dst_ack_q; Tests: T3 T11 T13  268 269 1/1 unique case (dst_fsm_cs) Tests: T3 T11 T13  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T3 T11 T13  274 1/1 dst_ack_d = dst_ack_i; Tests: T3 T11 T13  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T3 T11 T13  278 1/1 dst_fsm_ns = ODD; Tests: T3 T11 T13  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T3 T11 T13  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T3 T11 T13  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T3 T11 T13  290 1/1 dst_fsm_ns = EVEN; Tests: T3 T11 T13  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_io_div4_meas.u_err_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT3,T11,T13
11CoveredT3,T11,T13

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT3,T11,T13

Branch Coverage for Instance : tb.dut.u_io_div4_meas.u_err_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T13
EVEN 0 - Covered T3,T11,T13
ODD - 1 Covered T3,T11,T13
ODD - 0 Covered T3,T11,T13


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T13
EVEN 0 - Covered T3,T11,T13
ODD - 1 Covered T3,T11,T13
ODD - 0 Covered T3,T11,T13


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_io_div4_meas.u_err_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38476463 1162 0 0
SyncReqAckHoldReq 19266395 1162 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38476463 1162 0 0
T3 106366 8 0 0
T11 0 3 0 0
T13 0 3 0 0
T15 0 8 0 0
T16 0 4 0 0
T17 0 9 0 0
T19 0 9 0 0
T20 28818 0 0 0
T21 29879 0 0 0
T22 1573 0 0 0
T23 955 0 0 0
T24 857 0 0 0
T25 1799 0 0 0
T26 1435 0 0 0
T27 1513 0 0 0
T28 1568 0 0 0
T37 0 11 0 0
T41 0 3 0 0
T42 0 14 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 19266395 1162 0 0
T3 51028 8 0 0
T11 0 3 0 0
T13 0 3 0 0
T15 0 8 0 0
T16 0 4 0 0
T17 0 9 0 0
T19 0 9 0 0
T20 6381 0 0 0
T21 18329 0 0 0
T22 624 0 0 0
T23 1009 0 0 0
T24 985 0 0 0
T25 419 0 0 0
T26 575 0 0 0
T27 358 0 0 0
T28 354 0 0 0
T37 0 11 0 0
T41 0 3 0 0
T42 0 14 0 0

Line Coverage for Instance : tb.dut.u_main_meas.u_err_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T3 T11 T13  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T3 T11 T13  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T3 T11 T13  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T3 T11 T13  223 1/1 src_ack_o = 1'b0; Tests: T3 T11 T13  224 225 1/1 unique case (src_fsm_cs) Tests: T3 T11 T13  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T3 T11 T13  230 1/1 src_ack_o = src_ack; Tests: T3 T11 T13  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T3 T11 T13  234 1/1 src_fsm_ns = ODD; Tests: T3 T11 T13  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T3 T11 T13  242 1/1 src_ack_o = ~src_ack; Tests: T3 T11 T13  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T3 T11 T13  246 1/1 src_fsm_ns = EVEN; Tests: T3 T11 T13  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T3 T11 T13  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T3 T11 T13  267 1/1 dst_ack_d = dst_ack_q; Tests: T3 T11 T13  268 269 1/1 unique case (dst_fsm_cs) Tests: T3 T11 T13  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T3 T11 T13  274 1/1 dst_ack_d = dst_ack_i; Tests: T3 T11 T13  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T3 T11 T13  278 1/1 dst_fsm_ns = ODD; Tests: T3 T11 T13  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T3 T11 T13  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T3 T11 T13  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T3 T11 T13  290 1/1 dst_fsm_ns = EVEN; Tests: T3 T11 T13  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_main_meas.u_err_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT3,T11,T13
11CoveredT3,T11,T13

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT3,T11,T13

Branch Coverage for Instance : tb.dut.u_main_meas.u_err_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T13
EVEN 0 - Covered T3,T11,T13
ODD - 1 Covered T3,T11,T13
ODD - 0 Covered T3,T11,T13


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T3,T11,T13
EVEN 0 - Covered T3,T11,T13
ODD - 1 Covered T3,T11,T13
ODD - 0 Covered T3,T11,T13


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_main_meas.u_err_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38476463 1188 0 0
SyncReqAckHoldReq 87192814 1188 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38476463 1188 0 0
T3 106366 7 0 0
T11 0 7 0 0
T13 0 3 0 0
T14 0 8 0 0
T15 0 18 0 0
T17 0 4 0 0
T18 0 4 0 0
T19 0 19 0 0
T20 28818 0 0 0
T21 29879 0 0 0
T22 1573 0 0 0
T23 955 0 0 0
T24 857 0 0 0
T25 1799 0 0 0
T26 1435 0 0 0
T27 1513 0 0 0
T28 1568 0 0 0
T36 0 5 0 0
T37 0 3 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 87192814 1188 0 0
T3 212733 7 0 0
T11 0 7 0 0
T13 0 3 0 0
T14 0 8 0 0
T15 0 18 0 0
T17 0 4 0 0
T18 0 4 0 0
T19 0 19 0 0
T20 35579 0 0 0
T21 118500 0 0 0
T22 2711 0 0 0
T23 4343 0 0 0
T24 3898 0 0 0
T25 1799 0 0 0
T26 2407 0 0 0
T27 1543 0 0 0
T28 1616 0 0 0
T36 0 5 0 0
T37 0 3 0 0

Line Coverage for Instance : tb.dut.u_usb_meas.u_err_sync
Line No.TotalCoveredPercent
TOTAL3636100.00
CONT_ASSIGN5500
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
ALWAYS2191212100.00
ALWAYS2631212100.00
ALWAYS30755100.00
ALWAYS31655100.00
CONT_ASSIGN33500
ALWAYS33900

54 logic unused_req_chk; 55 unreachable assign unused_req_chk = req_chk_i; 56 57 if (EnRzHs) begin : gen_rz_hs_protocol 58 ////////////////// 59 // RZ protocol // 60 ////////////////// 61 62 // Types 63 typedef enum logic { 64 LoSt, HiSt 65 } rz_fsm_e; 66 67 // Signals 68 rz_fsm_e src_fsm_d, src_fsm_q; 69 rz_fsm_e dst_fsm_d, dst_fsm_q; 70 logic src_ack, dst_ack; 71 logic src_req, dst_req; 72 73 // REQ-side FSM (SRC domain) 74 always_comb begin : src_fsm 75 src_fsm_d = src_fsm_q; 76 src_ack_o = 1'b0; 77 src_req = 1'b0; 78 79 unique case (src_fsm_q) 80 LoSt: begin 81 // Wait for the ack to go back to zero before starting 82 // a new transaction. 83 if (!src_ack && src_req_i) begin 84 src_fsm_d = HiSt; 85 end 86 end 87 HiSt: begin 88 src_req = 1'b1; 89 // Forward the acknowledgement. 90 src_ack_o = src_ack; 91 // If request drops out, we go back to LoSt. 92 // If DST side asserts ack, we also go back to LoSt. 93 if (!src_req_i || src_ack) begin 94 src_fsm_d = LoSt; 95 end 96 end 97 //VCS coverage off 98 // pragma coverage off 99 default: ; 100 //VCS coverage on 101 // pragma coverage on 102 endcase 103 end 104 105 // Move ACK over to SRC domain. 106 prim_flop_2sync #( 107 .Width(1) 108 ) ack_sync ( 109 .clk_i (clk_src_i), 110 .rst_ni (rst_src_ni), 111 .d_i (dst_ack), 112 .q_o (src_ack) 113 ); 114 115 // Registers 116 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 117 if (!rst_src_ni) begin 118 src_fsm_q <= LoSt; 119 end else begin 120 src_fsm_q <= src_fsm_d; 121 end 122 end 123 124 // ACK-side FSM (DST domain) 125 always_comb begin : dst_fsm 126 dst_fsm_d = dst_fsm_q; 127 dst_req_o = 1'b0; 128 dst_ack = 1'b0; 129 130 unique case (dst_fsm_q) 131 LoSt: begin 132 if (dst_req) begin 133 // Forward the request. 134 dst_req_o = 1'b1; 135 // Wait for the request and acknowledge to be asserted 136 // before responding to the SRC side. 137 if (dst_ack_i) begin 138 dst_fsm_d = HiSt; 139 end 140 end 141 end 142 HiSt: begin 143 dst_ack = 1'b1; 144 // Wait for the request to drop back to zero. 145 if (!dst_req) begin 146 dst_fsm_d = LoSt; 147 end 148 end 149 //VCS coverage off 150 // pragma coverage off 151 default: ; 152 //VCS coverage on 153 // pragma coverage on 154 endcase 155 end 156 157 // Move REQ over to DST domain. 158 prim_flop_2sync #( 159 .Width(1) 160 ) req_sync ( 161 .clk_i (clk_dst_i), 162 .rst_ni (rst_dst_ni), 163 .d_i (src_req), 164 .q_o (dst_req) 165 ); 166 167 // Registers 168 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 169 if (!rst_dst_ni) begin 170 dst_fsm_q <= LoSt; 171 end else begin 172 dst_fsm_q <= dst_fsm_d; 173 end 174 end 175 176 end else begin : gen_nrz_hs_protocol 177 ////////////////// 178 // NRZ protocol // 179 ////////////////// 180 181 // Types 182 typedef enum logic { 183 EVEN, ODD 184 } sync_reqack_fsm_e; 185 186 // Signals 187 sync_reqack_fsm_e src_fsm_ns, src_fsm_cs; 188 sync_reqack_fsm_e dst_fsm_ns, dst_fsm_cs; 189 190 logic src_req_d, src_req_q, src_ack; 191 logic dst_ack_d, dst_ack_q, dst_req; 192 logic src_handshake, dst_handshake; 193 194 1/1 assign src_handshake = src_req_i & src_ack_o; Tests: T2 T3 T11  195 1/1 assign dst_handshake = dst_req_o & dst_ack_i; Tests: T2 T3 T11  196 197 // Move REQ over to DST domain. 198 prim_flop_2sync #( 199 .Width(1) 200 ) req_sync ( 201 .clk_i (clk_dst_i), 202 .rst_ni (rst_dst_ni), 203 .d_i (src_req_q), 204 .q_o (dst_req) 205 ); 206 207 // Move ACK over to SRC domain. 208 prim_flop_2sync #( 209 .Width(1) 210 ) ack_sync ( 211 .clk_i (clk_src_i), 212 .rst_ni (rst_src_ni), 213 .d_i (dst_ack_q), 214 .q_o (src_ack) 215 ); 216 217 // REQ-side FSM (SRC domain) 218 always_comb begin : src_fsm 219 1/1 src_fsm_ns = src_fsm_cs; Tests: T2 T3 T11  220 221 // By default, we keep the internal REQ value and don't ACK. 222 1/1 src_req_d = src_req_q; Tests: T2 T3 T11  223 1/1 src_ack_o = 1'b0; Tests: T2 T3 T11  224 225 1/1 unique case (src_fsm_cs) Tests: T2 T3 T11  226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 1/1 src_req_d = src_req_i; Tests: T2 T3 T11  230 1/1 src_ack_o = src_ack; Tests: T2 T3 T11  231 232 // The handshake is done for exactly 1 clock cycle. 233 1/1 if (src_handshake) begin Tests: T2 T3 T11  234 1/1 src_fsm_ns = ODD; Tests: T2 T3 T11  235 end MISSING_ELSE 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 1/1 src_req_d = ~src_req_i; Tests: T2 T3 T11  242 1/1 src_ack_o = ~src_ack; Tests: T2 T3 T11  243 244 // The handshake is done for exactly 1 clock cycle. 245 1/1 if (src_handshake) begin Tests: T2 T3 T11  246 1/1 src_fsm_ns = EVEN; Tests: T2 T3 T11  247 end MISSING_ELSE 248 end 249 250 //VCS coverage off 251 // pragma coverage off 252 253 default: ; 254 255 //VCS coverage on 256 // pragma coverage on 257 258 endcase 259 end 260 261 // ACK-side FSM (DST domain) 262 always_comb begin : dst_fsm 263 1/1 dst_fsm_ns = dst_fsm_cs; Tests: T2 T3 T11  264 265 // By default, we don't REQ and keep the internal ACK. 266 1/1 dst_req_o = 1'b0; Tests: T2 T3 T11  267 1/1 dst_ack_d = dst_ack_q; Tests: T2 T3 T11  268 269 1/1 unique case (dst_fsm_cs) Tests: T2 T3 T11  270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 1/1 dst_req_o = dst_req; Tests: T2 T3 T11  274 1/1 dst_ack_d = dst_ack_i; Tests: T2 T3 T11  275 276 // The handshake is done for exactly 1 clock cycle. 277 1/1 if (dst_handshake) begin Tests: T2 T3 T11  278 1/1 dst_fsm_ns = ODD; Tests: T2 T3 T11  279 end MISSING_ELSE 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 1/1 dst_req_o = ~dst_req; Tests: T2 T3 T11  286 1/1 dst_ack_d = ~dst_ack_i; Tests: T2 T3 T11  287 288 // The handshake is done for exactly 1 clock cycle. 289 1/1 if (dst_handshake) begin Tests: T2 T3 T11  290 1/1 dst_fsm_ns = EVEN; Tests: T2 T3 T11  291 end MISSING_ELSE 292 end 293 294 //VCS coverage off 295 // pragma coverage off 296 297 default: ; 298 299 //VCS coverage on 300 // pragma coverage on 301 302 endcase 303 end 304 305 // Registers 306 always_ff @(posedge clk_src_i or negedge rst_src_ni) begin 307 1/1 if (!rst_src_ni) begin Tests: T4 T5 T6  308 1/1 src_fsm_cs <= EVEN; Tests: T4 T5 T6  309 1/1 src_req_q <= 1'b0; Tests: T4 T5 T6  310 end else begin 311 1/1 src_fsm_cs <= src_fsm_ns; Tests: T4 T5 T6  312 1/1 src_req_q <= src_req_d; Tests: T4 T5 T6  313 end 314 end 315 always_ff @(posedge clk_dst_i or negedge rst_dst_ni) begin 316 1/1 if (!rst_dst_ni) begin Tests: T4 T5 T6  317 1/1 dst_fsm_cs <= EVEN; Tests: T4 T5 T6  318 1/1 dst_ack_q <= 1'b0; Tests: T4 T5 T6  319 end else begin 320 1/1 dst_fsm_cs <= dst_fsm_ns; Tests: T4 T5 T6  321 1/1 dst_ack_q <= dst_ack_d; Tests: T4 T5 T6  322 end 323 end 324 end 325 326 //////////////// 327 // Assertions // 328 //////////////// 329 330 `ifdef INC_ASSERT 331 //VCS coverage off 332 // pragma coverage off 333 334 logic effective_rst_n; 335 unreachable assign effective_rst_n = rst_src_ni && rst_dst_ni; 336 337 logic chk_flag; 338 always_ff @(posedge clk_src_i or negedge effective_rst_n) begin 339 unreachable if (!effective_rst_n) begin 340 unreachable chk_flag <= '0; 341 unreachable end else if (src_req_i && !chk_flag) begin 342 unreachable chk_flag <= 1'b1; 343 end ==> MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_usb_meas.u_err_sync
TotalCoveredPercent
Conditions4375.00
Logical4375.00
Non-Logical00
Event00

 LINE       194
 EXPRESSION (src_req_i & src_ack_o)
             ----1----   ----2----
-1--2-StatusTests
01Not Covered
10CoveredT2,T3,T11
11CoveredT2,T3,T11

 LINE       195
 EXPRESSION (dst_req_o & dst_ack_i)
             ----1----   ----2----
-1--2-StatusTestsExclude Annotation
01Excluded VC_COV_UNR
10Excluded VC_COV_UNR
11CoveredT2,T3,T11

Branch Coverage for Instance : tb.dut.u_usb_meas.u_err_sync
Line No.TotalCoveredPercent
Branches 12 12 100.00
CASE 225 4 4 100.00
CASE 269 4 4 100.00
IF 307 2 2 100.00
IF 316 2 2 100.00


225 unique case (src_fsm_cs) -1- 226 227 EVEN: begin 228 // Simply forward REQ and ACK. 229 src_req_d = src_req_i; 230 src_ack_o = src_ack; 231 232 // The handshake is done for exactly 1 clock cycle. 233 if (src_handshake) begin -2- 234 src_fsm_ns = ODD; ==> 235 end MISSING_ELSE ==> 236 end 237 238 ODD: begin 239 // Internal REQ and ACK have inverted meaning now. If src_req_i is high again, this 240 // signals a new transaction. 241 src_req_d = ~src_req_i; 242 src_ack_o = ~src_ack; 243 244 // The handshake is done for exactly 1 clock cycle. 245 if (src_handshake) begin -3- 246 src_fsm_ns = EVEN; ==> 247 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T2,T3,T11
EVEN 0 - Covered T2,T3,T11
ODD - 1 Covered T2,T3,T11
ODD - 0 Covered T2,T3,T11


269 unique case (dst_fsm_cs) -1- 270 271 EVEN: begin 272 // Simply forward REQ and ACK. 273 dst_req_o = dst_req; 274 dst_ack_d = dst_ack_i; 275 276 // The handshake is done for exactly 1 clock cycle. 277 if (dst_handshake) begin -2- 278 dst_fsm_ns = ODD; ==> 279 end MISSING_ELSE ==> 280 end 281 282 ODD: begin 283 // Internal REQ and ACK have inverted meaning now. If dst_req goes low, this signals a new 284 // transaction. 285 dst_req_o = ~dst_req; 286 dst_ack_d = ~dst_ack_i; 287 288 // The handshake is done for exactly 1 clock cycle. 289 if (dst_handshake) begin -3- 290 dst_fsm_ns = EVEN; ==> 291 end MISSING_ELSE ==>

Branches:
-1--2--3-StatusTests
EVEN 1 - Covered T2,T3,T11
EVEN 0 - Covered T2,T3,T11
ODD - 1 Covered T2,T3,T11
ODD - 0 Covered T2,T3,T11


307 if (!rst_src_ni) begin -1- 308 src_fsm_cs <= EVEN; ==> 309 src_req_q <= 1'b0; 310 end else begin 311 src_fsm_cs <= src_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


316 if (!rst_dst_ni) begin -1- 317 dst_fsm_cs <= EVEN; ==> 318 dst_ack_q <= 1'b0; 319 end else begin 320 dst_fsm_cs <= dst_fsm_ns; ==>

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_usb_meas.u_err_sync
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 2 2 100.00 2 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 2 2 100.00 2 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SyncReqAckAckNeedsReq 38476463 1156 0 0
SyncReqAckHoldReq 41895022 1156 0 0


SyncReqAckAckNeedsReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 38476463 1156 0 0
T2 19365 4 0 0
T3 106366 10 0 0
T11 0 6 0 0
T14 0 4 0 0
T15 0 11 0 0
T16 0 3 0 0
T17 0 4 0 0
T19 0 12 0 0
T20 28818 0 0 0
T21 29879 0 0 0
T36 0 3 0 0
T37 0 3 0 0
T61 2264 0 0 0
T62 1592 0 0 0
T63 2051 0 0 0
T64 1570 0 0 0
T65 1845 0 0 0
T66 2059 0 0 0

SyncReqAckHoldReq
NameAttemptsReal SuccessesFailuresIncomplete
Total 41895022 1156 0 0
T2 9683 4 0 0
T3 102114 10 0 0
T11 0 6 0 0
T14 0 4 0 0
T15 0 11 0 0
T16 0 3 0 0
T17 0 4 0 0
T19 0 12 0 0
T20 17077 0 0 0
T21 56880 0 0 0
T36 0 3 0 0
T37 0 3 0 0
T61 5435 0 0 0
T62 764 0 0 0
T63 1047 0 0 0
T64 992 0 0 0
T65 894 0 0 0
T66 4120 0 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%