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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total684010
Category 0684010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total684010
Severity 0684010


Summary for Assertions
NUMBERPERCENT
Total Number684100.00
Uncovered294.24
Success65595.76
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 00181382200000
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 00181381281000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00577067519000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00181381281000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00181381281000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00181381281000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00181381281000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00577067519000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00577067519000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00577067519000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00577067519000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00577067519000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00577067519000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00577067519000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00577067519000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00577067519000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00577067519000
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 00181381281000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00181381281000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00181381281000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00181381281000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00181381281000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00181381281000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0057706751957698074600
tb.dut.CioSdoEnOKnown 0057706751957698074600
tb.dut.CioSdoEnOffWhenInactive 0057706751957698074600
tb.dut.FpvSecCmRegWeOnehotCheck_A 0057706751911000
tb.dut.IntrReadbufFlipOKnown 0057706751957698074600
tb.dut.IntrReadbufWatermarkOKnown 0057706751957698074600
tb.dut.IntrTpmHeaderNotEmptyOKnown 0057706751957698074600
tb.dut.IntrTpmRdfifoCmdEndOKnown 0057706751957698074600
tb.dut.IntrTpmRdfifoDropOKnown 0057706751957698074600
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0057706751957698074600
tb.dut.IntrUploadPayloadNotEmptyOKnown 0057706751957698074600
tb.dut.IntrUploadPayloadOverflowOKnown 0057706751957698074600
tb.dut.PayloadStartIdxWidthMatch_A 0094094000
tb.dut.SpiModeKnown_A 0057706751957698074600
tb.dut.TpmEnableWhenTpmCsbIdle_M 0057706751935100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00577067519214363200
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0057706751921615500
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00577067519243400
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00577067519180800
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0057706751927703900
tb.dut.scanmodeKnown 0057706751957706751900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00579241311345700
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00579241311178500
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00579241311177200
tb.dut.spi_device_csr_assert.cfg_rd_A 00579241311242800
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 005792413111017600
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 005792413111011900
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 005792413111073400
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 005792413111052200
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 005792413111170500
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 005792413111017800
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 005792413111099400
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 005792413111041900
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00579241311519800
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00579241311492800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00579241311538100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00579241311531800
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00579241311523400
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00579241311523600
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00579241311584100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00579241311569800
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00579241311529500
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00579241311525900
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00579241311517800
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00579241311590300
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00579241311543000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00579241311524100
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00579241311480800
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00579241311547100
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00579241311528200
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00579241311539400
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00579241311537900
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00579241311496900
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00579241311544900
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00579241311501300
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00579241311518300
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00579241311514000
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00579241311210000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00579241311207500
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00579241311196100
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00579241311203000
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00579241311271800
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00579241311425200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00579241311196000
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00579241311200000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00579241311184200
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00579241311190100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00579241311180300
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00579241311182000
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00579241311263400
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00579241311176100
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00579241311299400
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00579241311204600
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00579241311192000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00579241311177800
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00579241311174800
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00579241311177600
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00579241311173600
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00579241311173900
tb.dut.tlul_assert_device.aKnown_A 005792413111510739300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0057924131157910985900
tb.dut.tlul_assert_device.aReadyKnown_A 0057924131157910985900
tb.dut.tlul_assert_device.dKnown_A 005792413112786390400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0057924131157910985900
tb.dut.tlul_assert_device.dReadyKnown_A 0057924131157910985900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001115111500
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00579242001617361100
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00579241311740700
tb.dut.tlul_assert_device.gen_device.contigMask_M 005792420011167353900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005792420011857647900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00579241311616600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005792420011510739300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005792420012786390400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005792420011510739300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005792420012786390400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005792420012786390400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005792420012786390400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00579241311553400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00579241311531900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001115111500
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00731867224600
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0018138220018138126000
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0018138128118138049700
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0018138128118138049700
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0018138220018138126000
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0018138128113927804700
tb.dut.u_cmdparse.OnlyOneDatapath_A 001813812817125100
tb.dut.u_cmdparse.SelDpKnown_A 0018138128113927804700
tb.dut.u_cmdparse.StKnown_A 0018138128113927804700
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00722467160100
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0057706751955900
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0018138128155900
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0057706751939700
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0018138128139700
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0094094000
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0094094000
tb.dut.u_intr_payload_overflow.IntrTKind_A 0094094000
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0094094000
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0094094000
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0094094000
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0094094000
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0094094000
tb.dut.u_jedec.JedecStKnown_A 0018138128113927804700
tb.dut.u_p2s.IoModeChangeValid_A 00181382200877800
tb.dut.u_p2s.IoModeDefault_A 001813822002954300
tb.dut.u_passthrough.PassThroughStKnown_A 0018138128113927804700
tb.dut.u_passthrough.PayloadSwapConstraint_M 00181381281181107200
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00181381281544200300
tb.dut.u_readcmd.MailboxSizeMatch_M 0018138128113927804700
tb.dut.u_readcmd.ValidCmdConfig_A 0018138128125210900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00181381281949100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001813812818069800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00181381281544200300
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00181381281137233500
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00181381281949100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00181381281137174000
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00181381281137233500
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001813812812739350600
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001813812812739350600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001813812812604964400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0018138128113927804700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001813812812604964400
tb.dut.u_reg.en2addrHit 005792413111060024300
tb.dut.u_reg.reAfterRv 005792413111060024300
tb.dut.u_reg.rePulse 00579241311820554200
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001115111500
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001115111500
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001115111500
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001115111500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001115111500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001115111500
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001115111500
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001115111500
tb.dut.u_reg.u_socket.NotOverflowed_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005792413111510739300
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005792413112786390400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00579241311328673900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00579241311359584400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0057924131122274400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0057924131150730900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 005792413111127232600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005792413112376075100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0057924131157910985900
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001115111500
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001115111500
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001115111500
tb.dut.u_reg.u_socket.maxN 001115111500
tb.dut.u_reg.wePulse 00579241311239470100
tb.dut.u_s2p.IoModeDefault_A 001813812812954300
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0094094000
tb.dut.u_scanmode_sync.OutputsKnown_A 0057706751957698074600
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0057706751957698074600
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001813812817192200
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0018138128178296000
tb.dut.u_spi_tpm.CmdAddrInfo_A 001813812817789200
tb.dut.u_spi_tpm.CmdPowerof2_A 0094094000
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0094094000
tb.dut.u_spi_tpm.DataSelKnown_A 001813822004024385500
tb.dut.u_spi_tpm.HwRegCondition2_a 001813812811612100
tb.dut.u_spi_tpm.HwRegCondition_A 001813812819787000
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001813822004024385500
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001813812819787000
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0094094000
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0094094000
tb.dut.u_spi_tpm.RdPowerof2_A 0094094000
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001813812819787000
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0094094000
tb.dut.u_spi_tpm.WrDepthSpec_A 0094094000
tb.dut.u_spi_tpm.WrFifoAvailable_A 0018138128163279900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094094000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0018138128193616800
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0018138128127703900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0018138128127703900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0057706751957697959800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0018138128118138048300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0094094000
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0094094000
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00181381281861873500
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001813812814024385500
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00181381281861873500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0094094000
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0094094000
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0018138128111943800
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0057706751911371300
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0094094000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0018138128159800
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0057706751959800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0094094000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0094094000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0094094000
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00577067519242067100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00181381281128259700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00577067519242067100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00181381281128259700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00577067519242067100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00181381281128259700
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00577067519242067100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00181381281128259700
tb.dut.u_spid_status.BusyBitZero_A 0094094000
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0018138128118138048300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0057706751957697959800
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0094094000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094094000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0057706751940940
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00577067519264106800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0057706751922039700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057706751922039700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0094094000
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0094094000
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0094094000
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00577067519356583300
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0057706751957698074600
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0094094000
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0094094000
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00577067519356583300
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00577067519356583300
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0094094000
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0094094000
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0094094000
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0094094000
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0094094000
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0057706751949728900
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0057706751957698074600
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0094094000
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0057706751921615500
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0057706751921615500
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0094094000
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0057706751949728900
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057706751949728900
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0094094000
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0094094000
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0057706751949728900
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057706751949728900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0057706751921615500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0057706751957698074600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057706751921615500
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00988499845100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00988489845000
tb.dut.u_upload.AddrFifoNeverFull_M 00181381281180800
tb.dut.u_upload.CmdFifoNeverFull_M 00181381281243400
tb.dut.u_upload.CmdFifoPush_A 00181381281243400
tb.dut.u_upload.FifosOnlyOneValid_A 0018138128113927804700
tb.dut.u_upload.PayloadNeverFull_M 0018138128164555600
tb.dut.u_upload.u_addrfifo.MinDepth_A 0094094000
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00577067519180800
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00181381281180800
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0094094000
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00577067519180800
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00577067519180800
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00577067519180800
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00577067519180800
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00577067519180800
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0018138128118138128100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0094094000
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00181381281180800
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00181381281180800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0094094000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0018138128164979800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0018138128164979800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0018138128113927804700
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0018138128113927804700
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0094094000
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00577067519243400
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00181381281243400
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0094094000
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00577067519243400
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00577067519243400
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00577067519243400
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00577067519243400
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00577067519243400
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0018138128118138128100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0094094000
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00181381281243400
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00181381281243400
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0094094000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0094094000
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00577067519243400
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00181381281243400

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

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 0057924200198094980940
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00579242001163616360
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00579242001167316730
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00579242001109210920
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005792420011451450
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005792420018688680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00579242001119711970
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0057924200111948119480
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00579242001126058812605880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00579242001593805559380551095

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0057924200198094980940
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00579242001163616360
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00579242001167316730
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00579242001109210920
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005792420011451450
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005792420018688680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00579242001119711970
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0057924200111948119480
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00579242001126058812605880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00579242001593805559380551095

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