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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total713010
Category 0713010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total713010
Severity 0713010


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


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


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00157355524000
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 00157354583000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00531406946000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00157354583000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00157354583000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00157354583000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00157354583000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00531406946000
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 00531406946000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00531406946000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00531406946000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00531406946000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00531406946000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00531406946000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00531406946000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00531406946000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00531406946000
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 00157354583000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00157354583000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00157354583000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00157354583000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00157354583000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00157354583000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0053140694653131944000
tb.dut.CioSdoEnOKnown 0053140694653131944000
tb.dut.CioSdoEnOffWhenInactive 0053140694653131944000
tb.dut.FpvSecCmRegWeOnehotCheck_A 0053140694611000
tb.dut.IntrReadbufFlipOKnown 0053140694653131944000
tb.dut.IntrReadbufWatermarkOKnown 0053140694653131944000
tb.dut.IntrTpmHeaderNotEmptyOKnown 0053140694653131944000
tb.dut.IntrTpmRdfifoCmdEndOKnown 0053140694653131944000
tb.dut.IntrTpmRdfifoDropOKnown 0053140694653131944000
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0053140694653131944000
tb.dut.IntrUploadPayloadNotEmptyOKnown 0053140694653131944000
tb.dut.IntrUploadPayloadOverflowOKnown 0053140694653131944000
tb.dut.PayloadStartIdxWidthMatch_A 0095495400
tb.dut.SpiModeKnown_A 0053140694653131944000
tb.dut.TpmEnableWhenTpmCsbIdle_M 0053140694634400
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00531406946204544000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0053140694619288200
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00531406946248200
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00531406946183300
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0053140694621150400
tb.dut.scanmodeKnown 0053140694653140694600
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00533886812378500
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00533886812213600
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00533886812217400
tb.dut.spi_device_csr_assert.cfg_rd_A 00533886812279100
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 005338868121026100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 005338868121083700
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 005338868121074100
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 005338868121077300
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 005338868121121000
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 005338868121180700
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 005338868121158600
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 005338868121058600
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00533886812573500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00533886812565700
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00533886812528100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00533886812555300
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00533886812591900
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00533886812529000
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00533886812528300
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00533886812487900
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00533886812557500
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00533886812540400
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00533886812538400
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00533886812550200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00533886812577700
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00533886812556100
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00533886812562200
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00533886812521400
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00533886812573800
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00533886812527600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00533886812509800
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00533886812591300
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00533886812603600
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00533886812536500
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00533886812496200
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00533886812527200
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00533886812239300
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00533886812243400
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00533886812249500
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00533886812246800
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00533886812304300
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00533886812490800
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00533886812252500
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00533886812260000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00533886812221400
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00533886812202100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00533886812229300
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00533886812226600
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00533886812287900
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00533886812218500
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00533886812321300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00533886812232400
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00533886812214100
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00533886812230200
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00533886812203800
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00533886812210500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00533886812221800
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00533886812241400
tb.dut.tlul_assert_device.aKnown_A 005338868121107960500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0053388681253375675000
tb.dut.tlul_assert_device.aReadyKnown_A 0053388681253375675000
tb.dut.tlul_assert_device.dKnown_A 005338868122072941400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0053388681253375675000
tb.dut.tlul_assert_device.dReadyKnown_A 0053388681253375675000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001129112900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00533887518551683700
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 005338868121119100
tb.dut.tlul_assert_device.gen_device.contigMask_M 00533887518799257300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005338875181185575200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00533886812862900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005338875181107960500
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005338875182072941400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005338875181107960500
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005338875182072941400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005338875182072941400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005338875182072941400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00533886812731000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00533886812626700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001129112900
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00657286477400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0015735552415735457000
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0015735458315735378000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0015735458315735378000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0015735552415735457000
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0015735458312898891900
tb.dut.u_cmdparse.OnlyOneDatapath_A 001573545836378300
tb.dut.u_cmdparse.SelDpKnown_A 0015735458312898891900
tb.dut.u_cmdparse.StKnown_A 0015735458312898891900
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00637886317900
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00647746410200
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0053140694634900
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0015735458334900
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0053140694618000
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0015735458318000
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0095495400
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0095495400
tb.dut.u_intr_payload_overflow.IntrTKind_A 0095495400
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0095495400
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0095495400
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0095495400
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0095495400
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0095495400
tb.dut.u_jedec.JedecStKnown_A 0015735458312898891900
tb.dut.u_p2s.IoModeChangeValid_A 00157355524800200
tb.dut.u_p2s.IoModeDefault_A 001573555242345000
tb.dut.u_passthrough.PassThroughStKnown_A 0015735458312898891900
tb.dut.u_passthrough.PayloadSwapConstraint_M 00157354583227136800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00157354583499379200
tb.dut.u_readcmd.MailboxSizeMatch_M 0015735458312898891900
tb.dut.u_readcmd.ValidCmdConfig_A 0015735458322747700
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00157354583861900
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001573545837237500
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00157354583499379200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00157354583125917300
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00157354583861900
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00157354583125861500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00157354583125917300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001573545832544796800
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001573545832544796800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001573545832421465200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0015735458312898891900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001573545832421465200
tb.dut.u_reg.en2addrHit 00533886812705841700
tb.dut.u_reg.reAfterRv 00533886812705841700
tb.dut.u_reg.rePulse 00533886812499577400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001129112900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001129112900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001129112900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001129112900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001129112900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001129112900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001129112900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001129112900
tb.dut.u_reg.u_socket.NotOverflowed_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005338868121107960500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005338868122072941400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00533886812311684500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00533886812340073400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0053388681221061900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0053388681249265700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00533886812756416400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005338868121683602300
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0053388681253375675000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001129112900
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001129112900
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001129112900
tb.dut.u_reg.u_socket.maxN 001129112900
tb.dut.u_reg.wePulse 00533886812206264300
tb.dut.u_s2p.IoModeDefault_A 001573545832345000
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0095495400
tb.dut.u_scanmode_sync.OutputsKnown_A 0053140694653131944000
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0053140694653131944000
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001573545835475200
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0015735458356903200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001573545835616200
tb.dut.u_spi_tpm.CmdPowerof2_A 0095495400
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0095495400
tb.dut.u_spi_tpm.DataSelKnown_A 001573555242692189600
tb.dut.u_spi_tpm.HwRegCondition2_a 00157354583988500
tb.dut.u_spi_tpm.HwRegCondition_A 001573545837112900
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001573555242692189600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001573545837112900
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0095495400
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0095495400
tb.dut.u_spi_tpm.RdPowerof2_A 0095495400
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001573545837112900
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0095495400
tb.dut.u_spi_tpm.WrDepthSpec_A 0095495400
tb.dut.u_spi_tpm.WrFifoAvailable_A 0015735458347154800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095495400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015735458370323500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0015735458321150400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015735458321150400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0053140694653131827700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0015735458315735376100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0095495400
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0095495400
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00157354583658094500
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001573545832692189600
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001573545832692189600
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00157354583658094500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095495400
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095495400
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001573545838765200
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 005314069468355300
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0095495400
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0015735458362200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0053140694662200
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00157354583135876300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00157354583135876300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00157354583135876300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00157354583135876300
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095495400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00531406946225694400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00531406946225694400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00531406946225694400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00531406946225694400
tb.dut.u_spid_status.BusyBitZero_A 0095495400
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00116320900
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0015735458315735376100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0053140694653131827700
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0095495400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095495400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0053140694630954
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00531406946245414100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0053140694619719700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0053140694619719700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0095495400
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0095495400
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0095495400
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0095495400
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0095495400
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00531406946337291300
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00531406946337291300
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0095495400
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0095495400
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0095495400
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0095495400
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0095495400
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0095495400
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0095495400
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0053140694619288200
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0053140694619288200
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0095495400
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0053140694647922600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0053140694647922600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0095495400
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0095495400
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0053140694647922600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0053140694647922600
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0095495400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0053140694619288200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0053140694653131944000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0053140694619288200
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00721337175100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00721337175100
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00711337081100
tb.dut.u_upload.AddrFifoNeverFull_M 00157354583183300
tb.dut.u_upload.CmdFifoNeverFull_M 00157354583248200
tb.dut.u_upload.CmdFifoPush_A 00157354583248100
tb.dut.u_upload.FifosOnlyOneValid_A 0015735458312898891900
tb.dut.u_upload.PayloadNeverFull_M 0015735458388290000
tb.dut.u_upload.u_addrfifo.MinDepth_A 0095495400
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00531406946183300
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00157354583183300
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0095495400
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00531406946183300
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00531406946183300
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00531406946183300
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00531406946183300
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00531406946183300
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0015735458315735458300
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0095495400
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00157354583183300
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00157354583183300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095495400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015735458388721500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015735458388721500
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0015735458312898891900
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0015735458312898891900
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0015735458312898891900
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0095495400
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00531406946248200
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00157354583248200
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0095495400
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00531406946248200
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00531406946248200
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00531406946248200
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00531406946248200
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00531406946248200
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0015735458315735458300
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0095495400
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00157354583248100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00157354583248100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095495400
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095495400
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00531406946248200
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00157354583248200

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

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 0053388751880840808400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00533887518128112810
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00533887518133113310
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005338875188618610
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005338875181201200
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005338875186746740
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005338875184894890
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0053388751815039150390
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00533887518113023411302340
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00533887518415405041540501109

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0053388751880840808400
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00533887518128112810
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00533887518133113310
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005338875188618610
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005338875181201200
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005338875186746740
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005338875184894890
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0053388751815039150390
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00533887518113023411302340
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00533887518415405041540501109

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