| // 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: chencindy |
| // Format Version: 2 |
| // Date: Thu Nov 21 09:57:00 2019 |
| // ExclMode: default |
| //================================================== |
| CHECKSUM: "269741344 4232397943" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "[UNR]" |
| Block 48 "1336235969" "st_d = StLenHi;" |
| ANNOTATION: "[UNR]" |
| Block 51 "1401847624" "st_d = StLenLo;" |
| CHECKSUM: "3109872245 3727953184" |
| INSTANCE: tb.dut.u_reg.u_msg_length_lower |
| ANNOTATION: "[UNR] de is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign wr_en = de;" |
| CHECKSUM: "3109872245 3727953184" |
| INSTANCE: tb.dut.u_reg.u_msg_length_upper |
| Block 1 "0" "assign wr_en = de;" |
| CHECKSUM: "4294926009 3466268034" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 15 "1874817428" "if ((gen_normal_fifo.fifo_wptr[0] == (Depth - 1)))" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 32 "2823775765" "gen_normal_fifo.storage[0] <= wdata;" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 30 "0" "assign gen_normal_fifo.storage_rdata = gen_normal_fifo.storage[0];" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 26 "3968208487" "gen_normal_fifo.fifo_rptr <= (gen_normal_fifo.fifo_rptr + {{(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}, 1'b1});" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 25 "3085096792" "gen_normal_fifo.fifo_rptr <= {(~gen_normal_fifo.fifo_rptr[(gen_normal_fifo.PTR_WIDTH - 1)]), {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}};" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 24 "2927261095" "if ((gen_normal_fifo.fifo_rptr[0] == (Depth - 1)))" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 17 "3894529251" "gen_normal_fifo.fifo_wptr <= (gen_normal_fifo.fifo_wptr + {{(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}, 1'b1});" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Block 16 "1403547534" "gen_normal_fifo.fifo_wptr <= {(~gen_normal_fifo.fifo_wptr[(gen_normal_fifo.PTR_WIDTH - 1)]), {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}};" |
| CHECKSUM: "3885231045 1022284358" |
| INSTANCE: tb.dut.u_reg.u_socket.err_resp |
| ANNOTATION: "[UNR] Error response is captured in tlul_interface level, no error will land here in hmac" |
| Block 4 "3222429784" "err_req_pending <= 1'b1;" |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Block 16 "2498388664" "err_rsp_pending <= 1'b1;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_wipe_secret |
| ANNOTATION: "[UNR] qe is a constant, the coverage tool did not recognize it" |
| Block 3 "0" "assign qe = we;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_0 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_1 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_2 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_3 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_4 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_5 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_6 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "1352181506 3803838024" |
| INSTANCE: tb.dut.u_reg.u_key_7 |
| ANNOTATION: "[UNR] qs is a constant, the coverage tool did not recognize it" |
| Block 1 "0" "assign qs = d;" |
| CHECKSUM: "2768112785 1107844223" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "[UNR]" |
| Block 8 "2813655191" "d_valid = rspfifo_rvalid;" |
| CHECKSUM: "2796771826 1626244524" |
| INSTANCE: tb.dut.u_reg.u_socket |
| ANNOTATION: "[UNR] tool limitation, constant assignment was not recoginzed" |
| Block 46 "0" "assign tl_t_i.d_param = tl_t_p.d_param;" |
| ANNOTATION: "[UNR] tool limitation, constant assignment was not recoginzed" |
| Block 51 "0" "assign tl_t_i.d_user = tl_t_p.d_user;" |
| ANNOTATION: "[UNR] tool limitation, constant assignment was not recoginzed" |
| Block 49 "0" "assign tl_t_i.d_sink = tl_t_p.d_sink;" |
| CHECKSUM: "2494051891 751563062" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Block 4 "3089879024" "w <= (w ^ {16 {wipe_v}});" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Block 17 "2439061171" "for (i = 0; (i < 8); i += 1)" |
| ANNOTATION: "[UNR] sha_en will not be able to disable in sha engine" |
| Block 66 "1188562731" "fifo_st_d = FifoIdle;" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Block 28 "4026637440" "digest[i] <= (digest[i] ^ wipe_v);" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Block 27 "2439061171" "for (i = 0; (i < 8); i += 1)" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Block 18 "2459274912" "hash[i] <= (hash[i] ^ wipe_v);" |
| ANNOTATION: "[UNR] FUTURE_ITEM: throughput optimization" |
| Block 93 "1772964417" "init_hash = 1'b1;" |
| CHECKSUM: "105796099 742538552" |
| INSTANCE: tb.dut |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_o.d_user "logic tl_o.d_user[15:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_o.d_sink "logic tl_o.d_sink[0:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_o.d_param "logic tl_o.d_param[2:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_o.d_opcode [2] "logic tl_o.d_opcode[2:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_o.d_opcode [1] "logic tl_o.d_opcode[2:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_i.a_user.rsvd1 "logic tl_i.a_user.rsvd1[6:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_i.a_user.parity_en "logic tl_i.a_user.parity_en" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_i.a_user.parity "logic tl_i.a_user.parity[7:0]" |
| ANNOTATION: "[UNSUPPORTED]" |
| Toggle tl_i.a_param "logic tl_i.a_param[2:0]" |
| CHECKSUM: "3885231045 3584308528" |
| INSTANCE: tb.dut.u_reg.u_socket.err_resp |
| ANNOTATION: "[UNSUPPORTED] hmac msg fifo is WO" |
| Condition 4 "3386663962" "((err_opcode == Get) ? AccessAckData : AccessAck) 1 -1" (1 "0") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 1 "88665867" "(tl_h_i.a_valid && tl_h_o.a_ready) 1 -1" (2 "10") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 1 "88665867" "(tl_h_i.a_valid && tl_h_o.a_ready) 1 -1" (3 "11") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 2 "668656366" "((err_req_pending || err_rsp_pending) && ((!tl_h_i.d_ready))) 1 -1" (2 "10") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 3 "1227183287" "(err_req_pending || err_rsp_pending) 1 -1" (2 "01") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 3 "1227183287" "(err_req_pending || err_rsp_pending) 1 -1" (3 "10") |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Condition 2 "668656366" "((err_req_pending || err_rsp_pending) && ((!tl_h_i.d_ready))) 1 -1" (3 "11") |
| CHECKSUM: "2494051891 4119019890" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "[UNR] sha_en will not be able to disable in sha engine" |
| Condition 1 "3552747080" "(((!run_hash)) && update_w_from_fifo) 1 -1" (1 "01") |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Condition 2 "343463824" "(((!sha_en)) || clear_digest) 1 -1" (2 "01") |
| CHECKSUM: "269741344 330663518" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "[UNR]" |
| Condition 2 "4019777591" "(sha_en && hash_start) 1 -1" (1 "01") |
| ANNOTATION: "[UNR]" |
| Condition 5 "2249151938" "(shaf_rready && txcnt_eq_1a0) 1 -1" (1 "01") |
| ANNOTATION: "[UNR]" |
| Condition 6 "4245900456" "(shaf_rready && ((!txcnt_eq_1a0))) 1 -1" (2 "10") |
| CHECKSUM: "1534835248 4183345787" |
| INSTANCE: tb.dut.u_hmac |
| ANNOTATION: "[UNR]" |
| Condition 16 "614067625" "((sel_rdata == SelFifo) ? fifo_rdata : ('{default:'0, (*adjust*)default:'0, (*adjust*)default:'0})) 1 -1" (1 "0") |
| ANNOTATION: "[UNR]" |
| Condition 20 "2274840451" "(sha_rready && sha_rvalid) 1 -1" (2 "10") |
| ANNOTATION: "[UNR]" |
| Condition 2 "1671356253" "(fifo_wsel && fifo_wvalid) 1 -1" (1 "01") |
| ANNOTATION: "[UNR]" |
| Condition 2 "1671356253" "(fifo_wsel && fifo_wvalid) 1 -1" (2 "10") |
| ANNOTATION: "[UNR]" |
| Condition 7 "4243391834" "(fifo_wready && (fifo_wdata_sel == 3'h7)) 1 -1" (1 "01") |
| ANNOTATION: "[UNR]" |
| Condition 19 "268116615" "((sel_msglen == SelOPadMsg) ? ((BlockSize + 256)) : '0) 1 -1" (1 "0") |
| CHECKSUM: "105796099 3350126646" |
| INSTANCE: tb.dut |
| ANNOTATION: "[UNR]" |
| Condition 4 "1718103215" "(hmac_fifo_wsel && fifo_wready) 1 -1" (2 "10") |
| ANNOTATION: "[UNR]" |
| Condition 2 "157377054" "(reg_fifo_wvalid && fifo_wready && ((!hmac_fifo_wsel))) 1 -1" (3 "110") |
| CHECKSUM: "4294926009 1217716452" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Condition 4 "1115643068" "(gen_normal_fifo.fifo_empty && wvalid) 1 -1" (1 "01") |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Condition 4 "1115643068" "(gen_normal_fifo.fifo_empty && wvalid) 1 -1" (3 "11") |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Condition 2 "3256391329" "((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: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Condition 1 "1864599383" "(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: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Condition 3 "3985904135" "((gen_normal_fifo.fifo_empty && wvalid) ? wdata : gen_normal_fifo.storage_rdata) 1 -1" (2 "1") |
| CHECKSUM: "2768112785 1802779848" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "[UNSUPPORTED] hmac msg fifo is WO" |
| Condition 7 "4228513916" "((((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))) ? reqfifo_rready : 1'b0) 1 -1" (2 "1") |
| CHECKSUM: "3518855206 1814878003" |
| INSTANCE: tb.dut.u_packer |
| ANNOTATION: "[UNR]" |
| Condition 2 "2611056762" "(flush_i && ready_i) 1 -1" (2 "10") |
| CHECKSUM: "3885231045 4271210983" |
| INSTANCE: tb.dut.u_reg.u_socket.err_resp |
| ANNOTATION: "[UNSUPPORTED] hmac msg fifo is WO" |
| Branch 0 "2051317344" "(err_opcode == Get)" (1) "(err_opcode == Get) 0" |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Branch 2 "2710626646" "(!rst_ni)" (1) "(!rst_ni) 0,1" |
| ANNOTATION: "[UNR] error resp is handled at tlul interface level" |
| Branch 1 "2688379704" "(!rst_ni)" (1) "(!rst_ni) 0,1,-" |
| ANNOTATION: "[UNR]Tool said it is missing else statement, designer waived" |
| Branch 1 "2688379704" "(!rst_ni)" (3) "(!rst_ni) 0,0,0" |
| CHECKSUM: "2494051891 720836556" |
| INSTANCE: tb.dut.u_sha2 |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Branch 0 "382698320" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-,-,-" |
| ANNOTATION: "[UNR] FUTURE_ITEM: throughput optimization" |
| Branch 9 "1372145373" "sha_st_q" (6) "sha_st_q ShaUpdateDigest ,-,-,-,1" |
| ANNOTATION: "[UNR] Sha_en won't be modified during the msg_wr" |
| Branch 7 "2566632963" "fifo_st_q" (2) "fifo_st_q FifoLoadFromFifo ,-,1,-,-,-,-" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Branch 2 "1214035098" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-,-" |
| ANNOTATION: "[UNSUPPORTED] FUTURE_ITEM: wipe secret" |
| Branch 1 "3205957143" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| CHECKSUM: "269741344 1561326489" |
| INSTANCE: tb.dut.u_sha2.u_pad |
| ANNOTATION: "[UNR] default condition will never hit" |
| Branch 1 "2204272441" "sel_data" (5) "sel_data Pad80 ,default" |
| ANNOTATION: "[UNR] default condition will never hit" |
| Branch 1 "2204272441" "sel_data" (9) "sel_data default,-" |
| ANNOTATION: "[UNR]" |
| Branch 3 "1711935383" "st_q" (13) "st_q StLenHi ,-,-,-,-,-,-,-,-,0,-" |
| ANNOTATION: "[UNR]" |
| Branch 3 "1711935383" "st_q" (15) "st_q StLenLo ,-,-,-,-,-,-,-,-,-,0" |
| CHECKSUM: "1534835248 306896618" |
| INSTANCE: tb.dut.u_hmac |
| ANNOTATION: "[UNR]" |
| Branch 5 "247440950" "(!hmac_en)" (4) "(!hmac_en) 0,0,0,0" |
| ANNOTATION: "[UNR] tool indicate it is missing ELSE statement" |
| Branch 11 "3771009903" "(!rst_ni)" (3) "(!rst_ni) 0,0,0" |
| ANNOTATION: "[UNR]" |
| Branch 6 "112861967" "(!hmac_en)" (3) "(!hmac_en) 0,0,0" |
| CHECKSUM: "105796099 1990903220" |
| INSTANCE: tb.dut |
| ANNOTATION: "[UNSUPPORTED]" |
| Branch 2 "3069159744" "(!rst_ni)" (1) "(!rst_ni) 0,1,-" |
| CHECKSUM: "4294926009 3304381560" |
| INSTANCE: tb.dut.u_msg_fifo |
| ANNOTATION: "[UNSUPPORTED] clr_i is not supported in msg_fifo" |
| Branch 1 "3111323956" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| ANNOTATION: "[UNSUPPORTED] clr_i is not supported in msg_fifo" |
| Branch 2 "3307923597" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| CHECKSUM: "4294926009 775615818" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (0) "gen_normal_fifo.full 1,-" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 0 "1862733684" "gen_normal_fifo.full" (2) "gen_normal_fifo.full 0,0" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 4 "2429929352" "gen_normal_fifo.fifo_incr_wptr" (0) "gen_normal_fifo.fifo_incr_wptr 1" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 3 "3736627057" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 3 "3736627057" "(!rst_ni)" (3) "(!rst_ni) 0,0,1,0" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 3 "3736627057" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,1" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 2 "2323268504" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 2 "2323268504" "(!rst_ni)" (3) "(!rst_ni) 0,0,1,0" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 2 "2323268504" "(!rst_ni)" (2) "(!rst_ni) 0,0,1,1" |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Branch 1 "1900425597" "(gen_normal_fifo.fifo_empty && wvalid)" (0) "(gen_normal_fifo.fifo_empty && wvalid) 1" |
| CHECKSUM: "4294926009 1341275977" |
| INSTANCE: tb.dut.u_tlul_adapter.u_reqfifo |
| ANNOTATION: "[UNSUPPROTED] clr_i is not supported in hmac req fifo" |
| Branch 1 "2323268504" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| ANNOTATION: "[UNSUPPROTED] clr_i is not supported in hmac req fifo" |
| Branch 2 "3736627057" "(!rst_ni)" (1) "(!rst_ni) 0,1,-,-" |
| CHECKSUM: "2768112785 4121761780" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "[UNSUPPORTED] hmac msg fifo is WO" |
| Branch 2 "1984420262" "((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error))" (0) "((reqfifo_rdata.op == OpRead) & (~reqfifo_rdata.error)) 1" |
| ANNOTATION: "[UNSUPPORTED] hmac msg fifo is WO" |
| Branch 3 "744749108" "reqfifo_rvalid" (1) "reqfifo_rvalid 1,0,1" |
| CHECKSUM: "3109872245 1595801502" |
| INSTANCE: tb.dut.u_reg.u_msg_length_lower |
| Branch 1 "1017474648" "(!rst_ni)" (2) "(!rst_ni) 0,0" |
| CHECKSUM: "3109872245 1595801502" |
| INSTANCE: tb.dut.u_reg.u_msg_length_upper |
| ANNOTATION: "[UNR] de is a constant, the coverage tool did not recognize it" |
| Branch 1 "1017474648" "(!rst_ni)" (2) "(!rst_ni) 0,0" |
| CHECKSUM: "4294926009" |
| INSTANCE: tb.dut.u_tlul_adapter.u_rspfifo |
| ANNOTATION: "[UNR] u_rspfifo is not used in tlul_adapter" |
| Assert gen_normal_fifo.depthShallNotExceedParamDepth "assertion" |
| CHECKSUM: "2768112785" |
| INSTANCE: tb.dut.u_tlul_adapter |
| ANNOTATION: "[UNR]" |
| Assert rvalidHighReqFifoEmpty "assertion" |
| ANNOTATION: "[UNR]" |
| Assert rvalidHighWhenRspFifoFull "assertion" |
| CHECKSUM: "2494051891 1581044118" |
| INSTANCE: tb.dut.u_sha2 |
| Fsm sha_st_q "2028159779" |
| ANNOTATION: "[UNR] FUTURE_ITEM: throughput optimization" |
| Transition ShaUpdateDigest->ShaCompress "2->1" |
