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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0041221008941212484400
tb.dut.CioSdoEnOKnown 0041221008941212484400
tb.dut.CioSdoEnOffWhenInactive 0041221008941212484400
tb.dut.FpvSecCmRegWeOnehotCheck_A 0041221008911000
tb.dut.IntrReadbufFlipOKnown 0041221008941212484400
tb.dut.IntrReadbufWatermarkOKnown 0041221008941212484400
tb.dut.IntrTpmHeaderNotEmptyOKnown 0041221008941212484400
tb.dut.IntrTpmRdfifoCmdEndOKnown 0041221008941212484400
tb.dut.IntrTpmRdfifoDropOKnown 0041221008941212484400
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0041221008941212484400
tb.dut.IntrUploadPayloadNotEmptyOKnown 0041221008941212484400
tb.dut.IntrUploadPayloadOverflowOKnown 0041221008941212484400
tb.dut.PayloadStartIdxWidthMatch_A 0092592500
tb.dut.SpiModeKnown_A 0041221008941212484400
tb.dut.TpmEnableWhenTpmCsbIdle_M 0041221008934300
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00412210089168718400
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0041221008915411200
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00412210089177100
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00412210089127400
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0041221008919304400
tb.dut.scanmodeKnown 0041221008941221008900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00414477099375700
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00414477099148800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00414477099168400
tb.dut.spi_device_csr_assert.cfg_rd_A 00414477099185000
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00414477099746500
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00414477099723300
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00414477099803300
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00414477099730400
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00414477099666400
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00414477099726000
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00414477099687200
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00414477099765400
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00414477099410000
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00414477099373700
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00414477099379000
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00414477099379500
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00414477099374400
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00414477099332400
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00414477099423600
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00414477099380500
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00414477099410600
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00414477099397500
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00414477099421300
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00414477099383800
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00414477099380700
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00414477099400800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00414477099415800
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00414477099407400
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00414477099381400
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00414477099408300
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00414477099391700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00414477099383200
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00414477099374100
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00414477099420900
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00414477099400400
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00414477099386500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00414477099163200
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00414477099178800
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00414477099183900
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00414477099161800
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00414477099211600
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00414477099377700
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00414477099180800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00414477099185700
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00414477099158600
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00414477099150000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00414477099155400
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00414477099167700
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00414477099206300
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00414477099156600
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00414477099234800
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00414477099173600
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00414477099156800
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00414477099167000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00414477099174100
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00414477099165900
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00414477099158500
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00414477099157200
tb.dut.tlul_assert_device.aKnown_A 00414477099934072000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0041447709941434876400
tb.dut.tlul_assert_device.aReadyKnown_A 0041447709941434876400
tb.dut.tlul_assert_device.dKnown_A 004144770991828974000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0041447709941434876400
tb.dut.tlul_assert_device.dReadyKnown_A 0041447709941434876400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001100110000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00414477805460900100
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00414477099712400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00414477805672032200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 004144778051024671400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00414477099591600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00414477805934072000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004144778051828974000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00414477805934072000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004144778051828974000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004144778051828974000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004144778051828974000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00414477099527700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00414477099520400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001100110000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00573385641300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0013774091213773998700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0013774000313773925100
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0013774000313773925100
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0013774091213773998700
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0013774000310707174800
tb.dut.u_cmdparse.OnlyOneDatapath_A 001377400035556600
tb.dut.u_cmdparse.SelDpKnown_A 0013774000310707174800
tb.dut.u_cmdparse.StKnown_A 0013774000310707174800
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00564135579200
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0041221008931000
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0013774000331000
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0041221008916200
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0013774000316200
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092592500
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092592500
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092592500
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092592500
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092592500
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092592500
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092592500
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092592500
tb.dut.u_jedec.JedecStKnown_A 0013774000310707174800
tb.dut.u_p2s.IoModeChangeValid_A 00137740912692400
tb.dut.u_p2s.IoModeDefault_A 001377409122061700
tb.dut.u_passthrough.PassThroughStKnown_A 0013774000310707174800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00137740003125190400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00137740003417230800
tb.dut.u_readcmd.MailboxSizeMatch_M 0013774000310707174800
tb.dut.u_readcmd.ValidCmdConfig_A 0013774000319300600
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00137740003725800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001377400036281500
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00137740003417230800
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00137740003105211100
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00137740003725800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00137740003105169900
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00137740003105211100
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001377400032104645500
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001377400032104645500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001377400032001611800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0013774000310707174800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001377400032001611800
tb.dut.u_reg.en2addrHit 00414477099598977200
tb.dut.u_reg.reAfterRv 00414477099598977200
tb.dut.u_reg.rePulse 00414477099424207600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001100110000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001100110000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001100110000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001100110000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001100110000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001100110000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001100110000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001100110000
tb.dut.u_reg.u_socket.NotOverflowed_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00414477099934072000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004144770991828974000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00414477099254650100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00414477099311766200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0041447709916413400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0041447709941686700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00414477099644817400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004144770991475521100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0041447709941434876400
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001100110000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001100110000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001100110000
tb.dut.u_reg.u_socket.maxN 001100110000
tb.dut.u_reg.wePulse 00414477099174769600
tb.dut.u_s2p.IoModeDefault_A 001377400032061700
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092592500
tb.dut.u_scanmode_sync.OutputsKnown_A 0041221008941212484400
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041221008941212484400
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001377400034958900
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0013774000352803200
tb.dut.u_spi_tpm.CmdAddrInfo_A 001377400035270800
tb.dut.u_spi_tpm.CmdPowerof2_A 0092592500
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092592500
tb.dut.u_spi_tpm.DataSelKnown_A 001377409122938379900
tb.dut.u_spi_tpm.HwRegCondition2_a 001377400031017300
tb.dut.u_spi_tpm.HwRegCondition_A 001377400036600400
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001377409122938379900
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001377400036600400
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092592500
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092592500
tb.dut.u_spi_tpm.RdPowerof2_A 0092592500
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001377400036600400
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092592500
tb.dut.u_spi_tpm.WrDepthSpec_A 0092592500
tb.dut.u_spi_tpm.WrFifoAvailable_A 0013774000343094100
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092592500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013774000364209400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0013774000319304400
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0013774000319304400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0041221008941212370600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0013774000313773923200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092592500
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092592500
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00137740003600581500
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001377400032938379900
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00137740003600581500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092592500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092592500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001377400038420600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004122100898150500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092592500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0013774000357900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0041221008957900
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092592500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092592500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092592500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00412210089188022800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0013774000395870300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00412210089188022800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0013774000395870300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00412210089188022800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0013774000395870300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00412210089188022800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0013774000395870300
tb.dut.u_spid_status.BusyBitZero_A 0092592500
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0013774000313773923200
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0041221008941212370600
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092592500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092592500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0041221008920925
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00412210089203738500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0041221008915715700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041221008915715700
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092592500
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092592500
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092592500
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092592500
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092592500
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00412210089308618100
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00412210089308618100
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092592500
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092592500
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0092592500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092592500
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092592500
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092592500
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092592500
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0041221008915411200
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0041221008915411200
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092592500
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0041221008940621300
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041221008940621300
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092592500
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092592500
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0041221008940621300
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041221008940621300
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0092592500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0041221008915411200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0041221008941212484400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0041221008915411200
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00668476647200
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00668476647200
tb.dut.u_upload.AddrFifoNeverFull_M 00137740003127400
tb.dut.u_upload.CmdFifoNeverFull_M 00137740003177100
tb.dut.u_upload.CmdFifoPush_A 00137740003177100
tb.dut.u_upload.FifosOnlyOneValid_A 0013774000310707174800
tb.dut.u_upload.PayloadNeverFull_M 0013774000352471700
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092592500
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00412210089127400
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00137740003127400
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092592500
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00412210089127400
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00412210089127400
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00412210089127400
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00412210089127400
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00412210089127400
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0013774000313774000300
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092592500
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00137740003127400
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00137740003127400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092592500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0013774000352776200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0013774000352776200
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0013774000310707174800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0013774000310707174800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092592500
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00412210089177100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00137740003177100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092592500
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00412210089177100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00412210089177100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00412210089177100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00412210089177100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00412210089177100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0013774000313774000300
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092592500
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00137740003177100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00137740003177100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092592500
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092592500
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00412210089177100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00137740003177100

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

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 0041447780576152761520
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00414477805243624360
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00414477805251925190
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00414477805165716570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004144778052222220
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00414477805134213420
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004144778059009000
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0041447780514550145500
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004144778059471649471640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00414477805383083838308381080

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0041447780576152761520
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00414477805243624360
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00414477805251925190
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00414477805165716570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004144778052222220
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00414477805134213420
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004144778059009000
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0041447780514550145500
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004144778059471649471640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00414477805383083838308381080

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