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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0036323947636315365600
tb.dut.CioSdoEnOKnown 0036323947636315365600
tb.dut.CioSdoEnOffWhenInactive 0036323947636315365600
tb.dut.FpvSecCmRegWeOnehotCheck_A 0036323947610000
tb.dut.IntrReadbufFlipOKnown 0036323947636315365600
tb.dut.IntrReadbufWatermarkOKnown 0036323947636315365600
tb.dut.IntrTpmHeaderNotEmptyOKnown 0036323947636315365600
tb.dut.IntrTpmRdfifoCmdEndOKnown 0036323947636315365600
tb.dut.IntrTpmRdfifoDropOKnown 0036323947636315365600
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0036323947636315365600
tb.dut.IntrUploadPayloadNotEmptyOKnown 0036323947636315365600
tb.dut.IntrUploadPayloadOverflowOKnown 0036323947636315365600
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0036323947636315365600
tb.dut.TpmEnableWhenTpmCsbIdle_M 0036323947634500
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00363239476152347200
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0036323947615342100
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00363239476159900
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00363239476117600
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0036323947620537100
tb.dut.scanmodeKnown 0036323947636323947600
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00365504168375500
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00365504168124500
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00365504168108700
tb.dut.spi_device_csr_assert.cfg_rd_A 00365504168160000
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00365504168770100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00365504168880800
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00365504168821000
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00365504168778700
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00365504168904600
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00365504168749500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00365504168690500
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00365504168897300
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00365504168421500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00365504168323200
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00365504168405300
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00365504168449100
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00365504168399200
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00365504168434000
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00365504168392500
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00365504168396100
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00365504168389700
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00365504168395600
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00365504168430000
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00365504168427500
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00365504168414300
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00365504168349200
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00365504168409300
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00365504168395100
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00365504168420600
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00365504168351600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00365504168421600
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00365504168426300
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00365504168357200
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00365504168407500
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00365504168419900
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00365504168425500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00365504168139600
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00365504168155000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00365504168127500
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00365504168136600
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00365504168191500
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00365504168331200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00365504168135200
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00365504168148400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00365504168112500
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00365504168108400
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00365504168132900
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00365504168112500
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00365504168174000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00365504168110600
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00365504168197400
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00365504168142500
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00365504168126000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00365504168115400
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00365504168110200
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00365504168119500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00365504168116600
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00365504168114200
tb.dut.tlul_assert_device.aKnown_A 00365504168841234900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0036550416836537953800
tb.dut.tlul_assert_device.aReadyKnown_A 0036550416836537953800
tb.dut.tlul_assert_device.dKnown_A 003655041681595500100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0036550416836537953800
tb.dut.tlul_assert_device.dReadyKnown_A 0036550416836537953800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00365504842418792800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00365504168806400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00365504842603027300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00365504842915705400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00365504168691500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00365504842841234900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 003655048421595500100
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00365504842841234900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 003655048421595500100
tb.dut.tlul_assert_device.gen_device.respOpcode_A 003655048421595500100
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 003655048421595500100
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00365504168611700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00365504168611600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00497284880200
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0012691758312691665700
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0012691667612691593600
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0012691667612691593600
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0012691758312691665700
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 001269166769429478200
tb.dut.u_cmdparse.OnlyOneDatapath_A 001269166764789600
tb.dut.u_cmdparse.SelDpKnown_A 001269166769429478200
tb.dut.u_cmdparse.StKnown_A 001269166769429478200
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00488024819100
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0036323947631400
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0012691667631400
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0036323947616800
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0012691667616800
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092692600
tb.dut.u_jedec.JedecStKnown_A 001269166769429478200
tb.dut.u_p2s.IoModeChangeValid_A 00126917583583600
tb.dut.u_p2s.IoModeDefault_A 001269175831984000
tb.dut.u_passthrough.PassThroughStKnown_A 001269166769429478200
tb.dut.u_passthrough.PayloadSwapConstraint_M 00126916676142234400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00126916676381096100
tb.dut.u_readcmd.MailboxSizeMatch_M 001269166769429478200
tb.dut.u_readcmd.ValidCmdConfig_A 0012691667617132600
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00126916676649800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001269166765437000
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00126916676381096100
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0012691667696085400
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00126916676649800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0012691667696043700
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0012691667696085400
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001269166761962588200
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001269166761962588200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001269166761868452200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 001269166769429478200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001269166761868452200
tb.dut.u_reg.en2addrHit 00365504168535903900
tb.dut.u_reg.reAfterRv 00365504168535903900
tb.dut.u_reg.rePulse 00365504168379401500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001101110100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001101110100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.NotOverflowed_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00365504168841234900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 003655041681595500100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00365504168234060400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00365504168261307000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0036550416816537800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0036550416838960300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00365504168573994200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 003655041681295232800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0036550416836537953800
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.maxN 001101110100
tb.dut.u_reg.wePulse 00365504168156502400
tb.dut.u_s2p.IoModeDefault_A 001269166761984000
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0036323947636315365600
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0036323947636315365600
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001269166765207100
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0012691667655936800
tb.dut.u_spi_tpm.CmdAddrInfo_A 001269166765647600
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001269175833135169300
tb.dut.u_spi_tpm.HwRegCondition2_a 001269166761096100
tb.dut.u_spi_tpm.HwRegCondition_A 001269166766992100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001269175833135169300
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001269166766992100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092692600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092692600
tb.dut.u_spi_tpm.RdPowerof2_A 0092692600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001269166766992100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0012691667644955000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012691667667409500
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0012691667620537100
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0012691667620537100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0036323947636315250900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0012691667612691591300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092692600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092692600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00126916676638974300
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001269166763135169300
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00126916676638974300
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001269166768931200
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 003632394768525400
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092692600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0012691667657200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0036323947657200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00363239476172884300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0012691667689369200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00363239476172884300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0012691667689369200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00363239476172884300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0012691667689369200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00363239476172884300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0012691667689369200
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0012691667612691591300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0036323947636315250900
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0036323947630926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00363239476188503900
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0036323947615619600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0036323947615619600
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00363239476258437100
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00363239476258437100
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0036323947615342100
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0036323947615342100
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0036323947637849100
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0036323947637849100
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0036323947637849100
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0036323947637849100
tb.dut.u_tlul2sram_ingress.u_sram_byte.SramReadbackAndIntg 0092692600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0036323947615342100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0036323947636315365600
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0036323947615342100
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00708907051800
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00708907051800
tb.dut.u_upload.AddrFifoNeverFull_M 00126916676117600
tb.dut.u_upload.CmdFifoNeverFull_M 00126916676159900
tb.dut.u_upload.CmdFifoPush_A 00126916676159900
tb.dut.u_upload.FifosOnlyOneValid_A 001269166769429478200
tb.dut.u_upload.PayloadNeverFull_M 0012691667644136700
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00363239476117600
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00126916676117600
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00363239476117600
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00363239476117600
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00363239476117600
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00363239476117600
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00363239476117600
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0012691667612691667600
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00126916676117600
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00126916676117600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001269166769429478200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001269166769429478200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001269166769429478200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012691667644414200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001269166769429478200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012691667644414200
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 001269166769429478200
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 001269166769429478200
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 001269166769429478200
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00363239476159900
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00126916676159900
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00363239476159900
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00363239476159900
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00363239476159900
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00363239476159900
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00363239476159900
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0012691667612691667600
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00126916676159900
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00126916676159900
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00363239476159900
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00126916676159900

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

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 0036550484263760637600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 003655048425935930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 003655048426266260
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003655048423573570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003655048421481480
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003655048422842840
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003655048422752750
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0036550484212879128790
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003655048428696268696260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00365504842301682330168231081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0036550484263760637600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 003655048425935930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 003655048426266260
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003655048423573570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003655048421481480
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003655048422842840
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003655048422752750
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0036550484212879128790
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003655048428696268696260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00365504842301682330168231081

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