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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0041745713641737519100
tb.dut.CioSdoEnOKnown 0041745713641737519100
tb.dut.CioSdoEnOffWhenInactive 0041745713641737519100
tb.dut.FpvSecCmRegWeOnehotCheck_A 004174571368000
tb.dut.IntrReadbufFlipOKnown 0041745713641737519100
tb.dut.IntrReadbufWatermarkOKnown 0041745713641737519100
tb.dut.IntrTpmHeaderNotEmptyOKnown 0041745713641737519100
tb.dut.IntrTpmRdfifoCmdEndOKnown 0041745713641737519100
tb.dut.IntrTpmRdfifoDropOKnown 0041745713641737519100
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0041745713641737519100
tb.dut.IntrUploadPayloadNotEmptyOKnown 0041745713641737519100
tb.dut.IntrUploadPayloadOverflowOKnown 0041745713641737519100
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0041745713641737519100
tb.dut.TpmEnableWhenTpmCsbIdle_M 0041745713633200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00417457136168788800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0041745713615101500
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00417457136170200
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00417457136129900
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0041745713619330300
tb.dut.scanmodeKnown 0041745713641745713600
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00420108857375200
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00420108857304600
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00420108857281900
tb.dut.spi_device_csr_assert.cfg_rd_A 00420108857361700
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 004201088571368100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 004201088571409400
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 004201088571406900
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 004201088571372100
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 004201088571411300
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 004201088571421200
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 004201088571285700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 004201088571294400
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00420108857644200
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00420108857668100
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00420108857654800
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00420108857724600
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00420108857692900
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00420108857700900
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00420108857720500
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00420108857671600
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00420108857652300
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00420108857731600
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00420108857760200
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00420108857702600
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00420108857640600
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00420108857721900
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00420108857665200
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00420108857659000
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00420108857709200
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00420108857672000
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00420108857668700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00420108857692300
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00420108857685500
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00420108857643000
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00420108857678200
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00420108857672400
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00420108857322900
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00420108857323700
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00420108857313200
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00420108857316200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00420108857389500
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00420108857586300
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00420108857322900
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00420108857320600
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00420108857274900
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00420108857303000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00420108857291100
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00420108857298100
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00420108857374300
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00420108857281600
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00420108857419900
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00420108857320300
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00420108857281900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00420108857273500
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00420108857297500
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00420108857274200
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00420108857301200
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00420108857275900
tb.dut.tlul_assert_device.aKnown_A 00420108857947560600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0042010885741998179300
tb.dut.tlul_assert_device.aReadyKnown_A 0042010885741998179300
tb.dut.tlul_assert_device.dKnown_A 004201088571770214700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0042010885741998179300
tb.dut.tlul_assert_device.dReadyKnown_A 0042010885741998179300
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 00420109538461063300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00420108857746200
tb.dut.tlul_assert_device.gen_device.contigMask_M 00420109538680323000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 004201095381027971400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00420108857631100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00420109538947560600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004201095381770214700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00420109538947560600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004201095381770214700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004201095381770214700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004201095381770214700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00420108857534300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00420108857518500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00539575303100
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0013373442713373350100
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0013373351913373276900
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0013373351913373276900
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0013373442713373350100
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0013373351910557594100
tb.dut.u_cmdparse.OnlyOneDatapath_A 001337335195213400
tb.dut.u_cmdparse.SelDpKnown_A 0013373351910557594100
tb.dut.u_cmdparse.StKnown_A 0013373351910557594100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00530315240300
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0041745713631600
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0013373351931600
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0041745713617400
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0013373351917400
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 0013373351910557594100
tb.dut.u_p2s.IoModeChangeValid_A 00133734427661000
tb.dut.u_p2s.IoModeDefault_A 001337344272193000
tb.dut.u_passthrough.PassThroughStKnown_A 0013373351910557594100
tb.dut.u_passthrough.PayloadSwapConstraint_M 00133733519131926400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00133733519421931000
tb.dut.u_readcmd.MailboxSizeMatch_M 0013373351910557594100
tb.dut.u_readcmd.ValidCmdConfig_A 0013373351918783200
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00133733519712800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001337335195923600
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00133733519421931000
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00133733519106369600
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00133733519712800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00133733519106325500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00133733519106369600
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001337335192100477500
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001337335192100477500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001337335191996246300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0013373351910557594100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001337335191996246300
tb.dut.u_reg.en2addrHit 00420108857606415500
tb.dut.u_reg.reAfterRv 00420108857606415500
tb.dut.u_reg.rePulse 00420108857433529200
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 0042010885741998179300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00420108857947560600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0042010885741998179300
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 004201088571770214700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0042010885741998179300
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 00420108857258724200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0042010885741998179300
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 00420108857284741600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0042010885741998179300
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 0042010885716097200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0042010885741998179300
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 0042010885738327300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0042010885741998179300
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 00420108857656235500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0042010885741998179300
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 004201088571447145800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0042010885741998179300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0042010885741998179300
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 00420108857172886300
tb.dut.u_s2p.IoModeDefault_A 001337335192193000
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0041745713641737519100
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041745713641737519100
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001337335194985100
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0013373351953958400
tb.dut.u_spi_tpm.CmdAddrInfo_A 001337335195343400
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001337344272685213600
tb.dut.u_spi_tpm.HwRegCondition2_a 001337335191086000
tb.dut.u_spi_tpm.HwRegCondition_A 001337335196744800
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001337344272685213600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001337335196744800
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 001337335196744800
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0013373351943430500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001337335192685213600
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 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013373351964597300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0013373351919330300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0013373351919330300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0041745713641737408300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0013373351913373275600
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 00133733519601396400
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001337335192685213600
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00133733519601396400
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 001337335198333700
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004174571367976300
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 0013373351957500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0041745713657500
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 00417457136188119100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0013373351989895000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00417457136188119100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0013373351989895000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00417457136188119100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0013373351989895000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00417457136188119100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0013373351989895000
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0013373351913373275600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0041745713641737408300
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 0041745713641737519100
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 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0041745713640926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00417457136203520700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0041745713615401600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041745713615401600
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0041745713641737519100
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 00417457136282048200
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00417457136282048200
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 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0041745713615101500
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0041745713615101500
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0041745713637592100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041745713637592100
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 0041745713637592100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041745713637592100
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0041745713615101500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0041745713641737519100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041745713615101500
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00683606798700
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00683606798700
tb.dut.u_upload.AddrFifoNeverFull_M 00133733519129900
tb.dut.u_upload.CmdFifoNeverFull_M 00133733519170200
tb.dut.u_upload.CmdFifoPush_A 00133733519170200
tb.dut.u_upload.FifosOnlyOneValid_A 0013373351910557594100
tb.dut.u_upload.PayloadNeverFull_M 0013373351946164400
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00417457136129900
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00133733519129900
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00417457136129900
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00417457136129900
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00417457136129900
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00417457136129900
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00417457136129900
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0013373351913373351900
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00133733519129900
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00133733519129900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0013373351910557594100
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 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0013373351910557594100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0013373351910557594100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013373351946464500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0013373351910557594100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013373351946464500
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0013373351910557594100
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0013373351910557594100
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0013373351910557594100
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00417457136170200
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00133733519170200
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00417457136170200
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00417457136170200
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00417457136170200
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00417457136170200
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00417457136170200
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0013373351913373351900
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00133733519170200
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00133733519170200
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 00417457136170200
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00133733519170200

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

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 0042010953870840708400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00420109538165316530
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00420109538171617160
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00420109538108910890
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004201095381931930
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004201095388688680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004201095387487480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042010953815011150110
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004201095389626229626220
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00420109538353548235354821081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0042010953870840708400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00420109538165316530
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00420109538171617160
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00420109538108910890
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004201095381931930
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004201095388688680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004201095387487480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042010953815011150110
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004201095389626229626220
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00420109538353548235354821081

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