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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0045302333245293684200
tb.dut.CioSdoEnOKnown 0045302333245293684200
tb.dut.CioSdoEnOffWhenInactive 0045302333245293684200
tb.dut.FpvSecCmRegWeOnehotCheck_A 0045302333211000
tb.dut.IntrReadbufFlipOKnown 0045302333245293684200
tb.dut.IntrReadbufWatermarkOKnown 0045302333245293684200
tb.dut.IntrTpmHeaderNotEmptyOKnown 0045302333245293684200
tb.dut.IntrTpmRdfifoCmdEndOKnown 0045302333245293684200
tb.dut.IntrTpmRdfifoDropOKnown 0045302333245293684200
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0045302333245293684200
tb.dut.IntrUploadPayloadNotEmptyOKnown 0045302333245293684200
tb.dut.IntrUploadPayloadOverflowOKnown 0045302333245293684200
tb.dut.PayloadStartIdxWidthMatch_A 0095695600
tb.dut.SpiModeKnown_A 0045302333245293684200
tb.dut.TpmEnableWhenTpmCsbIdle_M 0045302333234200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00453023332198060800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0045302333218349400
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00453023332246900
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00453023332186300
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0045302333219929300
tb.dut.scanmodeKnown 0045302333245302333200
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00455154969358600
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00455154969128500
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00455154969134800
tb.dut.spi_device_csr_assert.cfg_rd_A 00455154969166600
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00455154969733200
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00455154969886700
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00455154969665500
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00455154969776500
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00455154969665600
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00455154969827900
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00455154969720700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00455154969630900
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00455154969374900
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00455154969375900
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00455154969341900
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00455154969384200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00455154969355300
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00455154969388500
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00455154969377600
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00455154969358200
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00455154969379000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00455154969383000
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00455154969348800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00455154969402700
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00455154969394000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00455154969382800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00455154969343300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00455154969378100
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00455154969390100
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00455154969358700
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00455154969361100
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00455154969371500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00455154969383000
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00455154969327200
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00455154969376300
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00455154969390500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00455154969148000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00455154969155700
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00455154969157800
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00455154969155200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00455154969185200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00455154969345300
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00455154969164800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00455154969165500
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00455154969139100
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00455154969129900
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00455154969142100
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00455154969137800
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00455154969212500
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00455154969131000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00455154969227600
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00455154969154500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00455154969131900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00455154969141600
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00455154969134600
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00455154969138700
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00455154969143000
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00455154969134700
tb.dut.tlul_assert_device.aKnown_A 00455154969976087900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0045515496945502292000
tb.dut.tlul_assert_device.aReadyKnown_A 0045515496945502292000
tb.dut.tlul_assert_device.dKnown_A 004551549691775016100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0045515496945502292000
tb.dut.tlul_assert_device.dReadyKnown_A 0045515496945502292000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001131113100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00455155691502283000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 004551549691003800
tb.dut.tlul_assert_device.gen_device.contigMask_M 00455155691687630900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00455155691993752700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00455154969852600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00455155691976087900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004551556911775016100
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00455155691976087900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004551556911775016100
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004551556911775016100
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004551556911775016100
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00455154969678000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00455154969591300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001131113100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00659416498500
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0015590315015590219400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0015590221115590140800
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0015590221115590140800
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0015590315015590219400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0015590221112441017500
tb.dut.u_cmdparse.OnlyOneDatapath_A 001559022116421000
tb.dut.u_cmdparse.SelDpKnown_A 0015590221112441017500
tb.dut.u_cmdparse.StKnown_A 0015590221112441017500
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00642156361100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00649856432400
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0045302333232000
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0015590221132000
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0045302333218000
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0015590221118000
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0095695600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0095695600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0095695600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0095695600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0095695600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0095695600
tb.dut.u_jedec.JedecStKnown_A 0015590221112441017500
tb.dut.u_p2s.IoModeChangeValid_A 00155903150767800
tb.dut.u_p2s.IoModeDefault_A 001559031502218500
tb.dut.u_passthrough.PassThroughStKnown_A 0015590221112441017500
tb.dut.u_passthrough.PayloadSwapConstraint_M 00155902211196284800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00155902211470024600
tb.dut.u_readcmd.MailboxSizeMatch_M 0015590221112441017500
tb.dut.u_readcmd.ValidCmdConfig_A 0015590221121689800
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00155902211816600
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001559022117235300
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00155902211470024600
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00155902211118531700
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00155902211816600
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00155902211118477800
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00155902211118531700
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001559022112400862300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001559022112400862300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001559022112284780400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0015590221112441017500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001559022112284780400
tb.dut.u_reg.en2addrHit 00455154969589169100
tb.dut.u_reg.reAfterRv 00455154969589169100
tb.dut.u_reg.rePulse 00455154969421405700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001131113100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001131113100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001131113100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_socket.NotOverflowed_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00455154969976087900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004551549691775016100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00455154969303785800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00455154969330539200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0045515496920246100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0045515496947191500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00455154969633926100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004551549691397285400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0045515496945502292000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001131113100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001131113100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001131113100
tb.dut.u_reg.u_socket.maxN 001131113100
tb.dut.u_reg.wePulse 00455154969167763400
tb.dut.u_s2p.IoModeDefault_A 001559022112218500
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0095695600
tb.dut.u_scanmode_sync.OutputsKnown_A 0045302333245293684200
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045302333245293684200
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001559022115137600
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0015590221155344800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001559022115610100
tb.dut.u_spi_tpm.CmdPowerof2_A 0095695600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0095695600
tb.dut.u_spi_tpm.DataSelKnown_A 001559031503006676900
tb.dut.u_spi_tpm.HwRegCondition2_a 001559022111115700
tb.dut.u_spi_tpm.HwRegCondition_A 001559022116918100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001559031503006676900
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001559022116918100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0095695600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0095695600
tb.dut.u_spi_tpm.RdPowerof2_A 0095695600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001559022116918100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0095695600
tb.dut.u_spi_tpm.WrDepthSpec_A 0095695600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0015590221144123800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015590221165953800
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0015590221119929300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015590221119929300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0045302333245293568100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0015590221115590139100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0095695600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0095695600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00155902211620116400
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001559022113006676900
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001559022113006676900
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00155902211620116400
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095695600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095695600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001559022118792300
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004530233328382700
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0095695600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0015590221162100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0045302333262100
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00155902211132096400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00155902211132096400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00155902211132096400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00155902211132096400
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0095695600
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00453023332217990100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00453023332217990100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00453023332217990100
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00453023332217990100
tb.dut.u_spid_status.BusyBitZero_A 0095695600
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00116120500
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0015590221115590139100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0045302333245293568100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0095695600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0045302333250956
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00453023332236772700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0045302333218782600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045302333218782600
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0095695600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0095695600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00453023332327640500
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00453023332327640500
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0095695600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0095695600
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0095695600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0045302333218349400
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0045302333218349400
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0095695600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0045302333245995100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045302333245995100
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0095695600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0095695600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0045302333245995100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045302333245995100
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0045302333218349400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0045302333245293684200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045302333218349400
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00699796959600
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00699796959600
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00691846885800
tb.dut.u_upload.AddrFifoNeverFull_M 00155902211186300
tb.dut.u_upload.CmdFifoNeverFull_M 00155902211246900
tb.dut.u_upload.CmdFifoPush_A 00155902211246900
tb.dut.u_upload.FifosOnlyOneValid_A 0015590221112441017500
tb.dut.u_upload.PayloadNeverFull_M 0015590221187539400
tb.dut.u_upload.u_addrfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00453023332186300
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00155902211186300
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00453023332186300
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00453023332186300
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00453023332186300
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00453023332186300
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00453023332186300
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0015590221115590221100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00155902211186200
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00155902211186200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0095695600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015590221187972600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015590221187972600
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0015590221112441017500
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0015590221112441017500
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0015590221112441017500
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00453023332246900
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00155902211246900
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00453023332246900
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00453023332246900
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00453023332246900
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00453023332246900
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00453023332246900
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0015590221115590221100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00155902211246900
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00155902211246900
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0095695600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0095695600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00453023332246900
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00155902211246900

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

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 0045515569181100811000
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00455155691139713970
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00455155691145414540
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004551556919189180
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004551556911751750
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004551556917477470
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004551556915225220
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045515569114924149240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00455155691111582511158250
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00455155691372707237270721111

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0045515569181100811000
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00455155691139713970
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00455155691145414540
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004551556919189180
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004551556911751750
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004551556917477470
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004551556915225220
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045515569114924149240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00455155691111582511158250
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00455155691372707237270721111

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