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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total693010
Category 0693010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total693010
Severity 0693010


Summary for Assertions
NUMBERPERCENT
Total Number693100.00
Uncovered324.62
Success66195.38
Failure00.00
Incomplete10.14
Without Attempts91.30


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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0034469196634460669900
tb.dut.CioSdoEnOKnown 0034469196634460669900
tb.dut.CioSdoEnOffWhenInactive 0034469196634460669900
tb.dut.FpvSecCmRegWeOnehotCheck_A 0034469196613000
tb.dut.IntrReadbufFlipOKnown 0034469196634460669900
tb.dut.IntrReadbufWatermarkOKnown 0034469196634460669900
tb.dut.IntrTpmHeaderNotEmptyOKnown 0034469196634460669900
tb.dut.IntrTpmRdfifoCmdEndOKnown 0034469196634460669900
tb.dut.IntrTpmRdfifoDropOKnown 0034469196634460669900
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0034469196634460669900
tb.dut.IntrUploadPayloadNotEmptyOKnown 0034469196634460669900
tb.dut.IntrUploadPayloadOverflowOKnown 0034469196634460669900
tb.dut.PayloadStartIdxWidthMatch_A 0090690600
tb.dut.SpiModeKnown_A 0034469196634460669900
tb.dut.TpmEnableWhenTpmCsbIdle_M 0034469196632900
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00344691966151910400
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0034469196613678000
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00344691966157700
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00344691966119300
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0034469196617536700
tb.dut.scanmodeKnown 0034469196634469196600
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00347478098353800
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00347478098254800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00347478098249800
tb.dut.spi_device_csr_assert.cfg_rd_A 00347478098341500
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 003474780981471300
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 003474780981664000
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 003474780981525700
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 003474780981682300
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 003474780981605000
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 003474780981663900
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 003474780981596700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 003474780981492900
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00347478098749600
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00347478098771600
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00347478098749100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00347478098740000
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00347478098764500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00347478098752300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00347478098789900
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00347478098789900
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00347478098809600
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00347478098738000
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00347478098707500
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00347478098768900
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00347478098777100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00347478098717800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00347478098722600
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00347478098760800
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00347478098717600
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00347478098756200
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00347478098752800
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00347478098678500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00347478098795500
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00347478098760700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00347478098747600
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00347478098760400
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00347478098294100
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00347478098289300
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00347478098289900
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00347478098276200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00347478098371900
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00347478098588800
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00347478098286000
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00347478098291900
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00347478098243800
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00347478098241700
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00347478098246900
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00347478098247500
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00347478098378300
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00347478098245300
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00347478098434800
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00347478098277900
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00347478098245600
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00347478098253100
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00347478098238600
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00347478098243600
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00347478098247400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00347478098232200
tb.dut.tlul_assert_device.aKnown_A 00347478098831399800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0034747809834734398900
tb.dut.tlul_assert_device.aReadyKnown_A 0034747809834734398900
tb.dut.tlul_assert_device.dKnown_A 003474780981504489300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0034747809834734398900
tb.dut.tlul_assert_device.dReadyKnown_A 0034747809834734398900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001081108100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00347478771408101500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00347478098822500
tb.dut.tlul_assert_device.gen_device.contigMask_M 00347478771586705100
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00347478771828840000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00347478098642700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00347478771831399800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 003474787711504489300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00347478771831399800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 003474787711504489300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 003474787711504489300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 003474787711504489300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00347478098617400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00347478098634600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001081108100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00511355022900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0011967301311967210700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0011967212111967136600
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0011967212111967136600
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0011967301311967210700
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 001196721219173237400
tb.dut.u_cmdparse.OnlyOneDatapath_A 001196721214934900
tb.dut.u_cmdparse.SelDpKnown_A 001196721219173237400
tb.dut.u_cmdparse.StKnown_A 001196721219173237400
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00493524879400
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00502294960400
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0034469196632100
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0011967212132100
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0034469196618700
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0011967212118700
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0090690600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0090690600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0090690600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0090690600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0090690600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0090690600
tb.dut.u_jedec.JedecStKnown_A 001196721219173237400
tb.dut.u_p2s.IoModeChangeValid_A 00119673013567900
tb.dut.u_p2s.IoModeDefault_A 001196730131805100
tb.dut.u_passthrough.PassThroughStKnown_A 001196721219173237400
tb.dut.u_passthrough.PayloadSwapConstraint_M 00119672121129224800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00119672121352727100
tb.dut.u_readcmd.MailboxSizeMatch_M 001196721219173237400
tb.dut.u_readcmd.ValidCmdConfig_A 0011967212116372400
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00119672121620400
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001196721215553500
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00119672121352727100
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0011967212188960200
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00119672121620400
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0011967212188924500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0011967212188960200
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001196721211813076200
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001196721211813076200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001196721211725977200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 001196721219173237400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001196721211725977200
tb.dut.u_reg.en2addrHit 00347478098523039000
tb.dut.u_reg.reAfterRv 00347478098523039000
tb.dut.u_reg.rePulse 00347478098375112800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001081108100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001081108100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001081108100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_socket.NotOverflowed_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00347478098831399800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 003474780981504489300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00347478098232162100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00347478098265964400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0034747809814992300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0034747809834154100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00347478098569089400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 003474780981204370800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0034747809834734398900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001081108100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001081108100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001081108100
tb.dut.u_reg.u_socket.maxN 001081108100
tb.dut.u_reg.wePulse 00347478098147926200
tb.dut.u_s2p.IoModeDefault_A 001196721211805100
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0090690600
tb.dut.u_scanmode_sync.OutputsKnown_A 0034469196634460669900
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034469196634460669900
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001196721214547900
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0011967212150942400
tb.dut.u_spi_tpm.CmdAddrInfo_A 001196721215164500
tb.dut.u_spi_tpm.CmdPowerof2_A 0090690600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0090690600
tb.dut.u_spi_tpm.DataSelKnown_A 001196730132675533600
tb.dut.u_spi_tpm.HwRegCondition2_a 001196721211144000
tb.dut.u_spi_tpm.HwRegCondition_A 001196721216367800
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001196730132675533600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001196721216367800
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0090690600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0090690600
tb.dut.u_spi_tpm.RdPowerof2_A 0090690600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001196721216367800
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0090690600
tb.dut.u_spi_tpm.WrDepthSpec_A 0090690600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0011967212139687100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0011967212158880000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0011967212117536700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0011967212117536700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0034469196634460557700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0011967212111967135300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0090690600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0090690600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00119672121545475900
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001196721212675533600
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00119672121545475900
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0090690600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0090690600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001196721217728400
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 003446919667399000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0090690600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0011967212156900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0034469196656900
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 0011967212187107400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 0011967212187107400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 0011967212187107400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 0011967212187107400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0090690600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00344691966169447100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00344691966169447100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00344691966169447100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00344691966169447100
tb.dut.u_spid_status.BusyBitZero_A 0090690600
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00112221600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0011967212111967135300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0034469196634460557700
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0090690600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0034469196620906
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00344691966183402100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0034469196613955000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0034469196613955000
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0090690600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0090690600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0090690600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0090690600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0090690600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00344691966262946400
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00344691966262946400
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0090690600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0090690600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0090690600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0090690600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0090690600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0090690600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0090690600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0034469196613678000
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0034469196613678000
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0090690600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0034469196633005700
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0034469196633005700
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0090690600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0090690600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0034469196633005700
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0034469196633005700
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0090690600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0034469196613678000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0034469196634460669900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0034469196613678000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00645656418400
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00645656418400
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00636786336300
tb.dut.u_upload.AddrFifoNeverFull_M 00119672121119300
tb.dut.u_upload.CmdFifoNeverFull_M 00119672121157700
tb.dut.u_upload.CmdFifoPush_A 00119672121157700
tb.dut.u_upload.FifosOnlyOneValid_A 001196721219173237400
tb.dut.u_upload.PayloadNeverFull_M 0011967212147143300
tb.dut.u_upload.u_addrfifo.MinDepth_A 0090690600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00344691966119300
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00119672121119300
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0090690600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00344691966119300
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00344691966119300
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00344691966119300
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00344691966119300
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00344691966119300
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0011967212111967212100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0090690600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00119672121119300
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00119672121119300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001196721219173237400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090690600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001196721219173237400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001196721219173237400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0011967212147420300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001196721219173237400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0011967212147420300
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 001196721219173237400
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 001196721219173237400
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 001196721219173237400
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0090690600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00344691966157700
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00119672121157700
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0090690600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00344691966157700
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00344691966157700
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00344691966157700
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00344691966157700
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00344691966157700
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0011967212111967212100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0090690600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00119672121157700
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00119672121157700
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0090690600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0090690600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00344691966157700
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00119672121157700

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

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 0034747877160638606380
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00347478771189418940
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00347478771195419540
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00347478771124412440
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003474787711991990
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003474787719709700
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003474787718618610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0034747877121037210370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003474787718637468637460
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00347478771340825734082571061

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0034747877160638606380
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00347478771189418940
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00347478771195419540
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00347478771124412440
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003474787711991990
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003474787719709700
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003474787718618610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0034747877121037210370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003474787718637468637460
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00347478771340825734082571061

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