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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0040201577040192988100
tb.dut.CioSdoEnOKnown 0040201577040192988100
tb.dut.CioSdoEnOffWhenInactive 0040201577040192988100
tb.dut.FpvSecCmRegWeOnehotCheck_A 0040201577010000
tb.dut.IntrReadbufFlipOKnown 0040201577040192988100
tb.dut.IntrReadbufWatermarkOKnown 0040201577040192988100
tb.dut.IntrTpmHeaderNotEmptyOKnown 0040201577040192988100
tb.dut.IntrTpmRdfifoCmdEndOKnown 0040201577040192988100
tb.dut.IntrTpmRdfifoDropOKnown 0040201577040192988100
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0040201577040192988100
tb.dut.IntrUploadPayloadNotEmptyOKnown 0040201577040192988100
tb.dut.IntrUploadPayloadOverflowOKnown 0040201577040192988100
tb.dut.PayloadStartIdxWidthMatch_A 0095695600
tb.dut.SpiModeKnown_A 0040201577040192988100
tb.dut.TpmEnableWhenTpmCsbIdle_M 0040201577032400
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00402015770173228800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0040201577015097800
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00402015770200500
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00402015770148200
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0040201577017055100
tb.dut.scanmodeKnown 0040201577040201577000
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00403968582327300
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 0040396858238400
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 0040396858245500
tb.dut.spi_device_csr_assert.cfg_rd_A 0040396858272500
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00403968582585900
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00403968582530700
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00403968582551600
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00403968582558700
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00403968582583300
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00403968582636500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00403968582439300
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00403968582498700
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00403968582255100
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00403968582236100
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00403968582219700
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00403968582224200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00403968582240500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00403968582214100
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00403968582243900
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00403968582226200
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00403968582252000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00403968582241800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00403968582228400
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00403968582226300
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00403968582285000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00403968582213000
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00403968582265500
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00403968582231900
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00403968582209500
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00403968582259900
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00403968582247800
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00403968582280200
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00403968582198900
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00403968582253900
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00403968582226900
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00403968582235300
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 0040396858261200
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 0040396858254800
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 0040396858261600
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 0040396858253700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 0040396858291400
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00403968582218700
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 0040396858263300
tb.dut.spi_device_csr_assert.jedec_id_rd_A 0040396858258000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 0040396858244900
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 0040396858240300
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 0040396858246300
tb.dut.spi_device_csr_assert.read_threshold_rd_A 0040396858247900
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00403968582101200
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 0040396858243600
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00403968582116300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 0040396858258500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 0040396858248900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 0040396858243800
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 0040396858244100
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 0040396858247500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 0040396858238700
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 0040396858236600
tb.dut.tlul_assert_device.aKnown_A 00403968582874047600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0040396858240383292600
tb.dut.tlul_assert_device.aReadyKnown_A 0040396858240383292600
tb.dut.tlul_assert_device.dKnown_A 004039685821483294700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0040396858240383292600
tb.dut.tlul_assert_device.dReadyKnown_A 0040396858240383292600
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 00403969275435175500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00403968582939700
tb.dut.tlul_assert_device.gen_device.contigMask_M 00403969275615282300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00403969275817553000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00403968582680700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00403969275874047600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004039692751483294700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00403969275874047600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004039692751483294700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004039692751483294700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004039692751483294700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00403968582659300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00403968582595000
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001131113100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00557145475800
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0013016363213016267600
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0013016269113016189800
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0013016269113016189800
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0013016363213016267600
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0013016269110478400400
tb.dut.u_cmdparse.OnlyOneDatapath_A 001301626915385800
tb.dut.u_cmdparse.SelDpKnown_A 0013016269110478400400
tb.dut.u_cmdparse.StKnown_A 0013016269110478400400
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00538585325400
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00547585408900
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0040201577032500
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0013016269132500
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0040201577017100
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0013016269117100
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 0013016269110478400400
tb.dut.u_p2s.IoModeChangeValid_A 00130163632662600
tb.dut.u_p2s.IoModeDefault_A 001301636321861500
tb.dut.u_passthrough.PassThroughStKnown_A 0013016269110478400400
tb.dut.u_passthrough.PayloadSwapConstraint_M 00130162691151299200
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00130162691382766400
tb.dut.u_readcmd.MailboxSizeMatch_M 0013016269110478400400
tb.dut.u_readcmd.ValidCmdConfig_A 0013016269118638200
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00130162691708200
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001301626916090100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00130162691382766400
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0013016269196583900
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00130162691708200
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0013016269196539700
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0013016269196583900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001301626911941015200
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001301626911941015200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001301626911846555900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0013016269110478400400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001301626911846555900
tb.dut.u_reg.en2addrHit 00403968582542347400
tb.dut.u_reg.reAfterRv 00403968582542347400
tb.dut.u_reg.rePulse 00403968582393497700
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 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00403968582874047600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0040396858240383292600
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 004039685821483294700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0040396858240383292600
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 00403968582260118200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0040396858240383292600
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 00403968582290461000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0040396858240383292600
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 0040396858216590100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0040396858240383292600
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 0040396858237425000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0040396858240383292600
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 00403968582581914100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0040396858240383292600
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 004039685821155408700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0040396858240383292600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0040396858240383292600
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 00403968582148849700
tb.dut.u_s2p.IoModeDefault_A 001301626911861500
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0095695600
tb.dut.u_scanmode_sync.OutputsKnown_A 0040201577040192988100
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0040201577040192988100
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001301626914347400
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0013016269146967200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001301626914674800
tb.dut.u_spi_tpm.CmdPowerof2_A 0095695600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0095695600
tb.dut.u_spi_tpm.DataSelKnown_A 001301636322418747700
tb.dut.u_spi_tpm.HwRegCondition2_a 00130162691954600
tb.dut.u_spi_tpm.HwRegCondition_A 001301626915870900
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001301636322418747700
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001301626915870900
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 001301626915870900
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0095695600
tb.dut.u_spi_tpm.WrDepthSpec_A 0095695600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0013016269137134000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001301626912418747700
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 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013016269155788900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0013016269117055100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0013016269117055100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0040201577040192872600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0013016269113016188500
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 00130162691530470700
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001301626912418747700
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001301626912418747700
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00130162691530470700
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 001301626917196400
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004020157706887900
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 0013016269161600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0040201577061600
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 00130162691103133700
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00130162691103133700
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00130162691103133700
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00130162691103133700
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 00402015770190283900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00402015770190283900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00402015770190283900
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00402015770190283900
tb.dut.u_spid_status.BusyBitZero_A 0095695600
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00115519900
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0013016269113016188500
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0040201577040192872600
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 0040201577040192988100
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 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0040201577060956
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00402015770205730400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0040201577015446500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040201577015446500
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0040201577040192988100
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 00402015770287545900
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00402015770287545900
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 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0095695600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0095695600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0095695600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0095695600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0040201577015097800
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0040201577015097800
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0095695600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0040201577036103200
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040201577036103200
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 0040201577036103200
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040201577036103200
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0095695600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0040201577015097800
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0040201577040192988100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0040201577015097800
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00596245925000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00596245925000
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00587135840200
tb.dut.u_upload.AddrFifoNeverFull_M 00130162691148200
tb.dut.u_upload.CmdFifoNeverFull_M 00130162691200500
tb.dut.u_upload.CmdFifoPush_A 00130162691200500
tb.dut.u_upload.FifosOnlyOneValid_A 0013016269110478400400
tb.dut.u_upload.PayloadNeverFull_M 0013016269165651000
tb.dut.u_upload.u_addrfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00402015770148200
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00130162691148200
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00402015770148200
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00402015770148200
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00402015770148200
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00402015770148200
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00402015770148200
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0013016269113016269100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00130162691148200
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00130162691148200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0013016269110478400400
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 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0013016269110478400400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0013016269110478400400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013016269165999700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0013016269110478400400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013016269165999700
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0013016269110478400400
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0013016269110478400400
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0013016269110478400400
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0013016269110478400400
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00402015770200500
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00130162691200500
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0095695600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00402015770200500
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00402015770200500
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00402015770200500
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00402015770200500
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00402015770200500
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0013016269113016269100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0095695600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00130162691200500
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00130162691200500
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 00402015770200500
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00130162691200500

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

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 0040396927562969629690
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 004039692757127120
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 004039692757687680
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004039692754844840
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004039692751151150
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004039692753843840
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004039692753253250
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040396927516299162990
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004039692759102949102940
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00403969275306173630617361111

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040396927562969629690
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 004039692757127120
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 004039692757687680
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004039692754844840
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004039692751151150
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004039692753843840
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004039692753253250
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040396927516299162990
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004039692759102949102940
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00403969275306173630617361111

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