Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total687010
Category 0687010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total687010
Severity 0687010


Summary for Assertions
NUMBERPERCENT
Total Number687100.00
Uncovered294.22
Success65895.78
Failure00.00
Incomplete10.15
Without Attempts60.87


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered00.00
All Matches10100.00
First Matches10100.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00178491392000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckAckNeedsReq 00178490489000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00546387782000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00178490489000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00178490489000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00178490489000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00178490489000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00546387782000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00546387782000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00546387782000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00546387782000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00546387782000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00546387782000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00546387782000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00546387782000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00546387782000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00546387782000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00178490489000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00178490489000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00178490489000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00178490489000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00178490489000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00178490489000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0054638778254630297100
tb.dut.CioSdoEnOKnown 0054638778254630297100
tb.dut.CioSdoEnOffWhenInactive 0054638778254630297100
tb.dut.FpvSecCmRegWeOnehotCheck_A 0054638778210000
tb.dut.IntrReadbufFlipOKnown 0054638778254630297100
tb.dut.IntrReadbufWatermarkOKnown 0054638778254630297100
tb.dut.IntrTpmHeaderNotEmptyOKnown 0054638778254630297100
tb.dut.IntrTpmRdfifoCmdEndOKnown 0054638778254630297100
tb.dut.IntrTpmRdfifoDropOKnown 0054638778254630297100
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0054638778254630297100
tb.dut.IntrUploadPayloadNotEmptyOKnown 0054638778254630297100
tb.dut.IntrUploadPayloadOverflowOKnown 0054638778254630297100
tb.dut.PayloadStartIdxWidthMatch_A 0092192100
tb.dut.SpiModeKnown_A 0054638778254630297100
tb.dut.TpmEnableWhenTpmCsbIdle_M 0054638778234200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00546387782208364800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0054638778220875800
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00546387782228100
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00546387782174800
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0054638778227798100
tb.dut.scanmodeKnown 0054638778254638778200
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00548850392331300
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00548850392127400
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00548850392134400
tb.dut.spi_device_csr_assert.cfg_rd_A 00548850392168400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00548850392830700
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00548850392807000
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00548850392831500
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00548850392684100
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00548850392775700
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00548850392839500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00548850392753600
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00548850392785700
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00548850392398400
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00548850392373300
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00548850392395600
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00548850392368900
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00548850392416300
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00548850392396200
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00548850392344600
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00548850392345400
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00548850392391400
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00548850392404200
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00548850392373400
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00548850392379200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00548850392384500
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00548850392393100
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00548850392359700
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00548850392392300
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00548850392413700
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00548850392341800
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00548850392349700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00548850392364000
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00548850392408300
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00548850392382900
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00548850392351000
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00548850392349900
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00548850392164800
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00548850392159300
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00548850392149900
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00548850392141200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00548850392221900
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00548850392355600
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00548850392153000
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00548850392143400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00548850392131700
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00548850392130800
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00548850392115800
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00548850392118700
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00548850392214000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00548850392138800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00548850392207100
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00548850392148600
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00548850392131900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00548850392120200
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00548850392137000
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00548850392132700
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00548850392122700
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00548850392135100
tb.dut.tlul_assert_device.aKnown_A 005488503921413139200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0054885039254872520800
tb.dut.tlul_assert_device.aReadyKnown_A 0054885039254872520800
tb.dut.tlul_assert_device.dKnown_A 005488503922560839800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0054885039254872520800
tb.dut.tlul_assert_device.dReadyKnown_A 0054885039254872520800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001096109600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00548851077585755800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00548850392731000
tb.dut.tlul_assert_device.gen_device.contigMask_M 005488510771090347000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005488510771699624900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00548850392603500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005488510771413139200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005488510772560839800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005488510771413139200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005488510772560839800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005488510772560839800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005488510772560839800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00548850392567300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00548850392570000
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001096109600
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00711587023700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0017849139217849047100
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0017849048917848971000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0017849048917848971000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0017849139217849047100
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0017849048913553011400
tb.dut.u_cmdparse.OnlyOneDatapath_A 001784904896928600
tb.dut.u_cmdparse.SelDpKnown_A 0017849048913553011400
tb.dut.u_cmdparse.StKnown_A 0017849048913553011400
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00702376959300
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0054638778253400
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0017849048953400
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0054638778236100
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0017849048936100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092192100
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092192100
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092192100
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092192100
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092192100
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092192100
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092192100
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092192100
tb.dut.u_jedec.JedecStKnown_A 0017849048913553011400
tb.dut.u_p2s.IoModeChangeValid_A 00178491392812600
tb.dut.u_p2s.IoModeDefault_A 001784913922816000
tb.dut.u_passthrough.PassThroughStKnown_A 0017849048913553011400
tb.dut.u_passthrough.PayloadSwapConstraint_M 00178490489137720800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00178490489522324300
tb.dut.u_readcmd.MailboxSizeMatch_M 0017849048913553011400
tb.dut.u_readcmd.ValidCmdConfig_A 0017849048923630500
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00178490489895900
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001784904897821000
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00178490489522324300
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00178490489131693000
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00178490489895900
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00178490489131639400
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00178490489131693000
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001784904892621810000
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001784904892621810000
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001784904892492804700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0017849048913553011400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001784904892492804700
tb.dut.u_reg.en2addrHit 00548850392985556000
tb.dut.u_reg.reAfterRv 00548850392985556000
tb.dut.u_reg.rePulse 00548850392761349800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001096109600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001096109600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001096109600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001096109600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001096109600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001096109600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001096109600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001096109600
tb.dut.u_reg.u_socket.NotOverflowed_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005488503921413139200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005488503922560839800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00548850392317713000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00548850392323795100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0054885039221546900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0054885039247411400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 005488503921047928100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005488503922189633300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0054885039254872520800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001096109600
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001096109600
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001096109600
tb.dut.u_reg.u_socket.maxN 001096109600
tb.dut.u_reg.wePulse 00548850392224206200
tb.dut.u_s2p.IoModeDefault_A 001784904892816000
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092192100
tb.dut.u_scanmode_sync.OutputsKnown_A 0054638778254630297100
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054638778254630297100
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001784904897114000
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0017849048977324000
tb.dut.u_spi_tpm.CmdAddrInfo_A 001784904897810300
tb.dut.u_spi_tpm.CmdPowerof2_A 0092192100
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092192100
tb.dut.u_spi_tpm.DataSelKnown_A 001784913924111380500
tb.dut.u_spi_tpm.HwRegCondition2_a 001784904891570300
tb.dut.u_spi_tpm.HwRegCondition_A 001784904899665500
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001784913924111380500
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001784904899665500
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092192100
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092192100
tb.dut.u_spi_tpm.RdPowerof2_A 0092192100
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001784904899665500
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092192100
tb.dut.u_spi_tpm.WrDepthSpec_A 0092192100
tb.dut.u_spi_tpm.WrFifoAvailable_A 0017849048962062900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092192100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0017849048992477700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0017849048927798100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0017849048927798100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0054638778254630184100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0017849048917848969800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092192100
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092192100
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00178490489864847600
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001784904894111380500
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00178490489864847600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092192100
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092192100
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0017849048912157300
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0054638778211647300
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092192100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0017849048959100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0054638778259100
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00178490489120381400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00178490489120381400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00178490489120381400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00178490489120381400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092192100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00546387782236162900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00546387782236162900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00546387782236162900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00546387782236162900
tb.dut.u_spid_status.BusyBitZero_A 0092192100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0017849048917848969800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0054638778254630184100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092192100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092192100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0054638778260921
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00546387782257441600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0054638778221278700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0054638778221278700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092192100
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092192100
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092192100
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00546387782320902200
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0054638778254630297100
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092192100
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092192100
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00546387782320902200
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00546387782320902200
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092192100
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092192100
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092192100
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092192100
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092192100
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0054638778246237200
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0054638778254630297100
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092192100
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0054638778220875800
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0054638778220875800
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092192100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0054638778246237200
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0054638778246237200
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092192100
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092192100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0054638778246237200
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0054638778246237200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0054638778220875800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0054638778254630297100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0054638778220875800
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00976049720900
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00976049720900
tb.dut.u_upload.AddrFifoNeverFull_M 00178490489174800
tb.dut.u_upload.CmdFifoNeverFull_M 00178490489228100
tb.dut.u_upload.CmdFifoPush_A 00178490489228100
tb.dut.u_upload.FifosOnlyOneValid_A 0017849048913553011400
tb.dut.u_upload.PayloadNeverFull_M 0017849048957915600
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092192100
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00546387782174800
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00178490489174800
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092192100
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00546387782174800
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00546387782174800
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00546387782174800
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00546387782174800
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00546387782174800
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0017849048917849048900
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092192100
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00178490489174800
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00178490489174800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092192100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0017849048958318500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0017849048958318500
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0017849048913553011400
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0017849048913553011400
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092192100
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00546387782228100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00178490489228100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092192100
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00546387782228100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00546387782228100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00546387782228100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00546387782228100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00546387782228100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0017849048917849048900
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092192100
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00178490489228100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00178490489228100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092192100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092192100
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00546387782228100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00178490489228100

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0054638778260921

Assertions Without Attempts:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown1 000000


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 005488510771008431008430
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00548851077200120010
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00548851077204320430
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00548851077136013600
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005488510771121120
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00548851077108810880
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005488510774484480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0054885107718324183240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00548851077123370312337030
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00548851077615250861525081076

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 005488510771008431008430
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00548851077200120010
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00548851077204320430
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00548851077136013600
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005488510771121120
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00548851077108810880
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005488510774484480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0054885107718324183240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00548851077123370312337030
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00548851077615250861525081076

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