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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total684010
Category 0684010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total684010
Severity 0684010


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


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


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00200650425000
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 00200649506000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00640801267000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00200649506000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00200649506000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00200649506000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00200649506000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00640801267000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00640801267000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00640801267000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00640801267000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00640801267000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00640801267000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00640801267000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00640801267000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00640801267000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00640801267000
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 00200649506000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00200649506000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00200649506000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00200649506000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00200649506000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00200649506000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0064080126764071625200
tb.dut.CioSdoEnOKnown 0064080126764071625200
tb.dut.CioSdoEnOffWhenInactive 0064080126764071625200
tb.dut.FpvSecCmRegWeOnehotCheck_A 006408012679000
tb.dut.IntrReadbufFlipOKnown 0064080126764071625200
tb.dut.IntrReadbufWatermarkOKnown 0064080126764071625200
tb.dut.IntrTpmHeaderNotEmptyOKnown 0064080126764071625200
tb.dut.IntrTpmRdfifoCmdEndOKnown 0064080126764071625200
tb.dut.IntrTpmRdfifoDropOKnown 0064080126764071625200
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0064080126764071625200
tb.dut.IntrUploadPayloadNotEmptyOKnown 0064080126764071625200
tb.dut.IntrUploadPayloadOverflowOKnown 0064080126764071625200
tb.dut.PayloadStartIdxWidthMatch_A 0093893800
tb.dut.SpiModeKnown_A 0064080126764071625200
tb.dut.TpmEnableWhenTpmCsbIdle_M 0064080126736300
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00640801267244168000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0064080126722709700
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00640801267277800
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00640801267207500
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0064080126729208300
tb.dut.scanmodeKnown 0064080126764080126700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00642912828335500
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00642912828123600
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00642912828136000
tb.dut.spi_device_csr_assert.cfg_rd_A 00642912828169600
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00642912828844100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00642912828694600
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00642912828672200
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00642912828732800
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00642912828698400
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00642912828702300
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00642912828823600
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00642912828854200
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00642912828401000
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00642912828365500
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00642912828384100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00642912828328100
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00642912828399800
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00642912828330900
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00642912828346100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00642912828370800
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00642912828381000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00642912828382500
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00642912828358700
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00642912828418200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00642912828345900
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00642912828354200
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00642912828399400
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00642912828403000
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00642912828363800
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00642912828363000
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00642912828365400
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00642912828387000
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00642912828352500
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00642912828389300
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00642912828373600
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00642912828398700
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00642912828144100
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00642912828140000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00642912828140800
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00642912828157600
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00642912828202400
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00642912828363700
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00642912828147600
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00642912828157000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00642912828126100
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00642912828139000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00642912828118600
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00642912828123400
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00642912828203400
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00642912828129400
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00642912828206900
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00642912828145300
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00642912828137300
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00642912828125400
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00642912828128300
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00642912828125900
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00642912828131300
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00642912828127400
tb.dut.tlul_assert_device.aKnown_A 006429128281696141200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0064291282864278597200
tb.dut.tlul_assert_device.aReadyKnown_A 0064291282864278597200
tb.dut.tlul_assert_device.dKnown_A 006429128283310354000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0064291282864278597200
tb.dut.tlul_assert_device.dReadyKnown_A 0064291282864278597200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001113111300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00642913542692230900
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00642912828741000
tb.dut.tlul_assert_device.gen_device.contigMask_M 006429135421320634500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 006429135422217792600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00642912828563100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 006429135421696141200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 006429135423310354000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 006429135421696141200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 006429135423310354000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 006429135423310354000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 006429135423310354000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00642912828556200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00642912828569600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001113111300
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00830288209000
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0020065042520064948700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0020064950620064872000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0020064950620064872000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0020065042520064948700
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0020064950615730708600
tb.dut.u_cmdparse.OnlyOneDatapath_A 002006495068120800
tb.dut.u_cmdparse.SelDpKnown_A 0020064950615730708600
tb.dut.u_cmdparse.StKnown_A 0020064950615730708600
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00820908144500
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0064080126755000
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0020064950655000
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0064080126738400
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0020064950638400
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0093893800
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0093893800
tb.dut.u_intr_payload_overflow.IntrTKind_A 0093893800
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0093893800
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0093893800
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0093893800
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0093893800
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0093893800
tb.dut.u_jedec.JedecStKnown_A 0020064950615730708600
tb.dut.u_p2s.IoModeChangeValid_A 00200650425942900
tb.dut.u_p2s.IoModeDefault_A 002006504253436100
tb.dut.u_passthrough.PassThroughStKnown_A 0020064950615730708600
tb.dut.u_passthrough.PayloadSwapConstraint_M 00200649506200282400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00200649506590162400
tb.dut.u_readcmd.MailboxSizeMatch_M 0020064950615730708600
tb.dut.u_readcmd.ValidCmdConfig_A 0020064950627616700
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 002006495061049700
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 002006495069166800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00200649506590162400
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00200649506148850300
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 002006495061049700
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00200649506148784500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00200649506148850300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 002006495063000110600
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 002006495063000110600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 002006495062854409400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0020064950615730708600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 002006495062854409400
tb.dut.u_reg.en2addrHit 006429128281184725300
tb.dut.u_reg.reAfterRv 006429128281184725300
tb.dut.u_reg.rePulse 00642912828923878100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001113111300
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001113111300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001113111300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001113111300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001113111300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001113111300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001113111300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001113111300
tb.dut.u_reg.u_socket.NotOverflowed_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 006429128281696141200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 006429128283310354000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00642912828370315300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00642912828412010100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0064291282823356200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0064291282857559300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 006429128281263408600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 006429128282840784600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0064291282864278597200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001113111300
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001113111300
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001113111300
tb.dut.u_reg.u_socket.maxN 001113111300
tb.dut.u_reg.wePulse 00642912828260847200
tb.dut.u_s2p.IoModeDefault_A 002006495063436100
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0093893800
tb.dut.u_scanmode_sync.OutputsKnown_A 0064080126764071625200
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0064080126764071625200
tb.dut.u_spi_tpm.CmdAddrAvailable_A 002006495067485800
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0020064950679232800
tb.dut.u_spi_tpm.CmdAddrInfo_A 002006495067858900
tb.dut.u_spi_tpm.CmdPowerof2_A 0093893800
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0093893800
tb.dut.u_spi_tpm.DataSelKnown_A 002006504254140880400
tb.dut.u_spi_tpm.HwRegCondition2_a 002006495061486800
tb.dut.u_spi_tpm.HwRegCondition_A 002006495069904100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 002006504254140880400
tb.dut.u_spi_tpm.LocalityLatchCondition_A 002006495069904100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0093893800
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0093893800
tb.dut.u_spi_tpm.RdPowerof2_A 0093893800
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 002006495069904100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0093893800
tb.dut.u_spi_tpm.WrDepthSpec_A 0093893800
tb.dut.u_spi_tpm.WrFifoAvailable_A 0020064950663730500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093893800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0020064950695710800
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0020064950629208300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0020064950629208300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0064080126764071512600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0020064950620064869800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0093893800
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0093893800
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00200649506908862900
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 002006495064140880400
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00200649506908862900
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0093893800
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0093893800
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0020064950612806100
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0064080126712377200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0093893800
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0020064950660800
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0064080126760800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0093893800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0093893800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0093893800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00640801267273376300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00200649506141987300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00640801267273376300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00200649506141987300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00640801267273376300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00200649506141987300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00640801267273376300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00200649506141987300
tb.dut.u_spid_status.BusyBitZero_A 0093893800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0020064950620064869800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0064080126764071512600
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0093893800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093893800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0064080126770938
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00640801267296571300
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0064080126723195000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0064080126723195000
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0093893800
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0093893800
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0093893800
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00640801267409396200
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0064080126764071625200
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0093893800
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0093893800
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00640801267409396200
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00640801267409396200
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0093893800
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0093893800
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0093893800
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0093893800
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0093893800
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0064080126756776200
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0064080126764071625200
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0093893800
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0064080126722709700
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0064080126722709700
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0093893800
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0064080126756776200
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0064080126756776200
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0093893800
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0093893800
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0064080126756776200
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0064080126756776200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0064080126722709700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0064080126764071625200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0064080126722709700
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00999109951100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00999109951100
tb.dut.u_upload.AddrFifoNeverFull_M 00200649506207500
tb.dut.u_upload.CmdFifoNeverFull_M 00200649506277800
tb.dut.u_upload.CmdFifoPush_A 00200649506277800
tb.dut.u_upload.FifosOnlyOneValid_A 0020064950615730708600
tb.dut.u_upload.PayloadNeverFull_M 0020064950677771500
tb.dut.u_upload.u_addrfifo.MinDepth_A 0093893800
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00640801267207500
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00200649506207500
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0093893800
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00640801267207500
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00640801267207500
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00640801267207500
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00640801267207500
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00640801267207500
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0020064950620064950600
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0093893800
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00200649506207500
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00200649506207500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093893800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0020064950678256800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0020064950678256800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0020064950615730708600
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0020064950615730708600
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0093893800
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00640801267277800
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00200649506277800
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0093893800
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00640801267277800
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00640801267277800
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00640801267277800
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00640801267277800
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00640801267277800
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0020064950620064950600
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0093893800
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00200649506277800
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00200649506277800
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0093893800
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0093893800
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00640801267277800
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00200649506277800

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

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 006429135421080361080360
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 006429135425575570
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 006429135425985980
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 006429135423483480
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 006429135421531530
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 006429135422812810
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 006429135422512510
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0064291354213880138800
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00642913542139968613996860
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00642913542722443772244371093

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 006429135421080361080360
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 006429135425575570
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 006429135425985980
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 006429135423483480
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 006429135421531530
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 006429135422812810
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 006429135422512510
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0064291354213880138800
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00642913542139968613996860
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00642913542722443772244371093

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