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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total713010
Category 0713010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total713010
Severity 0713010


Summary for Assertions
NUMBERPERCENT
Total Number713100.00
Uncovered324.49
Success68195.51
Failure00.00
Incomplete10.14
Without Attempts91.26


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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0046329426746320491800
tb.dut.CioSdoEnOKnown 0046329426746320491800
tb.dut.CioSdoEnOffWhenInactive 0046329426746320491800
tb.dut.FpvSecCmRegWeOnehotCheck_A 0046329426711000
tb.dut.IntrReadbufFlipOKnown 0046329426746320491800
tb.dut.IntrReadbufWatermarkOKnown 0046329426746320491800
tb.dut.IntrTpmHeaderNotEmptyOKnown 0046329426746320491800
tb.dut.IntrTpmRdfifoCmdEndOKnown 0046329426746320491800
tb.dut.IntrTpmRdfifoDropOKnown 0046329426746320491800
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0046329426746320491800
tb.dut.IntrUploadPayloadNotEmptyOKnown 0046329426746320491800
tb.dut.IntrUploadPayloadOverflowOKnown 0046329426746320491800
tb.dut.PayloadStartIdxWidthMatch_A 0095695600
tb.dut.SpiModeKnown_A 0046329426746320491800
tb.dut.TpmEnableWhenTpmCsbIdle_M 0046329426733700
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00463294267191014400
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0046329426717811800
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00463294267236000
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00463294267177400
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0046329426719243400
tb.dut.scanmodeKnown 0046329426746329426700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00465548306363100
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00465548306198500
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00465548306187300
tb.dut.spi_device_csr_assert.cfg_rd_A 00465548306231600
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00465548306660100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00465548306554700
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00465548306647200
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00465548306649300
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00465548306540700
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00465548306777300
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00465548306505200
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00465548306538100
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00465548306341800
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00465548306329500
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00465548306396600
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00465548306330200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00465548306379400
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00465548306359100
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00465548306356300
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00465548306377200
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00465548306356600
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00465548306358800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00465548306354600
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00465548306314200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00465548306325600
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00465548306366100
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00465548306355900
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00465548306359900
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00465548306318500
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00465548306324500
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00465548306351900
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00465548306330300
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00465548306319000
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00465548306400700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00465548306337300
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00465548306364400
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00465548306221800
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00465548306205100
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00465548306210400
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00465548306206000
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00465548306259600
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00465548306361200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00465548306209500
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00465548306214800
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00465548306198900
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00465548306209700
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00465548306193900
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00465548306195800
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00465548306246700
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00465548306193800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00465548306231400
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00465548306209900
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00465548306177100
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00465548306199000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00465548306185500
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00465548306193300
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00465548306195100
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00465548306198400
tb.dut.tlul_assert_device.aKnown_A 00465548306933473200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0046554830646541424300
tb.dut.tlul_assert_device.aReadyKnown_A 0046554830646541424300
tb.dut.tlul_assert_device.dKnown_A 004655483061642289700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0046554830646541424300
tb.dut.tlul_assert_device.dReadyKnown_A 0046554830646541424300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00465548974477478400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00465548306998000
tb.dut.tlul_assert_device.gen_device.contigMask_M 00465548974659961800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00465548974920690000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00465548306778100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00465548974933473200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004655489741642289700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00465548974933473200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004655489741642289700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004655489741642289700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004655489741642289700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00465548306718400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00465548306643800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001131113100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00625176156100
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0015242904415242808800
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0015242810615242729800
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0015242810615242729800
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0015242904415242808800
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0015242810612247777800
tb.dut.u_cmdparse.OnlyOneDatapath_A 001524281066061700
tb.dut.u_cmdparse.SelDpKnown_A 0015242810612247777800
tb.dut.u_cmdparse.StKnown_A 0015242810612247777800
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00606176000200
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00615616088600
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0046329426732100
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0015242810632100
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0046329426716500
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0015242810616500
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0095695600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0095695600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0095695600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0095695600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0095695600
tb.dut.u_jedec.JedecStKnown_A 0015242810612247777800
tb.dut.u_p2s.IoModeChangeValid_A 00152429044766700
tb.dut.u_p2s.IoModeDefault_A 001524290442035800
tb.dut.u_passthrough.PassThroughStKnown_A 0015242810612247777800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00152428106253324000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00152428106469738100
tb.dut.u_readcmd.MailboxSizeMatch_M 0015242810612247777800
tb.dut.u_readcmd.ValidCmdConfig_A 0015242810620959300
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00152428106793500
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001524281066851500
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00152428106469738100
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00152428106118428300
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00152428106793500
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00152428106118377500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00152428106118428300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001524281062365195500
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001524281062365195500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001524281062249147700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0015242810612247777800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001524281062249147700
tb.dut.u_reg.en2addrHit 00465548306565329000
tb.dut.u_reg.reAfterRv 00465548306565329000
tb.dut.u_reg.rePulse 00465548306405252900
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001131113100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001131113100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001131113100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_socket.NotOverflowed_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00465548306933473200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004655483061642289700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00465548306291910500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00465548306319767400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0046554830619522700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0046554830645030300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00465548306607229100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004655483061277492000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0046554830646541424300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_socket.maxN 001131113100
tb.dut.u_reg.wePulse 00465548306160076100
tb.dut.u_s2p.IoModeDefault_A 001524281062035800
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0095695600
tb.dut.u_scanmode_sync.OutputsKnown_A 0046329426746320491800
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0046329426746320491800
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001524281064850700
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0015242810651375200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001524281065109600
tb.dut.u_spi_tpm.CmdPowerof2_A 0095695600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0095695600
tb.dut.u_spi_tpm.DataSelKnown_A 001524290442861760000
tb.dut.u_spi_tpm.HwRegCondition2_a 00152428106975300
tb.dut.u_spi_tpm.HwRegCondition_A 001524281066421900
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001524290442861760000
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001524281066421900
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0095695600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0095695600
tb.dut.u_spi_tpm.RdPowerof2_A 0095695600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001524281066421900
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0095695600
tb.dut.u_spi_tpm.WrDepthSpec_A 0095695600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0015242810642303600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015242810663328200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0015242810619243400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015242810619243400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0046329426746320373900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0015242810615242728300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0095695600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0095695600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00152428106598458600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001524281062861760000
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001524281062861760000
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00152428106598458600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095695600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095695600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001524281068294500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004632942677957600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0095695600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0015242810662900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0046329426762900
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00152428106130398300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00152428106130398300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00152428106130398300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00152428106130398300
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00463294267210257800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00463294267210257800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00463294267210257800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00463294267210257800
tb.dut.u_spid_status.BusyBitZero_A 0095695600
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00117922300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0015242810615242728300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0046329426746320373900
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0095695600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0046329426780956
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00463294267228483000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0046329426718225200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0046329426718225200
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0095695600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0095695600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00463294267316107900
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00463294267316107900
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0095695600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0095695600
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0095695600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0046329426717811800
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0046329426717811800
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0095695600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0046329426743574000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0046329426743574000
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0095695600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0095695600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0046329426743574000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0046329426743574000
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0046329426717811800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0046329426746320491800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0046329426717811800
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00651726479200
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00651726479200
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00642226390500
tb.dut.u_upload.AddrFifoNeverFull_M 00152428106177400
tb.dut.u_upload.CmdFifoNeverFull_M 00152428106236000
tb.dut.u_upload.CmdFifoPush_A 00152428106235900
tb.dut.u_upload.FifosOnlyOneValid_A 0015242810612247777800
tb.dut.u_upload.PayloadNeverFull_M 0015242810687681300
tb.dut.u_upload.u_addrfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00463294267177400
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00152428106177400
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00463294267177400
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00463294267177400
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00463294267177400
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00463294267177400
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00463294267177400
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0015242810615242810600
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00152428106177400
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00152428106177400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015242810688094700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015242810688094700
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0015242810612247777800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0015242810612247777800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0015242810612247777800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00463294267236000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00152428106236000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00463294267236000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00463294267236000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00463294267236000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00463294267236000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00463294267236000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0015242810615242810600
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00152428106235900
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00152428106235900
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095695600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095695600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00463294267236000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00152428106236000

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

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 0046554897482185821850
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00465548974339333930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00465548974344534450
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00465548974228122810
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004655489741891890
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00465548974175017500
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00465548974139213920
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00465548974801380130
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00465548974107540710754070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00465548974363695936369591111

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0046554897482185821850
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00465548974339333930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00465548974344534450
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00465548974228122810
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004655489741891890
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00465548974175017500
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00465548974139213920
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00465548974801380130
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00465548974107540710754070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00465548974363695936369591111

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