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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total682010
Category 0682010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total682010
Severity 0682010


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


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


Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0038343528838334911300
tb.dut.CioSdoEnOKnown 0038343528838334911300
tb.dut.CioSdoEnOffWhenInactive 0038343528838334911300
tb.dut.FpvSecCmRegWeOnehotCheck_A 0038343528812000
tb.dut.IntrReadbufFlipOKnown 0038343528838334911300
tb.dut.IntrReadbufWatermarkOKnown 0038343528838334911300
tb.dut.IntrTpmHeaderNotEmptyOKnown 0038343528838334911300
tb.dut.IntrTpmRdfifoCmdEndOKnown 0038343528838334911300
tb.dut.IntrTpmRdfifoDropOKnown 0038343528838334911300
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0038343528838334911300
tb.dut.IntrUploadPayloadNotEmptyOKnown 0038343528838334911300
tb.dut.IntrUploadPayloadOverflowOKnown 0038343528838334911300
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0038343528838334911300
tb.dut.TpmEnableWhenTpmCsbIdle_M 0038343528834100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00383435288158376000
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0038343528814976000
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00383435288174000
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00383435288129700
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0038343528819774400
tb.dut.scanmodeKnown 0038343528838343528800
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00385468596332100
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00385468596158300
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00385468596186300
tb.dut.spi_device_csr_assert.cfg_rd_A 00385468596175400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00385468596663400
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00385468596756000
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00385468596601700
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00385468596747500
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00385468596628900
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00385468596579200
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00385468596636900
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00385468596641000
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00385468596388700
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00385468596353800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00385468596308000
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00385468596361900
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00385468596391700
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00385468596361900
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00385468596368100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00385468596372500
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00385468596342400
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00385468596366600
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00385468596333800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00385468596364600
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00385468596379000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00385468596388000
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00385468596328300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00385468596317000
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00385468596307600
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00385468596372900
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00385468596374700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00385468596398600
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00385468596370800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00385468596318700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00385468596376200
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00385468596324900
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00385468596176000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00385468596172000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00385468596180000
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00385468596175900
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00385468596209900
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00385468596385700
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00385468596167900
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00385468596177600
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00385468596164100
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00385468596171000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00385468596162300
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00385468596157400
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00385468596204200
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00385468596170800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00385468596240400
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00385468596184800
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00385468596157900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00385468596159000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00385468596159300
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00385468596153600
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00385468596158700
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00385468596165200
tb.dut.tlul_assert_device.aKnown_A 00385468596910652900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0038546859638533579600
tb.dut.tlul_assert_device.aReadyKnown_A 0038546859638533579600
tb.dut.tlul_assert_device.dKnown_A 003854685961689143800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0038546859638533579600
tb.dut.tlul_assert_device.dReadyKnown_A 0038546859638533579600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00385469262432865800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00385468596709800
tb.dut.tlul_assert_device.gen_device.contigMask_M 00385469262658774900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00385469262985251600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00385468596599700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00385469262910652900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 003854692621689143800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00385469262910652900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 003854692621689143800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 003854692621689143800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 003854692621689143800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00385468596528200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00385468596518700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00530905216400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0012557825812557733200
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0012557734912557660400
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0012557734912557660400
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0012557825812557733200
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 001255773499602015900
tb.dut.u_cmdparse.OnlyOneDatapath_A 001255773495126200
tb.dut.u_cmdparse.SelDpKnown_A 001255773499602015900
tb.dut.u_cmdparse.StKnown_A 001255773499602015900
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00521645155600
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0038343528834800
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0012557734934800
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0038343528820100
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0012557734920100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092692600
tb.dut.u_jedec.JedecStKnown_A 001255773499602015900
tb.dut.u_p2s.IoModeChangeValid_A 00125578258597500
tb.dut.u_p2s.IoModeDefault_A 001255782582001100
tb.dut.u_passthrough.PassThroughStKnown_A 001255773499602015900
tb.dut.u_passthrough.PayloadSwapConstraint_M 00125577349110098400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00125577349357968200
tb.dut.u_readcmd.MailboxSizeMatch_M 001255773499602015900
tb.dut.u_readcmd.ValidCmdConfig_A 0012557734916917500
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00125577349640100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001255773495764400
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00125577349357968200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0012557734990293100
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00125577349640100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0012557734990252200
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0012557734990293100
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001255773491820998300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001255773491820998300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001255773491732625500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 001255773499602015900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001255773491732625500
tb.dut.u_reg.en2addrHit 00385468596593342300
tb.dut.u_reg.reAfterRv 00385468596593342300
tb.dut.u_reg.rePulse 00385468596430428100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001101110100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001101110100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.NotOverflowed_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00385468596910652900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 003854685961689143800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00385468596240291900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00385468596269531800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0038546859616130400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0038546859638982500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00385468596637123000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 003854685961380629500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0038546859638533579600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.maxN 001101110100
tb.dut.u_reg.wePulse 00385468596162914200
tb.dut.u_s2p.IoModeDefault_A 001255773492001100
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0038343528838334911300
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038343528838334911300
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001255773495104400
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0012557734954392800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001255773495463400
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001255782582829972400
tb.dut.u_spi_tpm.HwRegCondition2_a 001255773491036300
tb.dut.u_spi_tpm.HwRegCondition_A 001255773496799100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001255782582829972400
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001255773496799100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092692600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092692600
tb.dut.u_spi_tpm.RdPowerof2_A 0092692600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001255773496799100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0012557734943385000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012557734965049700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0012557734919774400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0012557734919774400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0038343528838334796100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0012557734912557658700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092692600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092692600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00125577349615331300
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001255773492829972400
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00125577349615331300
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001255773498559800
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 003834352888214600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092692600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0012557734956100
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0038343528856100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00383435288178150400
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0012557734989364000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00383435288178150400
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0012557734989364000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00383435288178150400
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0012557734989364000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00383435288178150400
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0012557734989364000
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0012557734912557658700
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0038343528838334796100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0038343528840926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00383435288193430100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0038343528815279700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0038343528815279700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00383435288266732100
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00383435288266732100
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0038343528814976000
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0038343528814976000
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0038343528837964400
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0038343528837964400
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0038343528837964400
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0038343528837964400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0038343528814976000
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0038343528838334911300
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0038343528814976000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00688826850400
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00688826850400
tb.dut.u_upload.AddrFifoNeverFull_M 00125577349129700
tb.dut.u_upload.CmdFifoNeverFull_M 00125577349174000
tb.dut.u_upload.CmdFifoPush_A 00125577349174000
tb.dut.u_upload.FifosOnlyOneValid_A 001255773499602015900
tb.dut.u_upload.PayloadNeverFull_M 0012557734945675300
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00383435288129700
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00125577349129700
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00383435288129700
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00383435288129700
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00383435288129700
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00383435288129700
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00383435288129700
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0012557734912557734900
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00125577349129700
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00125577349129700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001255773499602015900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001255773499602015900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001255773499602015900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012557734945979000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001255773499602015900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012557734945979000
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 001255773499602015900
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 001255773499602015900
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 001255773499602015900
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00383435288174000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00125577349174000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00383435288174000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00383435288174000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00383435288174000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00383435288174000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00383435288174000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0012557734912557734900
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00125577349174000
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00125577349174000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00383435288174000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00125577349174000

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

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


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038546926268542685420
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00385469262161416140
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00385469262167116710
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00385469262113911390
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003854692621331330
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003854692628948940
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003854692624414410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038546926210037100370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003854692628650008650000
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00385469262338681233868121081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038546926268542685420
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00385469262161416140
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00385469262167116710
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00385469262113911390
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003854692621331330
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003854692628948940
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003854692624414410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038546926210037100370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003854692628650008650000
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00385469262338681233868121081

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