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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0056156339956148213100
tb.dut.CioSdoEnOKnown 0056156339956148213100
tb.dut.CioSdoEnOffWhenInactive 0056156339956148213100
tb.dut.FpvSecCmRegWeOnehotCheck_A 005615633996000
tb.dut.IntrReadbufFlipOKnown 0056156339956148213100
tb.dut.IntrReadbufWatermarkOKnown 0056156339956148213100
tb.dut.IntrTpmHeaderNotEmptyOKnown 0056156339956148213100
tb.dut.IntrTpmRdfifoCmdEndOKnown 0056156339956148213100
tb.dut.IntrTpmRdfifoDropOKnown 0056156339956148213100
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0056156339956148213100
tb.dut.IntrUploadPayloadNotEmptyOKnown 0056156339956148213100
tb.dut.IntrUploadPayloadOverflowOKnown 0056156339956148213100
tb.dut.PayloadStartIdxWidthMatch_A 0093993900
tb.dut.SpiModeKnown_A 0056156339956148213100
tb.dut.TpmEnableWhenTpmCsbIdle_M 0056156339934800
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00561563399222766400
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0056156339921910300
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00561563399257500
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00561563399195800
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0056156339928455600
tb.dut.scanmodeKnown 0056156339956156339900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00564094712415400
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00564094712140700
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00564094712133000
tb.dut.spi_device_csr_assert.cfg_rd_A 00564094712196300
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 005640947121218000
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 005640947121278100
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 005640947121112500
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 005640947121266100
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 005640947121157800
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 005640947121233200
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 005640947121287600
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 005640947121236300
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00564094712570700
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00564094712564800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00564094712537700
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00564094712531900
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00564094712554300
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00564094712519300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00564094712583500
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00564094712521000
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00564094712474300
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00564094712569900
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00564094712633800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00564094712526000
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00564094712570900
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00564094712544700
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00564094712610300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00564094712518900
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00564094712569800
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00564094712600600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00564094712566400
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00564094712538500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00564094712610500
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00564094712589500
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00564094712561400
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00564094712607500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00564094712157100
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00564094712177200
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00564094712177100
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00564094712164400
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00564094712240800
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00564094712459200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00564094712184700
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00564094712169200
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00564094712144500
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00564094712143000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00564094712143200
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00564094712133600
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00564094712234800
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00564094712131300
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00564094712259800
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00564094712177500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00564094712139200
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00564094712141200
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00564094712149900
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00564094712141900
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00564094712138400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00564094712124200
tb.dut.tlul_assert_device.aKnown_A 005640947121517014700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0056409471256396861400
tb.dut.tlul_assert_device.aReadyKnown_A 0056409471256396861400
tb.dut.tlul_assert_device.dKnown_A 005640947122948214700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0056409471256396861400
tb.dut.tlul_assert_device.dReadyKnown_A 0056409471256396861400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001114111400
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00564095382635179700
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00564094712921500
tb.dut.tlul_assert_device.gen_device.contigMask_M 005640953821162937000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005640953821965756500
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00564094712747400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005640953821517014700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005640953822948214700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005640953821517014700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005640953822948214700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005640953822948214700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005640953822948214700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00564094712703700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00564094712709800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001114111400
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00766337569400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0018787114318787020400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0018787021918786943500
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0018787021918786943500
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0018787114318787020400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0018787021914402110700
tb.dut.u_cmdparse.OnlyOneDatapath_A 001878702197485100
tb.dut.u_cmdparse.SelDpKnown_A 0018787021914402110700
tb.dut.u_cmdparse.StKnown_A 0018787021914402110700
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00756947505200
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0056156339955900
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0018787021955900
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0056156339934600
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0018787021934600
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0093993900
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0093993900
tb.dut.u_intr_payload_overflow.IntrTKind_A 0093993900
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0093993900
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0093993900
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0093993900
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0093993900
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0093993900
tb.dut.u_jedec.JedecStKnown_A 0018787021914402110700
tb.dut.u_p2s.IoModeChangeValid_A 00187871143858400
tb.dut.u_p2s.IoModeDefault_A 001878711433073300
tb.dut.u_passthrough.PassThroughStKnown_A 0018787021914402110700
tb.dut.u_passthrough.PayloadSwapConstraint_M 00187870219149996000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00187870219544321700
tb.dut.u_readcmd.MailboxSizeMatch_M 0018787021914402110700
tb.dut.u_readcmd.ValidCmdConfig_A 0018787021925374100
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00187870219960300
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001878702198442300
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00187870219544321700
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00187870219137279300
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00187870219960300
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00187870219137221300
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00187870219137279300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001878702192775040300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001878702192775040300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001878702192640641900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0018787021914402110700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001878702192640641900
tb.dut.u_reg.en2addrHit 005640947121041045800
tb.dut.u_reg.reAfterRv 005640947121041045800
tb.dut.u_reg.rePulse 00564094712804543100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001114111400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001114111400
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001114111400
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001114111400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001114111400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001114111400
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001114111400
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001114111400
tb.dut.u_reg.u_socket.NotOverflowed_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005640947121517014700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005640947122948214700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00564094712343304700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00564094712372881900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0056409471222718000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0056409471251573800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 005640947121116340500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005640947122523759000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0056409471256396861400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001114111400
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001114111400
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001114111400
tb.dut.u_reg.u_socket.maxN 001114111400
tb.dut.u_reg.wePulse 00564094712236502700
tb.dut.u_s2p.IoModeDefault_A 001878702193073300
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0093993900
tb.dut.u_scanmode_sync.OutputsKnown_A 0056156339956148213100
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056156339956148213100
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001878702197313700
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0018787021979000800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001878702197807100
tb.dut.u_spi_tpm.CmdPowerof2_A 0093993900
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0093993900
tb.dut.u_spi_tpm.DataSelKnown_A 001878711434196429200
tb.dut.u_spi_tpm.HwRegCondition2_a 001878702191581700
tb.dut.u_spi_tpm.HwRegCondition_A 001878702199875100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001878711434196429200
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001878702199875100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0093993900
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0093993900
tb.dut.u_spi_tpm.RdPowerof2_A 0093993900
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001878702199875100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0093993900
tb.dut.u_spi_tpm.WrDepthSpec_A 0093993900
tb.dut.u_spi_tpm.WrFifoAvailable_A 0018787021963200700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093993900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0018787021994342600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0018787021928455600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0018787021928455600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0056156339956148104100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0018787021918786942300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0093993900
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0093993900
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00187870219885534900
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001878702194196429200
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00187870219885534900
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0093993900
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0093993900
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0018787021912449700
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0056156339912011200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0093993900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0018787021959600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0056156339959600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0093993900
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0093993900
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0093993900
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00561563399251222000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00187870219129246300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00561563399251222000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00187870219129246300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00561563399251222000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00187870219129246300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00561563399251222000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00187870219129246300
tb.dut.u_spid_status.BusyBitZero_A 0093993900
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0018787021918786942300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0056156339956148104100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0093993900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093993900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00561563399100939
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00561563399273585600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0056156339922363600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0056156339922363600
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0093993900
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0093993900
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0093993900
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00561563399369000500
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0056156339956148213100
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0093993900
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0093993900
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00561563399369000500
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00561563399369000500
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0093993900
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0093993900
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0093993900
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0093993900
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0093993900
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0056156339950218600
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0056156339956148213100
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0093993900
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0056156339921910300
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0056156339921910300
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0093993900
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0056156339950218600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0056156339950218600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0093993900
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0093993900
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0056156339950218600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0056156339950218600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0056156339921910300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0056156339956148213100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0056156339921910300
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00996199922400
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00996199922400
tb.dut.u_upload.AddrFifoNeverFull_M 00187870219195800
tb.dut.u_upload.CmdFifoNeverFull_M 00187870219257500
tb.dut.u_upload.CmdFifoPush_A 00187870219257500
tb.dut.u_upload.FifosOnlyOneValid_A 0018787021914402110700
tb.dut.u_upload.PayloadNeverFull_M 0018787021965592300
tb.dut.u_upload.u_addrfifo.MinDepth_A 0093993900
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00561563399195800
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00187870219195800
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0093993900
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00561563399195800
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00561563399195800
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00561563399195800
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00561563399195800
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00561563399195800
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0018787021918787021900
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0093993900
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00187870219195800
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00187870219195800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0093993900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0018787021966045600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0018787021966045600
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0018787021914402110700
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0018787021914402110700
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0093993900
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00561563399257500
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00187870219257500
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0093993900
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00561563399257500
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00561563399257500
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00561563399257500
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00561563399257500
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00561563399257500
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0018787021918787021900
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0093993900
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00187870219257500
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00187870219257500
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0093993900
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0093993900
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00561563399257500
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00187870219257500

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

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 0056409538288273882730
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00564095382178517850
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00564095382182018200
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00564095382115511550
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005640953821811810
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005640953829439430
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005640953825645640
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0056409538215591155910
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00564095382131921913192190
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00564095382634476663447661094

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0056409538288273882730
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00564095382178517850
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00564095382182018200
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00564095382115511550
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005640953821811810
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005640953829439430
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005640953825645640
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0056409538215591155910
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00564095382131921913192190
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00564095382634476663447661094

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