| // Copyright lowRISC contributors. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| //================================================== |
| // This file contains the Excluded objects |
| // Generated By User: jdonjdon |
| // Format Version: 2 |
| // Date: Thu Jan 12 16:23:26 2023 |
| // ExclMode: default |
| //================================================== |
| CHECKSUM: "835220981 2115631974" |
| INSTANCE: tb.dut.u_tlul_adapter.u_reqfifo |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (2) "gen_normal_fifo.full 0,0" |
| CHECKSUM: "835220981 2115631974" |
| INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (0) "gen_normal_fifo.full 1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (2) "gen_normal_fifo.full 0,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3867317506" "gen_normal_fifo.empty" (1) "gen_normal_fifo.empty 0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 3 "2429929352" "gen_normal_fifo.fifo_incr_wptr" (0) "gen_normal_fifo.fifo_incr_wptr 1" |
| CHECKSUM: "835220981 3240364287" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (0) "gen_normal_fifo.full 1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (2) "gen_normal_fifo.full 0,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "4156807255" "(gen_normal_fifo.fifo_empty && wvalid_i)" (0) "(gen_normal_fifo.fifo_empty && wvalid_i) 1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 2 "3867317506" "gen_normal_fifo.empty" (1) "gen_normal_fifo.empty 0" |
| CHECKSUM: "1335069400 3286487832" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3662748946" "(vld_rd_rsp & (~d_error))" (0) "(vld_rd_rsp & (~d_error)) 1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 2 "1058271942" "(vld_rd_rsp && reqfifo_rdata.error)" (0) "(vld_rd_rsp && reqfifo_rdata.error) 1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 2 "1058271942" "(vld_rd_rsp && reqfifo_rdata.error)" (1) "(vld_rd_rsp && reqfifo_rdata.error) 0,1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 4 "1984420262" "((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))" (0) "((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error)) 1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 6 "744749108" "reqfifo_rvalid" (1) "reqfifo_rvalid 1,0,1" |
| CHECKSUM: "999092902 1653597412" |
| INSTANCE: tb.dut.u_packer |
| ANNOTATION: "VC_COV_UNR" |
| Branch 4 "1475310489" "{ack_in, ack_out}" (4) "{ack_in, ack_out} default" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 7 "154724253" "flush_st" (4) "flush_st default,-,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 8 "1280311922" "{ack_in, ack_out}" (6) "{ack_in, ack_out} default,-,-" |
| CHECKSUM: "1950307692 3161287359" |
| INSTANCE: tb.dut.u_reg.u_socket |
| ANNOTATION: "VC_COV_UNR" |
| Branch 4 "3202860295" "(!rst_ni)" (2) "(!rst_ni) 0,1,0,-" |
| CHECKSUM: "2736927696 689627449" |
| INSTANCE: tb.dut.u_tlul_adapter.u_reqfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "353148737" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3145009581" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| CHECKSUM: "2736927696 689627449" |
| INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "353148737" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "353148737" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3145009581" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3145009581" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| CHECKSUM: "2736927696 689627449" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "353148737" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "353148737" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3145009581" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "3145009581" "(!rst_ni)" (3) "(!rst_ni) 0,0,0,1" |
| CHECKSUM: "2736927696 2852341788" |
| INSTANCE: tb.dut.u_tlul_adapter.u_reqfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Block 12 "398307645" "wptr_o <= (wptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| ANNOTATION: "VC_COV_UNR" |
| Block 21 "2517571270" "rptr_o <= (rptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| CHECKSUM: "2736927696 2852341788" |
| INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Block 10 "4069176908" "wptr_o <= wptr_wrap_cnt;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 12 "398307645" "wptr_o <= (wptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| ANNOTATION: "VC_COV_UNR" |
| Block 19 "1872197384" "rptr_o <= rptr_wrap_cnt;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 21 "2517571270" "rptr_o <= (rptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| CHECKSUM: "2736927696 2852341788" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo.gen_normal_fifo.u_fifo_cnt |
| ANNOTATION: "VC_COV_UNR" |
| Block 10 "4069176908" "wptr_o <= wptr_wrap_cnt;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 12 "398307645" "wptr_o <= (wptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| ANNOTATION: "VC_COV_UNR" |
| Block 19 "1872197384" "rptr_o <= rptr_wrap_cnt;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 21 "2517571270" "rptr_o <= (rptr_o + {{(Width - 1) {1'b0}}, 1'b1});" |
| CHECKSUM: "780345221 2259612760" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "VC_COV_UNR" |
| Block 17 "4027274935" "shaf_rdata = 32'b0;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 21 "1204919414" "shaf_rdata = '0;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 48 "1336235969" "st_d = StLenHi;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 51 "1401847624" "st_d = StLenLo;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 52 "3587469932" "st_d = StIdle;" |
| CHECKSUM: "999092902 3078508350" |
| INSTANCE: tb.dut.u_packer |
| ANNOTATION: "VC_COV_UNR" |
| Block 10 "1981125856" "g_pos_nodup.pos_d = pos_q;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 34 "3749211527" "stored_data_next = stored_data;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 50 "523577107" "flush_st_next = FlushIdle;" |
| CHECKSUM: "835220981 190418284" |
| INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo |
| ANNOTATION: "VC_COV_UNR" |
| Block 20 "4186874349" "gen_normal_fifo.storage[0] <= wdata_i;" |
| CHECKSUM: "835220981 3463856793" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "VC_COV_UNR" |
| Block 20 "4186874349" "gen_normal_fifo.storage[0] <= wdata_i;" |
| CHECKSUM: "2480142477 4154222355" |
| INSTANCE: tb.dut.u_hmac |
| ANNOTATION: "VC_COV_UNR" |
| Block 65 "3587469932" "st_d = StIdle;" |
| CHECKSUM: "1335069400 1808241530" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "VC_COV_UNR" |
| Block 19 "2813655191" "d_valid = rspfifo_rvalid;" |
| CHECKSUM: "780345221 1874439602" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| Fsm st_q "1874439602" |
| ANNOTATION: "VC_COV_UNR" |
| Transition StLenHi->StIdle "4->0" |
| Fsm st_q "1874439602" |
| ANNOTATION: "VC_COV_UNR" |
| Transition StPad80->StIdle "2->0" |
| CHECKSUM: "1413060523 30650897" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "VC_COV_UNR" |
| Block 66 "1188562731" "fifo_st_d = FifoIdle;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 77 "3077716447" "fifo_st_d = FifoIdle;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 93 "1772964417" "init_hash = 1'b1;" |
| ANNOTATION: "VC_COV_UNR" |
| Block 95 "1516031695" "sha_st_d = ShaIdle;" |
| CHECKSUM: "1413060523 1951309995" |
| INSTANCE: tb.dut.u_sha2 |
| Fsm sha_st_q "3473294895" |
| ANNOTATION: "VC_COV_UNR" |
| Transition ShaUpdateDigest->ShaCompress "2->1" |
| CHECKSUM: "3349842086 2773930708" |
| INSTANCE: tb.dut.u_reg.u_chk.u_chk |
| ANNOTATION: "VC_COV_UNR" |
| Condition 87 "3676067614" "((syndrome_o == 7'h6b) ^ data_i[43]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 87 "3676067614" "((syndrome_o == 7'h6b) ^ data_i[43]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 89 "1626632997" "((syndrome_o == 7'h73) ^ data_i[44]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 89 "1626632997" "((syndrome_o == 7'h73) ^ data_i[44]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 91 "3339657325" "((syndrome_o == 7'h3d) ^ data_i[45]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 91 "3339657325" "((syndrome_o == 7'h3d) ^ data_i[45]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 93 "3924820959" "((syndrome_o == 7'h5d) ^ data_i[46]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 93 "3924820959" "((syndrome_o == 7'h5d) ^ data_i[46]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 95 "1623584509" "((syndrome_o == 7'h6d) ^ data_i[47]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 95 "1623584509" "((syndrome_o == 7'h6d) ^ data_i[47]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 97 "733446940" "((syndrome_o == 7'h75) ^ data_i[48]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 97 "733446940" "((syndrome_o == 7'h75) ^ data_i[48]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 99 "1337360872" "((syndrome_o == 7'h79) ^ data_i[49]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 99 "1337360872" "((syndrome_o == 7'h79) ^ data_i[49]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 101 "794112705" "((syndrome_o == 7'h3e) ^ data_i[50]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 101 "794112705" "((syndrome_o == 7'h3e) ^ data_i[50]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 103 "4015714319" "((syndrome_o == 7'h5e) ^ data_i[51]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 103 "4015714319" "((syndrome_o == 7'h5e) ^ data_i[51]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 105 "2292186193" "((syndrome_o == 7'h6e) ^ data_i[52]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 105 "2292186193" "((syndrome_o == 7'h6e) ^ data_i[52]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 107 "2321080821" "((syndrome_o == 7'h76) ^ data_i[53]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 107 "2321080821" "((syndrome_o == 7'h76) ^ data_i[53]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 109 "10578038" "((syndrome_o == 7'h7a) ^ data_i[54]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 109 "10578038" "((syndrome_o == 7'h7a) ^ data_i[54]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 111 "57810203" "((syndrome_o == 7'h7c) ^ data_i[55]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 111 "57810203" "((syndrome_o == 7'h7c) ^ data_i[55]) 1 -1" (4 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 113 "3364043580" "((syndrome_o == 7'h7f) ^ data_i[56]) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 113 "3364043580" "((syndrome_o == 7'h7f) ^ data_i[56]) 1 -1" (4 "11") |
| CHECKSUM: "2972535896 2331745845" |
| INSTANCE: tb.dut.u_reg.u_msg_length_lower |
| ANNOTATION: "VC_COV_UNR" |
| Condition 1 "1896215154" "(wr_en ? wr_data : qs) 1 -1" (1 "0") |
| CHECKSUM: "2972535896 2331745845" |
| INSTANCE: tb.dut.u_reg.u_msg_length_upper |
| ANNOTATION: "VC_COV_UNR" |
| Condition 1 "1896215154" "(wr_en ? wr_data : qs) 1 -1" (1 "0") |
| CHECKSUM: "1413060523 1885872981" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "VC_COV_UNR" |
| Condition 1 "3552747080" "(((!run_hash)) && update_w_from_fifo) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "343463824" "(((!sha_en)) || clear_digest) 1 -1" (2 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 6 "31187075" "(fifo_st_q == FifoWait) 1 -1" (2 "1") |
| CHECKSUM: "780345221 1765742624" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "4019777591" "(sha_en && hash_start) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 6 "2249151938" "(shaf_rready && txcnt_eq_1a0) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "4245900456" "(shaf_rready && ((!txcnt_eq_1a0))) 1 -1" (2 "10") |
| CHECKSUM: "2480142477 4234532693" |
| INSTANCE: tb.dut.u_hmac |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "1671356253" "(fifo_wsel && fifo_wvalid) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "1671356253" "(fifo_wsel && fifo_wvalid) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 27 "3166368812" "((sel_rdata == SelFifo) ? fifo_rdata : ('{(*adjust*)default:'0, (*adjust*)default:'0})) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 28 "1320860652" "(sel_rdata == SelFifo) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 32 "2917167294" "((sel_msglen == SelOPadMsg) ? ((BlockSize64 + 64'h0000000000000100)) : '0) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 33 "3519635535" "(sel_msglen == SelOPadMsg) 1 -1" (1 "0") |
| CHECKSUM: "1615821554 1436804683" |
| INSTANCE: tb.dut |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "2339369910" "(msg_write && sha_en && packer_ready) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 3 "2379535309" "(fifo_wvalid & sha_en) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "897841336" "(msg_write & sha_en) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 10 "1585050789" "(msg_fifo_req & ((~msg_fifo_we))) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 15 "551143601" "(msg_fifo_req & msg_fifo_we & ((~hmac_fifo_wsel)) & msg_allowed) 1 -1" (2 "1011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 15 "551143601" "(msg_fifo_req & msg_fifo_we & ((~hmac_fifo_wsel)) & msg_allowed) 1 -1" (3 "1101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 23 "2180223097" "(((!reg_fifo_wvalid)) && ((!fifo_rvalid)) && hmac_core_idle && sha_core_idle) 1 -1" (1 "0111") |
| CHECKSUM: "835220981 1653115005" |
| INSTANCE: tb.dut.u_tlul_adapter.u_sramreqfifo |
| ANNOTATION: "VC_COV_UNR" |
| Condition 1 "2331864568" "(gen_normal_fifo.full ? (1'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value))))) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "4002946372" "((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 3 "1926118060" "(gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (4 "111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (4 "111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 6 "342355206" "(((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 8 "2721421913" "(gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}})) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 10 "2329396864" "(gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int) 1 -1" (1 "0") |
| CHECKSUM: "835220981 4142868326" |
| INSTANCE: tb.dut.u_msg_fifo |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "10") |
| CHECKSUM: "835220981 814234766" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "VC_COV_UNR" |
| Condition 1 "2331864568" "(gen_normal_fifo.full ? (1'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value))))) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "4002946372" "((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 3 "1926118060" "(gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (4 "111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (4 "111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 6 "342355206" "(((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 8 "2721421913" "(gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}})) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 10 "1937111844" "((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 11 "4208363759" "(gen_normal_fifo.fifo_empty && wvalid_i) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 11 "4208363759" "(gen_normal_fifo.fifo_empty && wvalid_i) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 12 "1531674702" "(gen_normal_fifo.fifo_empty & ((~wvalid_i))) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 12 "1531674702" "(gen_normal_fifo.fifo_empty & ((~wvalid_i))) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 13 "2860893437" "(gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int) 1 -1" (1 "0") |
| CHECKSUM: "835220981 2769699113" |
| INSTANCE: tb.dut.u_tlul_adapter.u_reqfifo |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "4002946372" "((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 3 "1926118060" "(gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) 1 -1" (1 "0") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "101") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "786039886" "(wvalid_i & wready_o & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (1 "011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 5 "1324655787" "(rvalid_o & rready_i & ((~gen_normal_fifo.under_rst))) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "1709501387" "(((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst))) 1 -1" (2 "10") |
| CHECKSUM: "1335069400 3743307317" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "VC_COV_UNR" |
| Condition 2 "3455933711" "(reqfifo_rdata.op == OpRead) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "3638058042" "(rspfifo_rdata.error | reqfifo_rdata.error) 1 -1" (1 "00") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 4 "3638058042" "(rspfifo_rdata.error | reqfifo_rdata.error) 1 -1" (3 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 7 "3253769203" "(intg_error | rsp_fifo_error | intg_error_q) 1 -1" (2 "001") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 12 "1155425989" "(wr_attr_error | wr_vld_error | rd_vld_error | instr_error | tlul_error | intg_error) 1 -1" (4 "000100") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 12 "1155425989" "(wr_attr_error | wr_vld_error | rd_vld_error | instr_error | tlul_error | intg_error) 1 -1" (7 "100000") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 15 "3623514242" "(req_o & gnt_i) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 16 "1378572318" "(d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead)) 1 -1" (1 "0111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 16 "1378572318" "(d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead)) 1 -1" (2 "1011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 16 "1378572318" "(d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead)) 1 -1" (4 "1110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 16 "1378572318" "(d_valid & reqfifo_rvalid & rspfifo_rvalid & (reqfifo_rdata.op == OpRead)) 1 -1" (5 "1111") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 18 "1059982851" "((vld_rd_rsp & ((~d_error))) ? rspfifo_rdata.data : error_blanking_data) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 19 "2807788926" "(vld_rd_rsp & ((~d_error))) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 19 "2807788926" "(vld_rd_rsp & ((~d_error))) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 20 "561780173" "((vld_rd_rsp && reqfifo_rdata.error) ? error_blanking_integ : (vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc)) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 21 "3130851184" "(vld_rd_rsp && reqfifo_rdata.error) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 21 "3130851184" "(vld_rd_rsp && reqfifo_rdata.error) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 22 "2942914969" "(vld_rd_rsp ? rspfifo_rdata.data_intg : prim_secded_pkg::SecdedInv3932ZeroEcc) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 28 "1798941048" "(d_valid && d_error) 1 -1" (1 "01") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 29 "1798941048" "((gnt_i | error_internal) & reqfifo_wready & sramreqfifo_wready) 1 -1" (3 "110") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 31 "3190027871" "(tl_i_int.a_valid & reqfifo_wready & ((~error_internal))) 1 -1" (1 "011") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 36 "721931741" "(sram_ack & ((~we_o))) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 37 "927800449" "(rvalid_i & reqfifo_rvalid) 1 -1" (2 "10") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 37 "927800449" "(rvalid_i & reqfifo_rvalid) 1 -1" (3 "11") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 38 "4228513916" "(((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error))) ? reqfifo_rready : 1'b0) 1 -1" (2 "1") |
| ANNOTATION: "VC_COV_UNR" |
| Condition 39 "1188394860" "((reqfifo_rdata.op == OpRead) & ((~reqfifo_rdata.error))) 1 -1" (3 "11") |
| ANNOTATION: "vcs_gen_start:i=0:vcs_gen_end:VC_COV_UNR" |
| Condition 42 "1762788283" "(((|wmask_intg)) & ((|wdata_intg))) 1 -1" (1 "01") |
| CHECKSUM: "1950307692 1271541636" |
| INSTANCE: tb.dut.u_reg.u_socket |
| ANNOTATION: "VC_COV_UNR" |
| Condition 3 "118253128" "(tl_t_o.a_valid & tl_t_i.a_ready) 1 -1" (1 "01") |
| CHECKSUM: "74367784 3785313510" |
| INSTANCE: tb.dut.u_reg.u_reg_if |
| ANNOTATION: "VC_COV_UNR" |
| Condition 18 "3340270436" "(addr_align_err | malformed_meta_err | tl_err | instr_error | intg_error) 1 -1" (5 "01000") |
| CHECKSUM: "2972535896 3554514034" |
| INSTANCE: tb.dut.u_reg.u_msg_length_lower |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "3759852512" "wr_en" (1) "wr_en 0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "1017474648" "(!rst_ni)" (2) "(!rst_ni) 0,0" |
| CHECKSUM: "2972535896 3554514034" |
| INSTANCE: tb.dut.u_reg.u_msg_length_upper |
| ANNOTATION: "VC_COV_UNR" |
| Branch 0 "3759852512" "wr_en" (1) "wr_en 0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "1017474648" "(!rst_ni)" (2) "(!rst_ni) 0,0" |
| CHECKSUM: "1413060523 1910287779" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "VC_COV_UNR" |
| Branch 7 "2566632963" "fifo_st_q" (2) "fifo_st_q FifoLoadFromFifo ,-,1,-,-,-,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 7 "2566632963" "fifo_st_q" (9) "fifo_st_q default,-,-,-,-,-,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 9 "1372145373" "sha_st_q" (6) "sha_st_q ShaUpdateDigest ,-,-,-,1" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 9 "1372145373" "sha_st_q" (8) "sha_st_q default,-,-,-,-" |
| CHECKSUM: "780345221 1561326489" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "2204272441" "sel_data" (5) "sel_data Pad80 ,default" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 1 "2204272441" "sel_data" (9) "sel_data default,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 3 "1711935383" "st_q" (13) "st_q StLenHi ,-,-,-,-,-,-,-,-,0,-" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 3 "1711935383" "st_q" (15) "st_q StLenLo ,-,-,-,-,-,-,-,-,-,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 3 "1711935383" "st_q" (16) "st_q default,-,-,-,-,-,-,-,-,-,-" |
| CHECKSUM: "2480142477 306896618" |
| INSTANCE: tb.dut.u_hmac |
| ANNOTATION: "VC_COV_UNR" |
| Branch 5 "247440950" "(!hmac_en)" (4) "(!hmac_en) 0,0,0,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 6 "112861967" "(!hmac_en)" (3) "(!hmac_en) 0,0,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 11 "3771009903" "(!rst_ni)" (3) "(!rst_ni) 0,0,0" |
| ANNOTATION: "VC_COV_UNR" |
| Branch 13 "4053701450" "st_q" (14) "st_q default,-,-,-,-,-,-,-" |
