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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0042318161142309846200
tb.dut.CioSdoEnOKnown 0042318161142309846200
tb.dut.CioSdoEnOffWhenInactive 0042318161142309846200
tb.dut.FpvSecCmRegWeOnehotCheck_A 004231816118000
tb.dut.IntrReadbufFlipOKnown 0042318161142309846200
tb.dut.IntrReadbufWatermarkOKnown 0042318161142309846200
tb.dut.IntrTpmHeaderNotEmptyOKnown 0042318161142309846200
tb.dut.IntrTpmRdfifoCmdEndOKnown 0042318161142309846200
tb.dut.IntrTpmRdfifoDropOKnown 0042318161142309846200
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0042318161142309846200
tb.dut.IntrUploadPayloadNotEmptyOKnown 0042318161142309846200
tb.dut.IntrUploadPayloadOverflowOKnown 0042318161142309846200
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0042318161142309846200
tb.dut.TpmEnableWhenTpmCsbIdle_M 0042318161134400
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00423181611170273600
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0042318161115607800
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00423181611198500
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00423181611149100
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0042318161118852600
tb.dut.scanmodeKnown 0042318161142318161100
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00425541073385400
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00425541073233400
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00425541073223300
tb.dut.spi_device_csr_assert.cfg_rd_A 00425541073260700
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 004255410731249500
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 004255410731155600
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 004255410731263500
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 004255410731202200
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 004255410731177400
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 004255410731163900
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 004255410731107900
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 004255410731083600
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00425541073632600
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00425541073654500
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00425541073548000
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00425541073607200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00425541073631400
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00425541073638100
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00425541073612200
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00425541073623600
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00425541073514600
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00425541073635800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00425541073583700
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00425541073623700
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00425541073588100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00425541073619800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00425541073589300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00425541073595600
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00425541073647100
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00425541073629000
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00425541073569300
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00425541073593700
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00425541073622400
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00425541073602600
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00425541073580500
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00425541073637500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00425541073266200
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00425541073260000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00425541073249300
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00425541073266300
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00425541073348400
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00425541073493000
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00425541073256300
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00425541073256800
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00425541073222100
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00425541073206100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00425541073220600
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00425541073219900
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00425541073314100
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00425541073212300
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00425541073368600
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00425541073239000
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00425541073223600
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00425541073212900
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00425541073227500
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00425541073222200
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00425541073221400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00425541073221300
tb.dut.tlul_assert_device.aKnown_A 00425541073967619600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0042554107342541127900
tb.dut.tlul_assert_device.aReadyKnown_A 0042554107342541127900
tb.dut.tlul_assert_device.dKnown_A 004255410731600483700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0042554107342541127900
tb.dut.tlul_assert_device.dReadyKnown_A 0042554107342541127900
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 00425541748466070900
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00425541073807800
tb.dut.tlul_assert_device.gen_device.contigMask_M 00425541748697137600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00425541748915452600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00425541073652300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00425541748967619600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004255417481600483700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00425541748967619600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004255417481600483700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004255417481600483700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004255417481600483700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00425541073611100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00425541073603300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00570155608900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0012946752812946660200
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0012946661812946586900
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0012946661812946586900
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0012946752812946660200
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0012946661810195758400
tb.dut.u_cmdparse.OnlyOneDatapath_A 001294666185520400
tb.dut.u_cmdparse.SelDpKnown_A 0012946661810195758400
tb.dut.u_cmdparse.StKnown_A 0012946661810195758400
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00560895547200
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0042318161133500
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0012946661833500
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0042318161119400
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0012946661819400
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 0012946661810195758400
tb.dut.u_p2s.IoModeChangeValid_A 00129467528634300
tb.dut.u_p2s.IoModeDefault_A 001294675282168500
tb.dut.u_passthrough.PassThroughStKnown_A 0012946661810195758400
tb.dut.u_passthrough.PayloadSwapConstraint_M 00129466618113646400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00129466618399587900
tb.dut.u_readcmd.MailboxSizeMatch_M 0012946661810195758400
tb.dut.u_readcmd.ValidCmdConfig_A 0012946661818558900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00129466618701100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001294666186218100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00129466618399587900
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00129466618100775000
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00129466618701100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00129466618100729300
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00129466618100775000
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001294666181990179900
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001294666181990179900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001294666181891508200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0012946661810195758400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001294666181891508200
tb.dut.u_reg.en2addrHit 00425541073631465700
tb.dut.u_reg.reAfterRv 00425541073631465700
tb.dut.u_reg.rePulse 00425541073450829200
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 0042554107342541127900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00425541073967619600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0042554107342541127900
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 004255410731600483700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0042554107342541127900
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 00425541073258407500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0042554107342541127900
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 00425541073274479100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0042554107342541127900
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 0042554107316766800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0042554107342541127900
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 0042554107334640900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0042554107342541127900
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 00425541073677463800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0042554107342541127900
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 004255410731291363700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0042554107342541127900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0042554107342541127900
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 00425541073180636500
tb.dut.u_s2p.IoModeDefault_A 001294666182168500
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0042318161142309846200
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042318161142309846200
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001294666184881400
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0012946661853507200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001294666185331800
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001294675282616920900
tb.dut.u_spi_tpm.HwRegCondition2_a 001294666181117100
tb.dut.u_spi_tpm.HwRegCondition_A 001294666186688400
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001294675282616920900
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001294666186688400
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 001294666186688400
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0012946661843005600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001294666182616920900
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 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012946661863646400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0012946661818852600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0012946661818852600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0042318161142309734900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0012946661812946585300
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 00129466618586603200
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001294666182616920900
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00129466618586603200
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 001294666188260600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004231816117904600
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 0012946661857100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0042318161157100
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 00423181611189126200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0012946661896234100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00423181611189126200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0012946661896234100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00423181611189126200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0012946661896234100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00423181611189126200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0012946661896234100
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0012946661812946585300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0042318161142309734900
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 0042318161142309846200
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 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0042318161150926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00423181611205081600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0042318161115955400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042318161115955400
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0042318161142309846200
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 00423181611272059400
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00423181611272059400
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 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0042318161115607800
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0042318161115607800
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0042318161133816000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042318161133816000
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 0042318161133816000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042318161133816000
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0042318161115607800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0042318161142309846200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042318161115607800
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00677816740100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00677816740100
tb.dut.u_upload.AddrFifoNeverFull_M 00129466618149100
tb.dut.u_upload.CmdFifoNeverFull_M 00129466618198500
tb.dut.u_upload.CmdFifoPush_A 00129466618198500
tb.dut.u_upload.FifosOnlyOneValid_A 0012946661810195758400
tb.dut.u_upload.PayloadNeverFull_M 0012946661852880900
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00423181611149100
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00129466618149100
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00423181611149100
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00423181611149100
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00423181611149100
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00423181611149100
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00423181611149100
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0012946661812946661800
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00129466618149100
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00129466618149100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0012946661810195758400
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 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0012946661810195758400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0012946661810195758400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012946661853228500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0012946661810195758400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012946661853228500
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0012946661810195758400
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0012946661810195758400
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0012946661810195758400
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00423181611198500
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00129466618198500
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00423181611198500
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00423181611198500
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00423181611198500
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00423181611198500
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00423181611198500
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0012946661812946661800
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00129466618198500
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00129466618198500
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 00423181611198500
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00129466618198500

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

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 0042554174863660636600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00425541748203020300
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00425541748208120810
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00425541748138413840
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004255417481771770
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00425541748111811180
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004255417482832830
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042554174818660186600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004255417489690719690710
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00425541748345940334594031081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0042554174863660636600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00425541748203020300
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00425541748208120810
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00425541748138413840
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004255417481771770
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00425541748111811180
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004255417482832830
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042554174818660186600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004255417489690719690710
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00425541748345940334594031081

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