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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total710010
Category 0710010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total710010
Severity 0710010


Summary for Assertions
NUMBERPERCENT
Total Number710100.00
Uncovered324.51
Success67895.49
Failure00.00
Incomplete10.14
Without Attempts91.27


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 00146534134000
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_out_scan_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 00146533180000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00417740699000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00146533180000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00146533180000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00146533180000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00146533180000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00417740699000
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00417740699000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00417740699000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00417740699000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00417740699000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00417740699000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00417740699000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00417740699000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00417740699000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00417740699000
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_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00146533180000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00146533180000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00146533180000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00146533180000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00146533180000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00146533180000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0041774069941765090300
tb.dut.CioSdoEnOKnown 0041774069941765090300
tb.dut.CioSdoEnOffWhenInactive 0041774069941765090300
tb.dut.FpvSecCmRegWeOnehotCheck_A 0041774069912000
tb.dut.IntrReadbufFlipOKnown 0041774069941765090300
tb.dut.IntrReadbufWatermarkOKnown 0041774069941765090300
tb.dut.IntrTpmHeaderNotEmptyOKnown 0041774069941765090300
tb.dut.IntrTpmRdfifoCmdEndOKnown 0041774069941765090300
tb.dut.IntrTpmRdfifoDropOKnown 0041774069941765090300
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0041774069941765090300
tb.dut.IntrUploadPayloadNotEmptyOKnown 0041774069941765090300
tb.dut.IntrUploadPayloadOverflowOKnown 0041774069941765090300
tb.dut.PayloadStartIdxWidthMatch_A 0097697600
tb.dut.SpiModeKnown_A 0041774069941765090300
tb.dut.TpmEnableWhenTpmCsbIdle_M 0041774069932900
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00417740699185947200
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0041774069915972700
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00417740699214100
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00417740699159100
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0041774069916391400
tb.dut.scanmodeKnown 0041774069941774069900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00419996797318800
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00419996797159200
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00419996797158100
tb.dut.spi_device_csr_assert.cfg_rd_A 00419996797208100
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00419996797991100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 004199967971132200
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 004199967971074900
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 004199967971070500
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00419996797950400
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 004199967971153400
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 004199967971107200
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 004199967971114000
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00419996797529000
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00419996797553300
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00419996797538500
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00419996797554500
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00419996797500800
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00419996797567800
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00419996797509100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00419996797563700
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00419996797560500
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00419996797515800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00419996797528600
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00419996797493900
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00419996797539400
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00419996797487800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00419996797491300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00419996797522300
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00419996797497200
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00419996797524600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00419996797505900
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00419996797546500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00419996797559700
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00419996797458100
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00419996797515500
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00419996797524200
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00419996797192100
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00419996797190500
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00419996797195700
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00419996797186900
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00419996797261100
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00419996797454200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00419996797195700
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00419996797198400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00419996797161500
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00419996797160000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00419996797168800
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00419996797172400
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00419996797252000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00419996797174100
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00419996797280500
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00419996797197600
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00419996797161000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00419996797175000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00419996797175600
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00419996797170800
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00419996797165800
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00419996797179000
tb.dut.tlul_assert_device.aKnown_A 00419996797880264200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0041999679741986069500
tb.dut.tlul_assert_device.aReadyKnown_A 0041999679741986069500
tb.dut.tlul_assert_device.dKnown_A 004199967971564980100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0041999679741986069500
tb.dut.tlul_assert_device.dReadyKnown_A 0041999679741986069500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001151115100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00419997521450355800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00419996797878400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00419997521614882400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00419997521852949100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00419996797631300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00419997521880264200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004199975211564980100
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00419997521880264200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004199975211564980100
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004199975211564980100
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004199975211564980100
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00419996797642800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00419996797623600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001151115100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00618636088700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0014653413414653315800
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0014653318014653238400
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0014653318014653238400
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0014653413414653315800
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0014653318011995253600
tb.dut.u_cmdparse.OnlyOneDatapath_A 001465331805999500
tb.dut.u_cmdparse.SelDpKnown_A 0014653318011995253600
tb.dut.u_cmdparse.StKnown_A 0014653318011995253600
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00599965938800
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00608876021800
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0041774069930700
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0014653318030700
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0041774069917100
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0014653318017100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0097697600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0097697600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0097697600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0097697600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0097697600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0097697600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0097697600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0097697600
tb.dut.u_jedec.JedecStKnown_A 0014653318011995253600
tb.dut.u_p2s.IoModeChangeValid_A 00146534134790700
tb.dut.u_p2s.IoModeDefault_A 001465341341769300
tb.dut.u_passthrough.PassThroughStKnown_A 0014653318011995253600
tb.dut.u_passthrough.PayloadSwapConstraint_M 00146533180246537600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00146533180463094200
tb.dut.u_readcmd.MailboxSizeMatch_M 0014653318011995253600
tb.dut.u_readcmd.ValidCmdConfig_A 0014653318021158300
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00146533180799300
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001465331806795800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00146533180463094200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00146533180116776400
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00146533180799300
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00146533180116727200
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00146533180116776400
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001465331802336398900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001465331802336398900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001465331802222020400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0014653318011995253600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001465331802222020400
tb.dut.u_reg.en2addrHit 00419996797517208200
tb.dut.u_reg.reAfterRv 00419996797517208200
tb.dut.u_reg.rePulse 00419996797375765300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001151115100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001151115100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001151115100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001151115100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001151115100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001151115100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001151115100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001151115100
tb.dut.u_reg.u_socket.NotOverflowed_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00419996797880264200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004199967971564980100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00419996797281418700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00419996797319622800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0041999679717356200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0041999679741743600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00419996797565468300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004199967971203613700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0041999679741986069500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001151115100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001151115100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001151115100
tb.dut.u_reg.u_socket.maxN 001151115100
tb.dut.u_reg.wePulse 00419996797141442900
tb.dut.u_s2p.IoModeDefault_A 001465331801769300
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0097697600
tb.dut.u_scanmode_sync.OutputsKnown_A 0041774069941765090300
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041774069941765090300
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001465331804243600
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0014653318047892000
tb.dut.u_spi_tpm.CmdAddrInfo_A 001465331804811700
tb.dut.u_spi_tpm.CmdPowerof2_A 0097697600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0097697600
tb.dut.u_spi_tpm.DataSelKnown_A 001465341342534478500
tb.dut.u_spi_tpm.HwRegCondition2_a 001465331801092000
tb.dut.u_spi_tpm.HwRegCondition_A 001465331805986500
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001465341342534478500
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001465331805986500
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0097697600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0097697600
tb.dut.u_spi_tpm.RdPowerof2_A 0097697600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001465331805986500
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0097697600
tb.dut.u_spi_tpm.WrDepthSpec_A 0097697600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0014653318036984800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097697600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0014653318054928300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0014653318016391400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0014653318016391400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0041774069941764970300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0014653318014653237400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0097697600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0097697600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00146533180510004500
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001465331802534478500
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001465331802534478500
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00146533180510004500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097697600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097697600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001465331807305800
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004177406997007600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0097697600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0014653318061600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0041774069961600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0097697600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0097697600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0097697600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00417740699202338600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00146533180117621100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00417740699202338600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00146533180117621100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00417740699202338600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00146533180117621100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00417740699202338600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00146533180117621100
tb.dut.u_spid_status.BusyBitZero_A 0097697600
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00120022400
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0014653318014653237400
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0041774069941764970300
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0097697600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097697600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0041774069960976
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00417740699218684500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0041774069916345900
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041774069916345900
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0097697600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0097697600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0097697600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0097697600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0097697600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00417740699316154300
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00417740699316154300
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0097697600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0097697600
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0097697600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0097697600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0097697600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0097697600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0097697600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0041774069915972700
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0041774069915972700
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0097697600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0041774069940582600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041774069940582600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0097697600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0097697600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0041774069940582600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041774069940582600
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0097697600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0041774069915972700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0041774069941765090300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041774069915972700
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00607936041700
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00607936041700
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00598675955400
tb.dut.u_upload.AddrFifoNeverFull_M 00146533180159100
tb.dut.u_upload.CmdFifoNeverFull_M 00146533180214100
tb.dut.u_upload.CmdFifoPush_A 00146533180214100
tb.dut.u_upload.FifosOnlyOneValid_A 0014653318011995253600
tb.dut.u_upload.PayloadNeverFull_M 0014653318080263100
tb.dut.u_upload.u_addrfifo.MinDepth_A 0097697600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00417740699159100
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00146533180159100
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0097697600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00417740699159100
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00417740699159100
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00417740699159100
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00417740699159100
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00417740699159100
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0014653318014653318000
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0097697600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00146533180159100
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00146533180159100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097697600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0014653318080636300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0014653318080636300
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0014653318011995253600
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0014653318011995253600
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0014653318011995253600
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0097697600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00417740699214100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00146533180214100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0097697600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00417740699214100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00417740699214100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00417740699214100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00417740699214100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00417740699214100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0014653318014653318000
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0097697600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00146533180214100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00146533180214100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097697600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097697600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00417740699214100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00146533180214100

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

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_out_scan_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_spid_status.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
tb.dut.u_tpm_rst_out_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 0041999752167603676030
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00419997521155815580
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00419997521159015900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00419997521102310230
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004199975211361360
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004199975217977970
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004199975219469460
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0041999752114080140800
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00419997521103026610302660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00419997521331524833152481131

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0041999752167603676030
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00419997521155815580
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00419997521159015900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00419997521102310230
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004199975211361360
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004199975217977970
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004199975219469460
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0041999752114080140800
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00419997521103026610302660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00419997521331524833152481131

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