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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total710010
Category 0710010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total710010
Severity 0710010


Summary for Assertions
NUMBERPERCENT
Total Number710100.00
Uncovered324.51
Success67895.49
Failure00.00
Incomplete10.14
Without Attempts91.27


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 00151213967000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckAckNeedsReq 00151213017000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00457469403000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00151213017000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00151213017000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00151213017000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00151213017000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00457469403000
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00457469403000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00457469403000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00457469403000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00457469403000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00457469403000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00457469403000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00457469403000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00457469403000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00457469403000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00151213017000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00151213017000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00151213017000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00151213017000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00151213017000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00151213017000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0045746940345737938500
tb.dut.CioSdoEnOKnown 0045746940345737938500
tb.dut.CioSdoEnOffWhenInactive 0045746940345737938500
tb.dut.FpvSecCmRegWeOnehotCheck_A 0045746940310000
tb.dut.IntrReadbufFlipOKnown 0045746940345737938500
tb.dut.IntrReadbufWatermarkOKnown 0045746940345737938500
tb.dut.IntrTpmHeaderNotEmptyOKnown 0045746940345737938500
tb.dut.IntrTpmRdfifoCmdEndOKnown 0045746940345737938500
tb.dut.IntrTpmRdfifoDropOKnown 0045746940345737938500
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0045746940345737938500
tb.dut.IntrUploadPayloadNotEmptyOKnown 0045746940345737938500
tb.dut.IntrUploadPayloadOverflowOKnown 0045746940345737938500
tb.dut.PayloadStartIdxWidthMatch_A 0097597500
tb.dut.SpiModeKnown_A 0045746940345737938500
tb.dut.TpmEnableWhenTpmCsbIdle_M 0045746940334000
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00457469403192577600
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0045746940317407400
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00457469403239000
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00457469403179700
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0045746940318399500
tb.dut.scanmodeKnown 0045746940345746940300
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00459754234291100
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00459754234139900
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00459754234122700
tb.dut.spi_device_csr_assert.cfg_rd_A 00459754234158400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00459754234507800
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00459754234420400
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00459754234560800
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00459754234571500
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00459754234569800
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00459754234480700
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00459754234655300
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00459754234547200
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00459754234303500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00459754234308800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00459754234281900
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00459754234296900
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00459754234314300
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00459754234297800
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00459754234293100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00459754234300200
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00459754234282500
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00459754234291600
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00459754234301600
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00459754234277100
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00459754234317200
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00459754234305200
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00459754234311600
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00459754234282000
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00459754234316000
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00459754234339400
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00459754234305100
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00459754234283500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00459754234319800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00459754234292700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00459754234305100
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00459754234304600
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00459754234139800
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00459754234144200
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00459754234160900
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00459754234150700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00459754234177700
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00459754234290700
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00459754234145500
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00459754234142400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00459754234135000
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00459754234133100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00459754234130500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00459754234146600
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00459754234171100
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00459754234133000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00459754234186000
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00459754234154600
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00459754234135400
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00459754234139000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00459754234125400
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00459754234146100
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00459754234134800
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00459754234144400
tb.dut.tlul_assert_device.aKnown_A 00459754234888555600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0045975423445961826000
tb.dut.tlul_assert_device.aReadyKnown_A 0045975423445961826000
tb.dut.tlul_assert_device.dKnown_A 004597542341529873000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0045975423445961826000
tb.dut.tlul_assert_device.dReadyKnown_A 0045975423445961826000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001150115000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00459754948463428800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00459754234902500
tb.dut.tlul_assert_device.gen_device.contigMask_M 00459754948620842100
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00459754948846922500
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00459754234644200
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00459754948888555600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004597549481529873000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00459754948888555600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004597549481529873000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004597549481529873000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004597549481529873000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00459754234609300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00459754234507600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001150115000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00649186394300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0015121396715121299200
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0015121301715121221100
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0015121301715121221100
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0015121396715121299200
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0015121301712136082800
tb.dut.u_cmdparse.OnlyOneDatapath_A 001512130176307500
tb.dut.u_cmdparse.SelDpKnown_A 0015121301712136082800
tb.dut.u_cmdparse.StKnown_A 0015121301712136082800
tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00630786246700
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00639436327300
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0045746940333200
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0015121301733200
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0045746940317200
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0015121301717200
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0097597500
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0097597500
tb.dut.u_intr_payload_overflow.IntrTKind_A 0097597500
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0097597500
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0097597500
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0097597500
tb.dut.u_jedec.JedecStKnown_A 0015121301712136082800
tb.dut.u_p2s.IoModeChangeValid_A 00151213967780900
tb.dut.u_p2s.IoModeDefault_A 001512139672050000
tb.dut.u_passthrough.PassThroughStKnown_A 0015121301712136082800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00151213017221007200
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00151213017470220700
tb.dut.u_readcmd.MailboxSizeMatch_M 0015121301712136082800
tb.dut.u_readcmd.ValidCmdConfig_A 0015121301721403800
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00151213017808200
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001512130177112900
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00151213017470220700
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00151213017118556900
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00151213017808200
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00151213017118507100
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00151213017118556900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001512130172397618900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_AKnownEnable 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001512130172397618900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001512130172281486600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_AKnownEnable 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0015121301712136082800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001512130172281486600
tb.dut.u_reg.en2addrHit 00459754234527861700
tb.dut.u_reg.reAfterRv 00459754234527861700
tb.dut.u_reg.rePulse 00459754234379353400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001150115000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001150115000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001150115000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_socket.NotOverflowed_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00459754234888555600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004597542341529873000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00459754234290347900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00459754234321519100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0045975423418739500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0045975423440393300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00459754234564316000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004597542341167960600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0045975423445961826000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001150115000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001150115000
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001150115000
tb.dut.u_reg.u_socket.maxN 001150115000
tb.dut.u_reg.wePulse 00459754234148508300
tb.dut.u_s2p.IoModeDefault_A 001512130172050000
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0097597500
tb.dut.u_scanmode_sync.OutputsKnown_A 0045746940345737938500
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045746940345737938500
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001512130174769200
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0015121301754452800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001512130175541600
tb.dut.u_spi_tpm.CmdPowerof2_A 0097597500
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0097597500
tb.dut.u_spi_tpm.DataSelKnown_A 001512139672852902000
tb.dut.u_spi_tpm.HwRegCondition2_a 001512130171257400
tb.dut.u_spi_tpm.HwRegCondition_A 001512130176806600
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001512139672852902000
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001512130176806600
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0097597500
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0097597500
tb.dut.u_spi_tpm.RdPowerof2_A 0097597500
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001512130176806600
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0097597500
tb.dut.u_spi_tpm.WrDepthSpec_A 0097597500
tb.dut.u_spi_tpm.WrFifoAvailable_A 0015121301741389600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015121301761532800
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0015121301718399500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015121301718399500
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0045746940345737819200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0015121301715121220000
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0097597500
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0097597500
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00151213017572334400
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_AKnownEnable 001512130172852902000
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001512130172852902000
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00151213017572334400
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097597500
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097597500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001512130178012800
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004574694037647900
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0097597500
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0015121301762200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0045746940362200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0097597500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00457469403210977100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 00151213017122425800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00457469403210977100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 00151213017122425800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00457469403210977100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 00151213017122425800
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00457469403210977100
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 00151213017122425800
tb.dut.u_spid_status.BusyBitZero_A 0097597500
tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00119321800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0015121301715121220000
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0045746940345737819200
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0097597500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0045746940330975
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00457469403228803200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0045746940317826100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045746940317826100
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0097597500
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0097597500
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0097597500
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0097597500
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0097597500
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00457469403317900600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00457469403317900600
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0097597500
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0097597500
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0097597500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0097597500
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0097597500
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0097597500
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0097597500
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0045746940317407400
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0045746940317407400
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0097597500
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0045746940339342100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045746940339342100
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0097597500
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0097597500
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0045746940339342100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045746940339342100
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0097597500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0045746940317407400
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_AKnownEnable 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0045746940345737938500
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0045746940317407400
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00689086852700
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00689086852700
tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic.selKnown0 00680676774500
tb.dut.u_upload.AddrFifoNeverFull_M 00151213017179700
tb.dut.u_upload.CmdFifoNeverFull_M 00151213017239000
tb.dut.u_upload.CmdFifoPush_A 00151213017239000
tb.dut.u_upload.FifosOnlyOneValid_A 0015121301712136082800
tb.dut.u_upload.PayloadNeverFull_M 0015121301780617500
tb.dut.u_upload.u_addrfifo.MinDepth_A 0097597500
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00457469403179700
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00151213017179700
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0097597500
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00457469403179700
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00457469403179700
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00457469403179700
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00457469403179700
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00457469403179700
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0015121301715121301700
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0097597500
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00151213017179700
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00151213017179700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0097597500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0015121301781036200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0015121301781036200
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_AKnownEnable 0015121301712136082800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0015121301712136082800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0015121301712136082800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0097597500
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00457469403239000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00151213017239000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0097597500
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00457469403239000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00457469403239000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00457469403239000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00457469403239000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00457469403239000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0015121301715121301700
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0097597500
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00151213017239000
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00151213017239000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0097597500
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0097597500
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00457469403239000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00151213017239000

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

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


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0045975494862266622660
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00459754948114811480
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00459754948119011900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004597549487417410
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004597549481421420
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004597549485875870
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004597549484214210
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045975494818097180970
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00459754948102618010261800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00459754948311564731156471130

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0045975494862266622660
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00459754948114811480
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00459754948119011900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004597549487417410
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004597549481421420
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004597549485875870
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004597549484214210
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0045975494818097180970
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00459754948102618010261800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00459754948311564731156471130

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