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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total684010
Category 0684010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total684010
Severity 0684010


Summary for Assertions
NUMBERPERCENT
Total Number684100.00
Uncovered294.24
Success65595.76
Failure00.00
Incomplete10.15
Without Attempts60.88


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 00177250575000
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 00177249647000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00517197757000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00177249647000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00177249647000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00177249647000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00177249647000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00517197757000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00517197757000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00517197757000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00517197757000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00517197757000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00517197757000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00517197757000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00517197757000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00517197757000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00517197757000
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 00177249647000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00177249647000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00177249647000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00177249647000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00177249647000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00177249647000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0051719775751711492300
tb.dut.CioSdoEnOKnown 0051719775751711492300
tb.dut.CioSdoEnOffWhenInactive 0051719775751711492300
tb.dut.FpvSecCmRegWeOnehotCheck_A 005171977578000
tb.dut.IntrReadbufFlipOKnown 0051719775751711492300
tb.dut.IntrReadbufWatermarkOKnown 0051719775751711492300
tb.dut.IntrTpmHeaderNotEmptyOKnown 0051719775751711492300
tb.dut.IntrTpmRdfifoCmdEndOKnown 0051719775751711492300
tb.dut.IntrTpmRdfifoDropOKnown 0051719775751711492300
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0051719775751711492300
tb.dut.IntrUploadPayloadNotEmptyOKnown 0051719775751711492300
tb.dut.IntrUploadPayloadOverflowOKnown 0051719775751711492300
tb.dut.PayloadStartIdxWidthMatch_A 0094194100
tb.dut.SpiModeKnown_A 0051719775751711492300
tb.dut.TpmEnableWhenTpmCsbIdle_M 0051719775734200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00517197757215112000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0051719775719888200
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00517197757225000
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00517197757164000
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0051719775726426700
tb.dut.scanmodeKnown 0051719775751719775700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00519390724412200
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00519390724142200
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00519390724126900
tb.dut.spi_device_csr_assert.cfg_rd_A 00519390724170100
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00519390724649600
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00519390724648500
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00519390724660800
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00519390724511200
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00519390724500500
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00519390724634800
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00519390724625900
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00519390724690500
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00519390724318100
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00519390724272600
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00519390724301800
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00519390724345200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00519390724322900
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00519390724309200
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00519390724360100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00519390724341300
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00519390724320800
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00519390724325200
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00519390724325800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00519390724321200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00519390724322100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00519390724312900
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00519390724296500
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00519390724312300
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00519390724280500
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00519390724322600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00519390724286200
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00519390724317400
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00519390724321000
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00519390724314200
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00519390724350700
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00519390724297200
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00519390724149900
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00519390724155300
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00519390724164600
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00519390724147800
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00519390724186200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00519390724325500
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00519390724151300
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00519390724151600
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00519390724149800
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00519390724138700
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00519390724133900
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00519390724143200
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00519390724182000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00519390724132000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00519390724213300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00519390724152900
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00519390724136800
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00519390724137000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00519390724131800
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00519390724136000
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00519390724126200
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00519390724131900
tb.dut.tlul_assert_device.aKnown_A 005193907241372789100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0051939072451926407300
tb.dut.tlul_assert_device.aReadyKnown_A 0051939072451926407300
tb.dut.tlul_assert_device.dKnown_A 005193907242733994400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0051939072451926407300
tb.dut.tlul_assert_device.dReadyKnown_A 0051939072451926407300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001116111600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00519391454596038200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00519390724801100
tb.dut.tlul_assert_device.gen_device.contigMask_M 005193914541043328700
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005193914541803573700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00519390724679000
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005193914541372789100
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005193914542733994400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005193914541372789100
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005193914542733994400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005193914542733994400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005193914542733994400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00519390724617900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00519390724619900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001116111600
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00723067136500
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0017725057517724963400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0017724964717724886300
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0017724964717724886300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0017725057517724963400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0017724964713517170700
tb.dut.u_cmdparse.OnlyOneDatapath_A 001772496477043700
tb.dut.u_cmdparse.SelDpKnown_A 0017724964713517170700
tb.dut.u_cmdparse.StKnown_A 0017724964713517170700
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00713657071800
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0051719775763700
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0017724964763700
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0051719775747400
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0017724964747400
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0094194100
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0094194100
tb.dut.u_intr_payload_overflow.IntrTKind_A 0094194100
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0094194100
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0094194100
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0094194100
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0094194100
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0094194100
tb.dut.u_jedec.JedecStKnown_A 0017724964713517170700
tb.dut.u_p2s.IoModeChangeValid_A 00177250575849800
tb.dut.u_p2s.IoModeDefault_A 001772505752862500
tb.dut.u_passthrough.PassThroughStKnown_A 0017724964713517170700
tb.dut.u_passthrough.PayloadSwapConstraint_M 00177249647124561600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00177249647519505100
tb.dut.u_readcmd.MailboxSizeMatch_M 0017724964713517170700
tb.dut.u_readcmd.ValidCmdConfig_A 0017724964724735300
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00177249647938300
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001772496477977800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00177249647519505100
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00177249647131051500
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00177249647938300
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00177249647130991400
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00177249647131051500
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001772496472635475200
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001772496472635475200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001772496472507238600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0017724964713517170700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001772496472507238600
tb.dut.u_reg.en2addrHit 00519390724918655400
tb.dut.u_reg.reAfterRv 00519390724918655400
tb.dut.u_reg.rePulse 00519390724706593200
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001116111600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001116111600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001116111600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001116111600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001116111600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001116111600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001116111600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001116111600
tb.dut.u_reg.u_socket.NotOverflowed_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005193907241372789100
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005193907242733994400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00519390724330780500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00519390724364401700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0051939072420574200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0051939072449290200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00519390724987013100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005193907242320302500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0051939072451926407300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001116111600
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001116111600
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001116111600
tb.dut.u_reg.u_socket.maxN 001116111600
tb.dut.u_reg.wePulse 00519390724212062200
tb.dut.u_s2p.IoModeDefault_A 001772496472862500
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0094194100
tb.dut.u_scanmode_sync.OutputsKnown_A 0051719775751711492300
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0051719775751711492300
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001772496476755000
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0017724964775782400
tb.dut.u_spi_tpm.CmdAddrInfo_A 001772496477585000
tb.dut.u_spi_tpm.CmdPowerof2_A 0094194100
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0094194100
tb.dut.u_spi_tpm.DataSelKnown_A 001772505754026872300
tb.dut.u_spi_tpm.HwRegCondition2_a 001772496471695500
tb.dut.u_spi_tpm.HwRegCondition_A 001772496479472800
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001772505754026872300
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001772496479472800
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0094194100
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0094194100
tb.dut.u_spi_tpm.RdPowerof2_A 0094194100
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001772496479472800
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0094194100
tb.dut.u_spi_tpm.WrDepthSpec_A 0094194100
tb.dut.u_spi_tpm.WrFifoAvailable_A 0017724964758083900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094194100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0017724964786996700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0017724964726426700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0017724964726426700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0051719775751711381300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0017724964717724885600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0094194100
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0094194100
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00177249647822180800
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001772496474026872300
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00177249647822180800
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0094194100
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0094194100
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0017724964711535600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0051719775711040000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0094194100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0017724964759100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0051719775759100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0094194100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0094194100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0094194100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00517197757241538700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00177249647115618000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00517197757241538700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00177249647115618000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00517197757241538700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00177249647115618000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00517197757241538700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00177249647115618000
tb.dut.u_spid_status.BusyBitZero_A 0094194100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0017724964717724885600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0051719775751711381300
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0094194100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094194100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0051719775730941
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00517197757261815900
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0051719775720277200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0051719775720277200
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0094194100
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0094194100
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0094194100
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00517197757361318200
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0051719775751711492300
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0094194100
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0094194100
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00517197757361318200
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00517197757361318200
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0094194100
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0094194100
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0094194100
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0094194100
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0094194100
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0051719775748242800
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0051719775751711492300
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0094194100
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0051719775719888200
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0051719775719888200
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0094194100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0051719775748242800
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0051719775748242800
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0094194100
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0094194100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0051719775748242800
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0051719775748242800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0051719775719888200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0051719775751711492300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0051719775719888200
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00956729527500
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00956719527400
tb.dut.u_upload.AddrFifoNeverFull_M 00177249647164000
tb.dut.u_upload.CmdFifoNeverFull_M 00177249647225000
tb.dut.u_upload.CmdFifoPush_A 00177249647225000
tb.dut.u_upload.FifosOnlyOneValid_A 0017724964713517170700
tb.dut.u_upload.PayloadNeverFull_M 0017724964757145100
tb.dut.u_upload.u_addrfifo.MinDepth_A 0094194100
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00517197757164000
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00177249647164000
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0094194100
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00517197757164000
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00517197757164000
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00517197757164000
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00517197757164000
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00517197757164000
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0017724964717724964700
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0094194100
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00177249647164000
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00177249647164000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094194100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0017724964757534100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0017724964757534100
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0017724964713517170700
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0017724964713517170700
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0094194100
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00517197757225000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00177249647225000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0094194100
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00517197757225000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00517197757225000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00517197757225000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00517197757225000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00517197757225000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0017724964717724964700
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0094194100
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00177249647225000
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00177249647225000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0094194100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0094194100
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00517197757225000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00177249647225000

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

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 005193914541018401018400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00519391454152215220
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00519391454154915490
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005193914549799790
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005193914541121120
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005193914547517510
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005193914548208200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0051939145414608146080
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00519391454128037112803710
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00519391454504619650461961096

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 005193914541018401018400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00519391454152215220
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00519391454154915490
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005193914549799790
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005193914541121120
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005193914547517510
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005193914548208200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0051939145414608146080
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00519391454128037112803710
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00519391454504619650461961096

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