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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total685010
Category 0685010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total685010
Severity 0685010


Summary for Assertions
NUMBERPERCENT
Total Number685100.00
Uncovered294.23
Success65695.77
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 00118732795000
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 00118731906000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00394732484000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00118731906000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00118731906000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00118731906000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00118731906000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00394732484000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00394732484000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00394732484000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00394732484000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00394732484000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00394732484000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00394732484000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00394732484000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00394732484000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00394732484000
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 00118731906000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00118731906000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00118731906000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00118731906000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00118731906000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00118731906000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0039473248439464852200
tb.dut.CioSdoEnOKnown 0039473248439464852200
tb.dut.CioSdoEnOffWhenInactive 0039473248439464852200
tb.dut.FpvSecCmRegWeOnehotCheck_A 0039473248411000
tb.dut.IntrReadbufFlipOKnown 0039473248439464852200
tb.dut.IntrReadbufWatermarkOKnown 0039473248439464852200
tb.dut.IntrTpmHeaderNotEmptyOKnown 0039473248439464852200
tb.dut.IntrTpmRdfifoCmdEndOKnown 0039473248439464852200
tb.dut.IntrTpmRdfifoDropOKnown 0039473248439464852200
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0039473248439464852200
tb.dut.IntrUploadPayloadNotEmptyOKnown 0039473248439464852200
tb.dut.IntrUploadPayloadOverflowOKnown 0039473248439464852200
tb.dut.PayloadStartIdxWidthMatch_A 0090690600
tb.dut.SpiModeKnown_A 0039473248439464852200
tb.dut.TpmEnableWhenTpmCsbIdle_M 0039473248434200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00394732484151104000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0039473248414367000
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00394732484161100
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00394732484123900
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0039473248419219900
tb.dut.scanmodeKnown 0039473248439473248400
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00396608780397200
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00396608780129600
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00396608780119600
tb.dut.spi_device_csr_assert.cfg_rd_A 00396608780122800
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00396608780248800
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00396608780228200
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00396608780278900
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00396608780242700
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00396608780276500
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00396608780240300
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00396608780296800
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00396608780242400
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00396608780176100
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00396608780169800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00396608780163800
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00396608780184500
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00396608780176700
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00396608780188200
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00396608780161500
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00396608780179700
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00396608780198300
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00396608780149800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00396608780181800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00396608780167100
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00396608780188100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00396608780161800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00396608780172600
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00396608780171300
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00396608780161900
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00396608780165500
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00396608780166200
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00396608780155800
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00396608780177400
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00396608780180600
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00396608780169000
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00396608780179600
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00396608780124600
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00396608780128300
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00396608780119100
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00396608780115900
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00396608780146200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00396608780238600
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00396608780113700
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00396608780115400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00396608780110300
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00396608780119400
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00396608780118700
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00396608780125600
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00396608780134600
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00396608780115200
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00396608780144300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00396608780113800
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00396608780104400
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00396608780124400
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00396608780125700
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00396608780122800
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00396608780115900
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00396608780119900
tb.dut.tlul_assert_device.aKnown_A 00396608780907797800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0039660878039648216700
tb.dut.tlul_assert_device.aReadyKnown_A 0039660878039648216700
tb.dut.tlul_assert_device.dKnown_A 003966087801650136000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0039660878039648216700
tb.dut.tlul_assert_device.dReadyKnown_A 0039660878039648216700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00396609462431952800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00396608780821900
tb.dut.tlul_assert_device.gen_device.contigMask_M 00396609462660229400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00396609462970008800
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00396608780697700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00396609462907797800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 003966094621650136000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00396609462907797800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 003966094621650136000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 003966094621650136000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 003966094621650136000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00396608780617800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00396608780604300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001081108100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00485394763300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0011873279511873188900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0011873190611873116300
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0011873190611873116300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0011873279511873188900
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 001187319068925595900
tb.dut.u_cmdparse.OnlyOneDatapath_A 001187319064675500
tb.dut.u_cmdparse.SelDpKnown_A 001187319068925595900
tb.dut.u_cmdparse.StKnown_A 001187319068925595900
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00476334702100
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0039473248430900
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0011873190630900
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0039473248415700
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0011873190615700
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0090690600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0090690600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0090690600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0090690600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0090690600
tb.dut.u_jedec.JedecStKnown_A 001187319068925595900
tb.dut.u_p2s.IoModeChangeValid_A 00118732795562000
tb.dut.u_p2s.IoModeDefault_A 001187327951998200
tb.dut.u_passthrough.PassThroughStKnown_A 001187319068925595900
tb.dut.u_passthrough.PayloadSwapConstraint_M 0011873190690870400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00118731906341919300
tb.dut.u_readcmd.MailboxSizeMatch_M 001187319068925595900
tb.dut.u_readcmd.ValidCmdConfig_A 0011873190616472800
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00118731906620800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001187319065293100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00118731906341919300
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0011873190686253600
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00118731906620800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0011873190686216400
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0011873190686253600
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001187319061704142100
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001187319061704142100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001187319061619750900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 001187319068925595900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001187319061619750900
tb.dut.u_reg.en2addrHit 00396608780600525100
tb.dut.u_reg.reAfterRv 00396608780600525100
tb.dut.u_reg.rePulse 00396608780429432000
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001081108100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001081108100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001081108100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_socket.NotOverflowed_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00396608780907797800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 003966087801650136000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00396608780233231900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00396608780247428000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0039660878015398700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0039660878035497100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00396608780644496800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 003966087801367210900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0039660878039648216700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_socket.maxN 001081108100
tb.dut.u_reg.wePulse 00396608780171093100
tb.dut.u_s2p.IoModeDefault_A 001187319061998200
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0090690600
tb.dut.u_scanmode_sync.OutputsKnown_A 0039473248439464852200
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039473248439464852200
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001187319064910900
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0011873190652732000
tb.dut.u_spi_tpm.CmdAddrInfo_A 001187319065287500
tb.dut.u_spi_tpm.CmdPowerof2_A 0090690600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0090690600
tb.dut.u_spi_tpm.DataSelKnown_A 001187327952822391600
tb.dut.u_spi_tpm.HwRegCondition2_a 001187319061041200
tb.dut.u_spi_tpm.HwRegCondition_A 001187319066591500
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001187327952822391600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001187319066591500
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0090690600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0090690600
tb.dut.u_spi_tpm.RdPowerof2_A 0090690600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001187319066591500
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0090690600
tb.dut.u_spi_tpm.WrDepthSpec_A 0090690600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0011873190642258100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0011873190663277500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0011873190619219900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0011873190619219900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0039473248439464740700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0011873190611873114900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0090690600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0090690600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00118731906597673400
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001187319062822391600
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00118731906597673400
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0090690600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0090690600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001187319068362500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 003947324848035800
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0090690600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0011873190655800
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0039473248455800
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 0011873190680716500
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 0011873190680716500
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 0011873190680716500
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 0011873190680716500
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00394732484170323900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00394732484170323900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00394732484170323900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00394732484170323900
tb.dut.u_spid_status.BusyBitZero_A 0090690600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0011873190611873114900
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0039473248439464740700
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0090690600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00394732484100906
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00394732484184975900
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0039473248414652000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0039473248414652000
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0090690600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0090690600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0090690600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0090690600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0090690600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00394732484244881500
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00394732484244881500
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0090690600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0090690600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0090690600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0090690600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0090690600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0090690600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0039473248414367000
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0039473248414367000
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0090690600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0039473248434621000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0039473248434621000
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0090690600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0090690600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0039473248434621000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0039473248434621000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0039473248414367000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0039473248439464852200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0039473248414367000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00667736639000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00667736639000
tb.dut.u_upload.AddrFifoNeverFull_M 00118731906123900
tb.dut.u_upload.CmdFifoNeverFull_M 00118731906161100
tb.dut.u_upload.CmdFifoPush_A 00118731906161100
tb.dut.u_upload.FifosOnlyOneValid_A 001187319068925595900
tb.dut.u_upload.PayloadNeverFull_M 0011873190638173400
tb.dut.u_upload.u_addrfifo.MinDepth_A 0090690600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00394732484123900
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00118731906123900
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0090690600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00394732484123900
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00394732484123900
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00394732484123900
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00394732484123900
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00394732484123900
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0011873190611873190600
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0090690600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00118731906123900
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00118731906123900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001187319068925595900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001187319068925595900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001187319068925595900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0011873190638458400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001187319068925595900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0011873190638458400
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 001187319068925595900
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 001187319068925595900
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 001187319068925595900
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0090690600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00394732484161100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00118731906161100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0090690600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00394732484161100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00394732484161100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00394732484161100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00394732484161100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00394732484161100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0011873190611873190600
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0090690600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00118731906161100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00118731906161100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0090690600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0090690600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00394732484161100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00118731906161100

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

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 0039660946269893698930
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00396609462138113810
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00396609462148014800
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003966094629809800
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003966094622032030
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003966094627927920
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003966094624894890
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0039660946215153151530
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003966094628983768983760
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00396609462359239335923931061

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0039660946269893698930
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00396609462138113810
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00396609462148014800
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003966094629809800
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003966094622032030
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003966094627927920
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003966094624894890
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0039660946215153151530
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003966094628983768983760
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00396609462359239335923931061

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