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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total667010
Category 0667010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total667010
Severity 0667010


Summary for Assertions
NUMBERPERCENT
Total Number667100.00
Uncovered284.20
Success63995.80
Failure00.00
Incomplete20.30
Without Attempts101.50


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 00379242898000
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_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.LockArbDecision_A 001506466077000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001506466077000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001506466077000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 00568087148000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00165020134000
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 001904520999000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001904520999000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001904520999000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001904520999001616
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_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_txf_underflow.DstPulseCheck_A 00568087148000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00165021569000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00379241653000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00379241653000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00379241653000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00379241653000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00379241653000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00379241653000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 001904520999190438634700
tb.dut.CioSdoEnOKnown 001904520999190438634700
tb.dut.CioSdoEnOffWhenInactive 001904520999190438634700
tb.dut.CsPulseWidth_A 001904520999180990977400
tb.dut.FpvSecCmRegWeOnehotCheck_A 0019045209999000
tb.dut.IntrReadbufFlipOKnown 001904520999190438634700
tb.dut.IntrReadbufWatermarkOKnown 001904520999190438634700
tb.dut.IntrRxerrOKnown 001904520999190438634700
tb.dut.IntrRxfOKnown 001904520999190438634700
tb.dut.IntrRxlvlOKnown 001904520999190438634700
tb.dut.IntrRxoverflowOKnown 001904520999190438634700
tb.dut.IntrTpmHeaderNotEmptyOKnown 001904520999190438634700
tb.dut.IntrTxlvlOKnown 001904520999190438634700
tb.dut.IntrTxunderflowOKnown 001904520999190438634700
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 001904520999190438634700
tb.dut.IntrUploadPayloadNotEmptyOKnown 001904520999190438634700
tb.dut.IntrUploadPayloadOverflowOKnown 001904520999190438634700
tb.dut.PayloadStartIdxWidthMatch_A 001616161600
tb.dut.SpiModeKnown_A 001904520999190438634700
tb.dut.TpmEnableWhenTpmCsbIdle_M 00190452099933900
tb.dut.TpmRdfifoNotFull_A 00190452099926356800
tb.dut.TpmWrPtrMatch_A 001616161600
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0019045209991162884500
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 001904520999208300
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 001904520999155000
tb.dut.scanmodeKnown 001904520999190452099900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 001907094280865600
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 001907094280107700
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00190709428095000
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 001907094280539900
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 001907094280433200
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 001907094280519400
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 001907094280520900
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 001907094280568000
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 001907094280462200
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 001907094280603100
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 001907094280547000
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 001907094280269200
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 001907094280258700
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 001907094280251100
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 001907094280272900
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 001907094280222500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 001907094280261800
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 001907094280261200
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 001907094280270800
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 001907094280212000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 001907094280240300
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 001907094280240600
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 001907094280266800
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 001907094280249000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 001907094280263700
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 001907094280237500
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 001907094280258700
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 001907094280234400
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 001907094280250000
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 001907094280250100
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 001907094280233500
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 001907094280265800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 001907094280258700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 001907094280281100
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 001907094280236500
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 001907094280104600
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 001907094280113900
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 001907094280108100
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 001907094280109000
tb.dut.spi_device_csr_assert.control_rd_A 001907094280155100
tb.dut.spi_device_csr_assert.fifo_level_rd_A 001907094280110100
tb.dut.spi_device_csr_assert.intercept_en_rd_A 001907094280142000
tb.dut.spi_device_csr_assert.intr_enable_rd_A 001907094280264500
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 001907094280105600
tb.dut.spi_device_csr_assert.jedec_id_rd_A 001907094280112700
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00190709428099900
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 001907094280101800
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00190709428090500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00190709428094000
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 001907094280109900
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 001907094280136600
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00190709428092200
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 001907094280146700
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 001907094280117200
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00190709428098000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00190709428092100
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00190709428090600
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00190709428099600
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 001907094280103700
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00190709428089900
tb.dut.spi_device_csr_assert.txf_addr_rd_A 001907094280114400
tb.dut.tlul_assert_device.aKnown_A 00190709428023991522000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 001907094280190691129700
tb.dut.tlul_assert_device.aReadyKnown_A 001907094280190691129700
tb.dut.tlul_assert_device.dKnown_A 00190709428027253836300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 001907094280190691129700
tb.dut.tlul_assert_device.dReadyKnown_A 001907094280190691129700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001791179100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0019070953991602556000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 001907094280836700
tb.dut.tlul_assert_device.gen_device.contigMask_M 00190709539923155329700
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00190709539924832819100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 001907094280820600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00190709539923991523300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00190709539927253837400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00190709539923991523300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00190709539927253837400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00190709539927253837400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00190709539927253837400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 001907094280627400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 001907094280671300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001791179100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0058378858217200
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0037924229037924067400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0037924102937923960800
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0037924165337924020400
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0037924289637924128000
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0037924165332718922100
tb.dut.u_cmdparse.OnlyOneDatapath_A 003792416536557000
tb.dut.u_cmdparse.SelDpKnown_A 0037924165332718922100
tb.dut.u_cmdparse.StKnown_A 0037924165332718922100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0058217258089900
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00190452099952000
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0037924165352000
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00190452099931900
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0037924165331900
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001616161600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 00150646607710510721
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001506466077926665000
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001506466077450757700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001506466077146952078300
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001506466077450757700
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001506466077150645920100
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0037924165337924008900
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001616161600
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0037924289637923978500
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001506466077150645916900
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001616161600
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001616161600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001616161600
tb.dut.u_intr_payload_overflow.IntrTKind_A 001616161600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001616161600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001616161600
tb.dut.u_intr_rxerr.IntrTKind_A 001616161600
tb.dut.u_intr_rxf.IntrTKind_A 001616161600
tb.dut.u_intr_rxlvl.IntrTKind_A 001616161600
tb.dut.u_intr_rxoverflow.IntrTKind_A 001616161600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001616161600
tb.dut.u_intr_txlvl.IntrTKind_A 001616161600
tb.dut.u_intr_txunderflow.IntrTKind_A 001616161600
tb.dut.u_jedec.JedecStKnown_A 0037924165332718922100
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001616161600
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001616161600
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001616161600
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 001904520999683153900
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001506466077531823100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 001904520999683153900
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001506466077531823100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 001904520999683153900
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001506466077531823100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 001904520999683153900
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001506466077531823100
tb.dut.u_p2s.IoModeChangeValid_A 00379242896865200
tb.dut.u_p2s.IoModeDefault_A 003792428966519700
tb.dut.u_passthrough.AddrSetInStIdle_A 007532753200
tb.dut.u_passthrough.PassThroughStKnown_A 0037924165332718922100
tb.dut.u_passthrough.PayloadSwapConstraint_M 00379241653170020800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00379241653506005700
tb.dut.u_readcmd.MailboxSizeMatch_M 0037924165332718922100
tb.dut.u_readcmd.ValidCmdConfig_A 0037924165322805500
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00379241653861700
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0037924165355947000
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00379241653506005700
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00379241653127578000
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00379241653861700
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00379241653127525600
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00379241653127578000
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003792416532602243100
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003792416532602243100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003792416532477250200
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0037924165332718922100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003792416532477250200
tb.dut.u_reg.en2addrHit 00190709428017002464900
tb.dut.u_reg.reAfterRv 00190709428017002464500
tb.dut.u_reg.rePulse 00190709428016472318500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001791179100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001791179100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001791179100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001791179100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001791179100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001791179100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001791179100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001791179100
tb.dut.u_reg.u_socket.NotOverflowed_A 0018173860218173860200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00190709428023991522000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00190709428027253836300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0019070942801337672400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0019070942802203605900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00190709428022214875300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00190709428025050230400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 001907094280190691129700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001791179100
tb.dut.u_reg.u_socket.maxN 001791179100
tb.dut.u_reg.wePulse 001907094280530146000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184623000
tb.dut.u_s2p.IoModeDefault_A 003792416536522600
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001616161600
tb.dut.u_scanmode_sync.OutputsKnown_A 001904520999190438634700
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 001904520999190438634700
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003792416536765300
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0037924165374105600
tb.dut.u_spi_tpm.CmdAddrInfo_A 003792416537382100
tb.dut.u_spi_tpm.CmdPowerof2_A 001616161600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001616161600
tb.dut.u_spi_tpm.DataSelKnown_A 003792428963523817400
tb.dut.u_spi_tpm.HwRegCondition2_a 003792416531548400
tb.dut.u_spi_tpm.HwRegCondition_A 003792416539263200
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003792428963523817400
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003792416539263200
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001616161600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001616161600
tb.dut.u_spi_tpm.RdPowerof2_A 001616161600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 003792416539263200
tb.dut.u_spi_tpm.TpmRegCondition_A 003792416539263200
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001616161600
tb.dut.u_spi_tpm.WrDepthSpec_A 001616161600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0037924165358447700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 001904520999190438455100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0037924165337924013900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001616161600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001616161600
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 003792428963514553600
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0019045209999422952300
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001616161600
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 001904520999190438455100
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0037924165337924013900
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001616161600
tb.dut.u_spid_status.BusyBitZero_A 001616161600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0037924165337924013900
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 001904520999190438455100
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001616161600
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001506466077150646460600
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0037924165337924020400
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 001904520999190451938300
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00668376551400
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0058217258089900
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00179618000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001616161600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019045209991163247800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 001904520999480093900
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 001904520999190438634700
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001904520999480093900
tb.dut.u_tlul2sram.AddrOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.DataIntgOptions_A 001616161600
tb.dut.u_tlul2sram.ReqOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001616161600
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001616161600
tb.dut.u_tlul2sram.TlOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0019045209992193163300
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 001904520999190438634700
tb.dut.u_tlul2sram.WdataOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.WeOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.WmaskOutKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001616161600
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 001904520999479730600
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 001904520999479730600
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001616161600
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0019045209992193163300
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019045209992193163300
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001616161600
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001616161600
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 001904520999931572400
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001904520999931572400
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 001904520999479730600
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 001904520999190438634700
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001904520999479730600
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012350012303600
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0012166012119600
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184623000
tb.dut.u_upload.AddrFifoNeverFull_M 00379241653155000
tb.dut.u_upload.CmdFifoNeverFull_M 00379241653208300
tb.dut.u_upload.CmdFifoPush_A 00379241653208300
tb.dut.u_upload.FifosOnlyOneValid_A 0037924165332718922100
tb.dut.u_upload.PayloadNeverFull_M 0037924165355552500
tb.dut.u_upload.u_addrfifo.MinDepth_A 001616161600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 001904520999155000
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00379241653155000
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001616161600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 001904520999155000
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 001904520999155000
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 001904520999155000
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 001904520999155000
tb.dut.u_upload.u_addrfifo.SramRvalid_A 001904520999155000
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0037924165337924164800
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001616161600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00379241653155000
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00379241653155000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001616161600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0037924165355915800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0037924165355915800
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0037924165332718922100
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0037924165332718922100
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001616161600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 001904520999208300
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00379241653208300
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001616161600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 001904520999208300
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 001904520999208300
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 001904520999208300
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 001904520999208300
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 001904520999208300
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0037924165337924164800
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001616161600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00379241653208300
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00379241653208300
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001616161600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001616161600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 001904520999208300
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00379241653208300

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 00150646607710510721
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001904520999001616

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_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sram_rst_scanmux.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_tx_rst_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 001907095399282218828221880
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001907095399342834280
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001907095399339933990
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001907095399237223720
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019070953993403400
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001907095399176917690
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001907095399259125910
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00190709539918624186240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00190709539944057397440573970
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00190709539961889631618896311771

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 001907095399282218828221880
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001907095399342834280
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001907095399339933990
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001907095399237223720
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019070953993403400
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001907095399176917690
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001907095399259125910
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00190709539918624186240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00190709539944057397440573970
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00190709539961889631618896311771

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