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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total710010
Category 0710010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total710010
Severity 0710010


Summary for Assertions
NUMBERPERCENT
Total Number710100.00
Uncovered324.51
Success67895.49
Failure00.00
Incomplete10.14
Without Attempts91.27


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 00151972591000
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_out_scan_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 00151971634000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00453132174000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00151971634000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00151971634000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00151971634000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00151971634000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00453132174000
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00453132174000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00453132174000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00453132174000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00453132174000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00453132174000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00453132174000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00453132174000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00453132174000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00453132174000
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_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00151971634000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00151971634000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00151971634000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00151971634000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00151971634000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00151971634000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0045313217445304421000
tb.dut.CioSdoEnOKnown 0045313217445304421000
tb.dut.CioSdoEnOffWhenInactive 0045313217445304421000
tb.dut.FpvSecCmRegWeOnehotCheck_A 0045313217410000
tb.dut.IntrReadbufFlipOKnown 0045313217445304421000
tb.dut.IntrReadbufWatermarkOKnown 0045313217445304421000
tb.dut.IntrTpmHeaderNotEmptyOKnown 0045313217445304421000
tb.dut.IntrTpmRdfifoCmdEndOKnown 0045313217445304421000
tb.dut.IntrTpmRdfifoDropOKnown 0045313217445304421000
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0045313217445304421000
tb.dut.IntrUploadPayloadNotEmptyOKnown 0045313217445304421000
tb.dut.IntrUploadPayloadOverflowOKnown 0045313217445304421000
tb.dut.PayloadStartIdxWidthMatch_A 0097597500
tb.dut.SpiModeKnown_A 0045313217445304421000
tb.dut.TpmEnableWhenTpmCsbIdle_M 0045313217434300
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00453132174199700800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0045313217418115400
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00453132174245000
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00453132174184300
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0045313217418890300
tb.dut.scanmodeKnown 0045313217445313217400
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00455442118343500
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00455442118151800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00455442118146600
tb.dut.spi_device_csr_assert.cfg_rd_A 00455442118201700
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00455442118911100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 004554421181012700
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 004554421181054300
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 004554421181106800
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 004554421181029900
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00455442118980500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 004554421181015700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00455442118909600
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00455442118483900
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00455442118432100
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00455442118512100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00455442118436400
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00455442118509700
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00455442118430500
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00455442118463800
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00455442118481300
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00455442118505700
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00455442118517300
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00455442118489300
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00455442118498800
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00455442118464200
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00455442118447200
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00455442118439500
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00455442118461700
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00455442118510400
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00455442118443800
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00455442118432100
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00455442118436500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00455442118478000
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00455442118457700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00455442118459500
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00455442118448000
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00455442118171500
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00455442118170700
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00455442118169100
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00455442118186700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00455442118219200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00455442118434100
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00455442118174800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00455442118170200
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00455442118152300
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00455442118135600
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00455442118139500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00455442118160100
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00455442118233400
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00455442118154800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00455442118252300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00455442118166500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00455442118146700
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00455442118143500
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00455442118146300
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00455442118145700
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00455442118147500
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00455442118154900
tb.dut.tlul_assert_device.aKnown_A 00455442118959020500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0045544211845531231800
tb.dut.tlul_assert_device.aReadyKnown_A 0045544211845531231800
tb.dut.tlul_assert_device.dKnown_A 004554421181672617900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0045544211845531231800
tb.dut.tlul_assert_device.dReadyKnown_A 0045544211845531231800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00455442848499405700
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 004554421181063400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00455442848676851900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00455442848912603200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00455442118802400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00455442848959020500
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004554428481672617900
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00455442848959020500
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004554428481672617900
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004554428481672617900
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004554428481672617900
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00455442118741300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00455442118637200
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001150115000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00673546637900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0015197259115197161600
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0015197163415197084400
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0015197163415197084400
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0015197259115197161600
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0015197163412175895800
tb.dut.u_cmdparse.OnlyOneDatapath_A 001519716346543500
tb.dut.u_cmdparse.SelDpKnown_A 0015197163412175895800
tb.dut.u_cmdparse.StKnown_A 0015197163412175895800
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00654376484100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00663796572100
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0045313217430800
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0015197163430800
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0045313217416200
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0015197163416200
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0097597500
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0097597500
tb.dut.u_intr_payload_overflow.IntrTKind_A 0097597500
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0097597500
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0097597500
tb.dut.u_jedec.JedecStKnown_A 0015197163412175895800
tb.dut.u_p2s.IoModeChangeValid_A 00151972591767600
tb.dut.u_p2s.IoModeDefault_A 001519725912131600
tb.dut.u_passthrough.PassThroughStKnown_A 0015197163412175895800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00151971634254854400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00151971634450336400
tb.dut.u_readcmd.MailboxSizeMatch_M 0015197163412175895800
tb.dut.u_readcmd.ValidCmdConfig_A 0015197163421579900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00151971634816100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001519716347356400
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00151971634450336400
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00151971634113610100
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00151971634816100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00151971634113554600
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00151971634113610100
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001519716342295510400
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001519716342295510400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001519716342184348600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0015197163412175895800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001519716342184348600
tb.dut.u_reg.en2addrHit 00455442118574088800
tb.dut.u_reg.reAfterRv 00455442118574088800
tb.dut.u_reg.rePulse 00455442118408381400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001150115000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001150115000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001150115000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_socket.NotOverflowed_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00455442118959020500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004554421181672617900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00455442118305359400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00455442118334473500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0045544211819728000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0045544211843936400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00455442118616690400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004554421181294208000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0045544211845531231800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_socket.maxN 001150115000
tb.dut.u_reg.wePulse 00455442118165707400
tb.dut.u_s2p.IoModeDefault_A 001519716342131600
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0097597500
tb.dut.u_scanmode_sync.OutputsKnown_A 0045313217445304421000
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045313217445304421000
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001519716344859900
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0015197163453307200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001519716345345300
tb.dut.u_spi_tpm.CmdPowerof2_A 0097597500
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0097597500
tb.dut.u_spi_tpm.DataSelKnown_A 001519725912880889900
tb.dut.u_spi_tpm.HwRegCondition2_a 001519716341089800
tb.dut.u_spi_tpm.HwRegCondition_A 001519716346663400
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001519725912880889900
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001519716346663400
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0097597500
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0097597500
tb.dut.u_spi_tpm.RdPowerof2_A 0097597500
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001519716346663400
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0097597500
tb.dut.u_spi_tpm.WrDepthSpec_A 0097597500
tb.dut.u_spi_tpm.WrFifoAvailable_A 0015197163441334600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015197163462008600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0015197163418890300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015197163418890300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0045313217445304301800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0015197163415197082400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0097597500
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0097597500
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00151971634587502800
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001519716342880889900
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001519716342880889900
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00151971634587502800
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097597500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097597500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001519716348065100
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004531321747772900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0097597500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0015197163461400
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0045313217461400
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00453132174218591100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00151971634130983000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00453132174218591100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00151971634130983000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00453132174218591100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00151971634130983000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00453132174218591100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00151971634130983000
tb.dut.u_spid_status.BusyBitZero_A 0097597500
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00119221700
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0015197163415197082400
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0045313217445304301800
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0097597500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0045313217410975
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00453132174237135800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0045313217418544700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045313217418544700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0097597500
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0097597500
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0097597500
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0097597500
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0097597500
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00453132174330919100
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00453132174330919100
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0097597500
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0097597500
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0097597500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0097597500
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0097597500
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0097597500
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0097597500
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0045313217418115400
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0045313217418115400
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0097597500
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0045313217442627900
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045313217442627900
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0097597500
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0097597500
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0045313217442627900
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045313217442627900
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0097597500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0045313217418115400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0045313217445304421000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045313217418115400
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00675746719000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00675746719000
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00666386631600
tb.dut.u_upload.AddrFifoNeverFull_M 00151971634184300
tb.dut.u_upload.CmdFifoNeverFull_M 00151971634245000
tb.dut.u_upload.CmdFifoPush_A 00151971634244800
tb.dut.u_upload.FifosOnlyOneValid_A 0015197163412175895800
tb.dut.u_upload.PayloadNeverFull_M 0015197163489219100
tb.dut.u_upload.u_addrfifo.MinDepth_A 0097597500
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00453132174184300
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00151971634184300
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0097597500
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00453132174184300
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00453132174184300
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00453132174184300
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00453132174184300
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00453132174184300
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0015197163415197163400
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0097597500
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00151971634184300
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00151971634184300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015197163489648400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015197163489648400
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0015197163412175895800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0015197163412175895800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0015197163412175895800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0097597500
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00453132174245000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00151971634245000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0097597500
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00453132174245000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00453132174245000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00453132174245000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00453132174245000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00453132174245000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0015197163415197163400
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0097597500
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00151971634244800
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00151971634244800
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097597500
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097597500
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00453132174245000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00151971634245000

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

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_out_scan_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_spid_status.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
tb.dut.u_tpm_rst_out_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 0045544284881911819110
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00455442848243024300
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00455442848251125110
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00455442848166916690
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004554428482312310
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00455442848132213220
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00455442848120412040
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045544284814345143450
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00455442848112864311286430
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00455442848364421236442121130

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0045544284881911819110
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00455442848243024300
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00455442848251125110
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00455442848166916690
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004554428482312310
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00455442848132213220
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00455442848120412040
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045544284814345143450
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00455442848112864311286430
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00455442848364421236442121130

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