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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total687010
Category 0687010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total687010
Severity 0687010


Summary for Assertions
NUMBERPERCENT
Total Number687100.00
Uncovered294.22
Success65895.78
Failure00.00
Incomplete10.15
Without Attempts60.87


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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0057408567757400121600
tb.dut.CioSdoEnOKnown 0057408567757400121600
tb.dut.CioSdoEnOffWhenInactive 0057408567757400121600
tb.dut.FpvSecCmRegWeOnehotCheck_A 0057408567711000
tb.dut.IntrReadbufFlipOKnown 0057408567757400121600
tb.dut.IntrReadbufWatermarkOKnown 0057408567757400121600
tb.dut.IntrTpmHeaderNotEmptyOKnown 0057408567757400121600
tb.dut.IntrTpmRdfifoCmdEndOKnown 0057408567757400121600
tb.dut.IntrTpmRdfifoDropOKnown 0057408567757400121600
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0057408567757400121600
tb.dut.IntrUploadPayloadNotEmptyOKnown 0057408567757400121600
tb.dut.IntrUploadPayloadOverflowOKnown 0057408567757400121600
tb.dut.PayloadStartIdxWidthMatch_A 0092292200
tb.dut.SpiModeKnown_A 0057408567757400121600
tb.dut.TpmEnableWhenTpmCsbIdle_M 0057408567735600
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00574085677223846400
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0057408567722429700
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00574085677246700
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00574085677184900
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0057408567729443400
tb.dut.scanmodeKnown 0057408567757408567700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00576637868394300
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00576637868310800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00576637868321300
tb.dut.spi_device_csr_assert.cfg_rd_A 00576637868379800
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 005766378681431700
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 005766378681492800
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 005766378681311900
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 005766378681287800
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 005766378681268100
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 005766378681297400
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 005766378681237200
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 005766378681270200
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00576637868730800
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00576637868707700
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00576637868756900
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00576637868734200
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00576637868700600
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00576637868714200
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00576637868744300
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00576637868685300
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00576637868714800
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00576637868688100
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00576637868743200
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00576637868690300
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00576637868788000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00576637868670700
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00576637868745700
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00576637868718700
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00576637868625600
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00576637868709800
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00576637868707200
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00576637868634400
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00576637868675400
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00576637868670800
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00576637868747800
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00576637868772500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00576637868340000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00576637868348200
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00576637868342600
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00576637868357700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00576637868391400
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00576637868626300
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00576637868350200
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00576637868347600
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00576637868329600
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00576637868311500
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00576637868294500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00576637868313400
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00576637868416500
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00576637868336700
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00576637868451100
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00576637868340300
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00576637868303200
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00576637868309200
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00576637868316100
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00576637868302000
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00576637868337200
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00576637868312800
tb.dut.tlul_assert_device.aKnown_A 005766378681501729500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0057663786857650670400
tb.dut.tlul_assert_device.aReadyKnown_A 0057663786857650670400
tb.dut.tlul_assert_device.dKnown_A 005766378682813623200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0057663786857650670400
tb.dut.tlul_assert_device.dReadyKnown_A 0057663786857650670400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001097109700
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00576638592618894800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00576637868817500
tb.dut.tlul_assert_device.gen_device.contigMask_M 005766385921154543800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005766385921860229900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00576637868657900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005766385921501729500
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005766385922813623200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005766385921501729500
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005766385922813623200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005766385922813623200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005766385922813623200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00576637868622200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00576637868641700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001097109700
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00740597313700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0019354742119354649900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0019354652119354573100
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0019354652119354573100
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0019354742119354649900
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0019354652114849168100
tb.dut.u_cmdparse.OnlyOneDatapath_A 001935465217229800
tb.dut.u_cmdparse.SelDpKnown_A 0019354652114849168100
tb.dut.u_cmdparse.StKnown_A 0019354652114849168100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00731377248900
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0057408567758300
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0019354652158300
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0057408567741100
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0019354652141100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092292200
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092292200
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092292200
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092292200
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092292200
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092292200
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092292200
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092292200
tb.dut.u_jedec.JedecStKnown_A 0019354652114849168100
tb.dut.u_p2s.IoModeChangeValid_A 00193547421922800
tb.dut.u_p2s.IoModeDefault_A 001935474213051100
tb.dut.u_passthrough.PassThroughStKnown_A 0019354652114849168100
tb.dut.u_passthrough.PayloadSwapConstraint_M 00193546521190801600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00193546521581071200
tb.dut.u_readcmd.MailboxSizeMatch_M 0019354652114849168100
tb.dut.u_readcmd.ValidCmdConfig_A 0019354652126326900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00193546521993900
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001935465218219900
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00193546521581071200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00193546521146502700
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00193546521993900
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00193546521146440200
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00193546521146502700
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001935465212929818300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001935465212929818300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001935465212786297300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0019354652114849168100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001935465212786297300
tb.dut.u_reg.en2addrHit 005766378681036290000
tb.dut.u_reg.reAfterRv 005766378681036290000
tb.dut.u_reg.rePulse 00576637868808180300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001097109700
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001097109700
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001097109700
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001097109700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001097109700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001097109700
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001097109700
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001097109700
tb.dut.u_reg.u_socket.NotOverflowed_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005766378681501729500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005766378682813623200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00576637868339540100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00576637868378819900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0057663786823221200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0057663786854922500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 005766378681103632700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 005766378682379880800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0057663786857650670400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001097109700
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001097109700
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001097109700
tb.dut.u_reg.u_socket.maxN 001097109700
tb.dut.u_reg.wePulse 00576637868228109700
tb.dut.u_s2p.IoModeDefault_A 001935465213051100
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092292200
tb.dut.u_scanmode_sync.OutputsKnown_A 0057408567757400121600
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0057408567757400121600
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001935465217601200
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0019354652182624800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001935465218221500
tb.dut.u_spi_tpm.CmdPowerof2_A 0092292200
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092292200
tb.dut.u_spi_tpm.DataSelKnown_A 001935474214312415700
tb.dut.u_spi_tpm.HwRegCondition2_a 001935465211691500
tb.dut.u_spi_tpm.HwRegCondition_A 0019354652110328100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001935474214312415700
tb.dut.u_spi_tpm.LocalityLatchCondition_A 0019354652110328100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092292200
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092292200
tb.dut.u_spi_tpm.RdPowerof2_A 0092292200
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 0019354652110328100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092292200
tb.dut.u_spi_tpm.WrDepthSpec_A 0092292200
tb.dut.u_spi_tpm.WrFifoAvailable_A 0019354652166452500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092292200
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019354652198690000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0019354652129443400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019354652129443400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0057408567757400009300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0019354652119354571700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092292200
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092292200
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00193546521916298500
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001935465214312415700
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00193546521916298500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092292200
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092292200
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 0019354652113065600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 0057408567712572000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092292200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0019354652160400
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0057408567760400
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.CannotHaveEccAndParity_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00193546521131056300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00193546521131056300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00193546521131056300
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00193546521131056300
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.CannotHaveEccAndParity_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.ParityNeedsByteWriteMask_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092292200
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00574085677253289800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00574085677253289800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00574085677253289800
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00574085677253289800
tb.dut.u_spid_status.BusyBitZero_A 0092292200
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0019354652119354571700
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0057408567757400009300
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092292200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092292200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00574085677100922
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00574085677276151100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0057408567722861300
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057408567722861300
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092292200
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092292200
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092292200
tb.dut.u_tlul2sram_egress.TlOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_A 00574085677376313900
tb.dut.u_tlul2sram_egress.TlOutPayloadKnown_AKnownEnable 0057408567757400121600
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092292200
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092292200
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00574085677376313900
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00574085677376313900
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092292200
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092292200
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092292200
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092292200
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092292200
tb.dut.u_tlul2sram_ingress.TlOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_A 0057408567754064900
tb.dut.u_tlul2sram_ingress.TlOutPayloadKnown_AKnownEnable 0057408567757400121600
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092292200
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0057408567722429700
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0057408567722429700
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092292200
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0057408567754064900
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057408567754064900
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092292200
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092292200
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0057408567754064900
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057408567754064900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0057408567722429700
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0057408567757400121600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0057408567722429700
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0010412710372900
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0010412710372900
tb.dut.u_upload.AddrFifoNeverFull_M 00193546521184900
tb.dut.u_upload.CmdFifoNeverFull_M 00193546521246700
tb.dut.u_upload.CmdFifoPush_A 00193546521246700
tb.dut.u_upload.FifosOnlyOneValid_A 0019354652114849168100
tb.dut.u_upload.PayloadNeverFull_M 0019354652164172200
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092292200
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00574085677184900
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00193546521184900
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092292200
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00574085677184900
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00574085677184900
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00574085677184900
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00574085677184900
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00574085677184900
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0019354652119354652100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092292200
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00193546521184900
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00193546521184900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092292200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019354652164603800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019354652164603800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0019354652114849168100
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0019354652114849168100
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092292200
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00574085677246700
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00193546521246700
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092292200
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00574085677246700
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00574085677246700
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00574085677246700
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00574085677246700
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00574085677246700
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0019354652119354652100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092292200
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00193546521246700
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00193546521246700
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092292200
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092292200
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00574085677246700
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00193546521246700

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

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 005766385921153761153760
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00576638592193719370
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00576638592198019800
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00576638592136713670
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005766385921041040
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00576638592104710470
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005766385921611610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00576638592835783570
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00576638592126257212625720
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00576638592561274856127481077

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 005766385921153761153760
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00576638592193719370
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00576638592198019800
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00576638592136713670
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005766385921041040
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00576638592104710470
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005766385921611610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00576638592835783570
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00576638592126257212625720
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00576638592561274856127481077

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