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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total682010
Category 0682010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total682010
Severity 0682010


Summary for Assertions
NUMBERPERCENT
Total Number682100.00
Uncovered294.25
Success65395.75
Failure00.00
Incomplete10.15
Without Attempts60.88


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered00.00
All Matches10100.00
First Matches10100.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00136150000000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckAckNeedsReq 00136149086000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00422866124000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00136149086000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00136149086000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00136149086000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00136149086000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00422866124000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00422866124000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00422866124000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00422866124000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00422866124000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00422866124000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00422866124000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00422866124000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00422866124000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00422866124000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00136149086000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00136149086000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00136149086000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00136149086000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00136149086000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00136149086000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0042286612442278386000
tb.dut.CioSdoEnOKnown 0042286612442278386000
tb.dut.CioSdoEnOffWhenInactive 0042286612442278386000
tb.dut.FpvSecCmRegWeOnehotCheck_A 004228661248000
tb.dut.IntrReadbufFlipOKnown 0042286612442278386000
tb.dut.IntrReadbufWatermarkOKnown 0042286612442278386000
tb.dut.IntrTpmHeaderNotEmptyOKnown 0042286612442278386000
tb.dut.IntrTpmRdfifoCmdEndOKnown 0042286612442278386000
tb.dut.IntrTpmRdfifoDropOKnown 0042286612442278386000
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0042286612442278386000
tb.dut.IntrUploadPayloadNotEmptyOKnown 0042286612442278386000
tb.dut.IntrUploadPayloadOverflowOKnown 0042286612442278386000
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0042286612442278386000
tb.dut.TpmEnableWhenTpmCsbIdle_M 0042286612434100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00422866124176168000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0042286612415494500
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00422866124194900
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00422866124150100
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0042286612420273200
tb.dut.scanmodeKnown 0042286612442286612400
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00425467587300800
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00425467587258700
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00425467587257700
tb.dut.spi_device_csr_assert.cfg_rd_A 00425467587271200
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00425467587630500
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00425467587596200
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00425467587569100
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00425467587531000
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00425467587661000
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00425467587558500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00425467587707900
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00425467587727700
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00425467587411100
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00425467587411400
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00425467587424900
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00425467587394200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00425467587405200
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00425467587409300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00425467587387300
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00425467587396700
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00425467587393700
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00425467587389900
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00425467587412900
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00425467587391900
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00425467587394600
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00425467587396000
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00425467587421300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00425467587376600
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00425467587381000
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00425467587371600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00425467587396300
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00425467587413800
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00425467587380600
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00425467587426100
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00425467587369400
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00425467587360700
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00425467587261100
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00425467587276500
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00425467587283400
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00425467587252700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00425467587291100
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00425467587406000
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00425467587280800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00425467587263700
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00425467587260400
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00425467587256100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00425467587249200
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00425467587241800
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00425467587300900
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00425467587249000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00425467587302000
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00425467587248500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00425467587258900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00425467587243100
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00425467587258600
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00425467587260500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00425467587233400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00425467587266900
tb.dut.tlul_assert_device.aKnown_A 00425467587932008200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0042546758742533940000
tb.dut.tlul_assert_device.aReadyKnown_A 0042546758742533940000
tb.dut.tlul_assert_device.dKnown_A 004254675871627398500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0042546758742533940000
tb.dut.tlul_assert_device.dReadyKnown_A 0042546758742533940000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00425468267466422900
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00425467587663800
tb.dut.tlul_assert_device.gen_device.contigMask_M 00425468267666344300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00425468267916336600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00425467587547500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00425468267932008200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004254682671627398500
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00425468267932008200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004254682671627398500
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004254682671627398500
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004254682671627398500
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00425467587515300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00425467587552700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00586995777300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0013615000013614907400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0013614908613614835300
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0013614908613614835300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0013615000013614907400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0013614908610527996800
tb.dut.u_cmdparse.OnlyOneDatapath_A 001361490865684700
tb.dut.u_cmdparse.SelDpKnown_A 0013614908610527996800
tb.dut.u_cmdparse.StKnown_A 0013614908610527996800
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00577735716800
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0042286612431500
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0013614908631500
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0042286612417000
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0013614908617000
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092692600
tb.dut.u_jedec.JedecStKnown_A 0013614908610527996800
tb.dut.u_p2s.IoModeChangeValid_A 00136150000658700
tb.dut.u_p2s.IoModeDefault_A 001361500002244300
tb.dut.u_passthrough.PassThroughStKnown_A 0013614908610527996800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00136149086122769600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00136149086404933900
tb.dut.u_readcmd.MailboxSizeMatch_M 0013614908610527996800
tb.dut.u_readcmd.ValidCmdConfig_A 0013614908619120500
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00136149086725100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001361490866407100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00136149086404933900
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00136149086102135400
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00136149086725100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00136149086102092300
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00136149086102135400
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001361490862057558000
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001361490862057558000
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001361490861957597900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0013614908610527996800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001361490861957597900
tb.dut.u_reg.en2addrHit 00425467587590625200
tb.dut.u_reg.reAfterRv 00425467587590625200
tb.dut.u_reg.rePulse 00425467587418737700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001101110100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001101110100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.NotOverflowed_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00425467587932008200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004254675871627398500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00425467587265586200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00425467587298279500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0042546758716437800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0042546758738243100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00425467587631745800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004254675871290875900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0042546758742533940000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.maxN 001101110100
tb.dut.u_reg.wePulse 00425467587171887500
tb.dut.u_s2p.IoModeDefault_A 001361490862244300
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0042286612442278386000
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042286612442278386000
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001361490865116100
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0013614908654728800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001361490865490700
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001361500002952677100
tb.dut.u_spi_tpm.HwRegCondition2_a 001361490861072600
tb.dut.u_spi_tpm.HwRegCondition_A 001361490866841100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001361500002952677100
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001361490866841100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092692600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092692600
tb.dut.u_spi_tpm.RdPowerof2_A 0092692600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001361490866841100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0013614908643042400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013614908665213100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0013614908620273200
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0013614908620273200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0042286612442278275600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0013614908613614833300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092692600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092692600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00136149086630594100
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001361490862952677100
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00136149086630594100
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001361490868543600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004228661248183300
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092692600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0013614908655500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0042286612455500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00422866124196441200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0013614908691189800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00422866124196441200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0013614908691189800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00422866124196441200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0013614908691189800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00422866124196441200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0013614908691189800
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0013614908613614833300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0042286612442278275600
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0042286612450926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00422866124212280700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0042286612415839500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042286612415839500
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00422866124295290800
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00422866124295290800
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0042286612415494500
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0042286612415494500
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0042286612437489600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042286612437489600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0042286612437489600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042286612437489600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0042286612415494500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0042286612442278386000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042286612415494500
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00693486897100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00693486897100
tb.dut.u_upload.AddrFifoNeverFull_M 00136149086150100
tb.dut.u_upload.CmdFifoNeverFull_M 00136149086194900
tb.dut.u_upload.CmdFifoPush_A 00136149086194900
tb.dut.u_upload.FifosOnlyOneValid_A 0013614908610527996800
tb.dut.u_upload.PayloadNeverFull_M 0013614908647802400
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00422866124150100
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00136149086150100
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00422866124150100
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00422866124150100
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00422866124150100
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00422866124150100
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00422866124150100
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0013614908613614908600
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00136149086150100
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00136149086150100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013614908648147400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013614908648147400
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0013614908610527996800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0013614908610527996800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00422866124194900
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00136149086194900
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00422866124194900
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00422866124194900
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00422866124194900
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00422866124194900
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00422866124194900
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0013614908613614908600
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00136149086194900
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00136149086194900
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00422866124194900
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00136149086194900

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

Assertions Without Attempts:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown1 000000


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0042546826762373623730
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00425468267200520050
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00425468267205620560
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00425468267133613360
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004254682671441440
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00425468267106310630
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004254682677947940
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042546826716160161600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004254682679864069864060
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00425468267380685538068551081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0042546826762373623730
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00425468267200520050
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00425468267205620560
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00425468267133613360
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004254682671441440
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00425468267106310630
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004254682677947940
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0042546826716160161600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004254682679864069864060
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00425468267380685538068551081

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