 Assert gen_normal_fifo.depthShallNotExceedParamDepth "assertion"
 CHECKSUM: "2768112785"
 INSTANCE: tb.dut.u_tlul_adapter
+ANNOTATION: "[UNR]"
+Assert rvalidHighReqFifoEmpty "assertion"
+ANNOTATION: "[UNR]"
 Assert rvalidHighWhenRspFifoFull "assertion"
-Assert rvalidHighReqFifoEmpty "assertion"
 CHECKSUM: "2494051891 1581044118"
 INSTANCE: tb.dut.u_sha2
-ANNOTATION: "[UNR] FUTURE ITEM: throughput optimization"
 Fsm sha_st_q "2028159779"
+ANNOTATION: "[UNR] FUTURE_ITEM: throughput optimization"
 Transition ShaUpdateDigest->ShaCompress "2->1"

// This file contains the Excluded objects
// Generated By User: chencindy
// Format Version: 2
// Date: Fri Nov  8 10:10:15 2019
// ExclMode: default
//==================================================
CHECKSUM: "269741344 4232397943"
INSTANCE: tb.dut.u_sha2.u_pad
ANNOTATION: "[UNR]"
Block 48 "1336235969" "st_d = StLenHi;"
Block 51 "1401847624" "st_d = StLenLo;"
CHECKSUM: "3109872245 3727953184"
INSTANCE: tb.dut.u_reg.u_msg_length_lower

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_key0
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_key1
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_key2
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_key3
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_key4
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_key5
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_key6
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_key7
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]"
