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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0040078526240070265700
tb.dut.CioSdoEnOKnown 0040078526240070265700
tb.dut.CioSdoEnOffWhenInactive 0040078526240070265700
tb.dut.FpvSecCmRegWeOnehotCheck_A 004007852627000
tb.dut.IntrReadbufFlipOKnown 0040078526240070265700
tb.dut.IntrReadbufWatermarkOKnown 0040078526240070265700
tb.dut.IntrTpmHeaderNotEmptyOKnown 0040078526240070265700
tb.dut.IntrTpmRdfifoCmdEndOKnown 0040078526240070265700
tb.dut.IntrTpmRdfifoDropOKnown 0040078526240070265700
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0040078526240070265700
tb.dut.IntrUploadPayloadNotEmptyOKnown 0040078526240070265700
tb.dut.IntrUploadPayloadOverflowOKnown 0040078526240070265700
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0040078526240070265700
tb.dut.TpmEnableWhenTpmCsbIdle_M 0040078526234100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00400785262171176000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0040078526214593600
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00400785262194100
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00400785262143500
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0040078526216922200
tb.dut.scanmodeKnown 0040078526240078526200
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00402870186300100
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00402870186155900
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00402870186157500
tb.dut.spi_device_csr_assert.cfg_rd_A 00402870186187200
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00402870186656900
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00402870186631600
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00402870186701800
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00402870186712000
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00402870186659100
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00402870186605600
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00402870186703700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00402870186611000
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00402870186333500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00402870186329500
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00402870186377900
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00402870186342000
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00402870186371300
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00402870186336300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00402870186383800
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00402870186337300
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00402870186371900
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00402870186336000
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00402870186357300
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00402870186347000
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00402870186362600
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00402870186379900
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00402870186340100
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00402870186318400
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00402870186378700
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00402870186371700
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00402870186302200
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00402870186283600
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00402870186342800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00402870186386400
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00402870186336900
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00402870186334800
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00402870186167700
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00402870186176800
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00402870186175900
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00402870186175800
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00402870186202100
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00402870186361900
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00402870186169100
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00402870186161200
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00402870186166200
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00402870186166600
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00402870186169500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00402870186168700
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00402870186213200
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00402870186156900
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00402870186225300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00402870186173300
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00402870186167200
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00402870186157900
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00402870186162000
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00402870186154700
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00402870186167400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00402870186160400
tb.dut.tlul_assert_device.aKnown_A 00402870186879748600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0040287018640274224300
tb.dut.tlul_assert_device.aReadyKnown_A 0040287018640274224300
tb.dut.tlul_assert_device.dKnown_A 004028701861702341300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0040287018640274224300
tb.dut.tlul_assert_device.dReadyKnown_A 0040287018640274224300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00402870865450772800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00402870186709700
tb.dut.tlul_assert_device.gen_device.contigMask_M 00402870865617547900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00402870865945395400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00402870186565700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00402870865879748600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004028708651702341300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00402870865879748600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004028708651702341300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004028708651702341300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004028708651702341300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00402870186526100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00402870186511600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00592735834700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0013295014313294921700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0013294922713294848200
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0013294922713294848200
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0013295014313294921700
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0013294922710516457500
tb.dut.u_cmdparse.OnlyOneDatapath_A 001329492275748700
tb.dut.u_cmdparse.SelDpKnown_A 0013294922710516457500
tb.dut.u_cmdparse.StKnown_A 0013294922710516457500
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00583475773600
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0040078526232800
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0013294922732800
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0040078526218500
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0013294922718500
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092692600
tb.dut.u_jedec.JedecStKnown_A 0013294922710516457500
tb.dut.u_p2s.IoModeChangeValid_A 00132950143666700
tb.dut.u_p2s.IoModeDefault_A 001329501431970800
tb.dut.u_passthrough.PassThroughStKnown_A 0013294922710516457500
tb.dut.u_passthrough.PayloadSwapConstraint_M 00132949227127256800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00132949227426611500
tb.dut.u_readcmd.MailboxSizeMatch_M 0013294922710516457500
tb.dut.u_readcmd.ValidCmdConfig_A 0013294922718763100
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00132949227711300
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001329492276457100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00132949227426611500
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00132949227107540900
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00132949227711300
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00132949227107496300
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00132949227107540900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001329492272146563000
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001329492272146563000
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001329492272041156000
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0013294922710516457500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001329492272041156000
tb.dut.u_reg.en2addrHit 00402870186534105200
tb.dut.u_reg.reAfterRv 00402870186534105200
tb.dut.u_reg.rePulse 00402870186377598600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001101110100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001101110100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.NotOverflowed_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00402870186879748600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004028701861702341300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00402870186263707000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00402870186301316100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0040287018615553600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0040287018641253000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00402870186583459300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004028701861359772200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0040287018640274224300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.maxN 001101110100
tb.dut.u_reg.wePulse 00402870186156506600
tb.dut.u_s2p.IoModeDefault_A 001329492271970800
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0040078526240070265700
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0040078526240070265700
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001329492274444300
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0013294922748579200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001329492274831700
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001329501432657758700
tb.dut.u_spi_tpm.HwRegCondition2_a 001329492271006500
tb.dut.u_spi_tpm.HwRegCondition_A 001329492276072400
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001329501432657758700
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001329492276072400
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092692600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092692600
tb.dut.u_spi_tpm.RdPowerof2_A 0092692600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001329492276072400
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0013294922738820300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013294922757357500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0013294922716922200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0013294922716922200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0040078526240070155100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0013294922713294846200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092692600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092692600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00132949227526533200
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001329492272657758700
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00132949227526533200
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001329492277765900
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004007852627493100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092692600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0013294922756700
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0040078526256700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00400785262188098200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0013294922793952600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00400785262188098200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0013294922793952600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00400785262188098200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0013294922793952600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00400785262188098200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0013294922793952600
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0013294922713294846200
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0040078526240070155100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0040078526250926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00400785262203029400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0040078526214931200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040078526214931200
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00400785262298353900
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00400785262298353900
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0040078526214593600
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0040078526214593600
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0040078526240303500
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040078526240303500
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0040078526240303500
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040078526240303500
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0040078526214593600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0040078526240070265700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040078526214593600
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00615746119700
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00615746119700
tb.dut.u_upload.AddrFifoNeverFull_M 00132949227143500
tb.dut.u_upload.CmdFifoNeverFull_M 00132949227194100
tb.dut.u_upload.CmdFifoPush_A 00132949227194100
tb.dut.u_upload.FifosOnlyOneValid_A 0013294922710516457500
tb.dut.u_upload.PayloadNeverFull_M 0013294922754794700
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00400785262143500
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00132949227143500
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00400785262143500
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00400785262143500
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00400785262143500
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00400785262143500
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00400785262143500
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0013294922713294922700
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00132949227143500
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00132949227143500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013294922755132300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013294922755132300
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0013294922710516457500
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0013294922710516457500
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00400785262194100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00132949227194100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00400785262194100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00400785262194100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00400785262194100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00400785262194100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00400785262194100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0013294922713294922700
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00132949227194100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00132949227194100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00400785262194100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00132949227194100

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

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 0040287086575023750230
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00402870865251725170
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00402870865259025900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00402870865168216820
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004028708651991990
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00402870865134013400
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004028708657007000
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040287086515022150220
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00402870865100139910013990
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00402870865307141230714121081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040287086575023750230
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00402870865251725170
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00402870865259025900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00402870865168216820
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004028708651991990
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00402870865134013400
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004028708657007000
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040287086515022150220
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00402870865100139910013990
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00402870865307141230714121081

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