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 00377360053000
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 001577831001000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001577831001000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001577831001000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 00513750121000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00160878750000
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 001925754656000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001925754656000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001925754656000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001925754656001607
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 00513750121000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00160880159000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00377358845000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00377358845000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00377358845000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00377358845000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00377358845000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00377358845000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 001925754656192562251800
tb.dut.CioSdoEnOKnown 001925754656192562251800
tb.dut.CioSdoEnOffWhenInactive 001925754656192562251800
tb.dut.CsPulseWidth_A 001925754656184443261900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00192575465610000
tb.dut.IntrReadbufFlipOKnown 001925754656192562251800
tb.dut.IntrReadbufWatermarkOKnown 001925754656192562251800
tb.dut.IntrRxerrOKnown 001925754656192562251800
tb.dut.IntrRxfOKnown 001925754656192562251800
tb.dut.IntrRxlvlOKnown 001925754656192562251800
tb.dut.IntrRxoverflowOKnown 001925754656192562251800
tb.dut.IntrTpmHeaderNotEmptyOKnown 001925754656192562251800
tb.dut.IntrTxlvlOKnown 001925754656192562251800
tb.dut.IntrTxunderflowOKnown 001925754656192562251800
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 001925754656192562251800
tb.dut.IntrUploadPayloadNotEmptyOKnown 001925754656192562251800
tb.dut.IntrUploadPayloadOverflowOKnown 001925754656192562251800
tb.dut.PayloadStartIdxWidthMatch_A 001607160700
tb.dut.SpiModeKnown_A 001925754656192562251800
tb.dut.TpmEnableWhenTpmCsbIdle_M 00192575465632400
tb.dut.TpmRdfifoNotFull_A 00192575465623275400
tb.dut.TpmWrPtrMatch_A 001607160700
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0019257546561161453800
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 001925754656207400
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 001925754656154600
tb.dut.scanmodeKnown 001925754656192575465600
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 001928233267817600
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 001928233267226500
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 001928233267240000
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 001928233267838600
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 001928233267870500
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 001928233267807900
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 001928233267668500
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 001928233267842300
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 001928233267784000
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 001928233267812500
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 001928233267833800
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 001928233267446100
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 001928233267429500
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 001928233267395600
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 001928233267403600
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 001928233267407000
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 001928233267447000
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 001928233267436100
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 001928233267463600
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 001928233267420000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 001928233267395300
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 001928233267432100
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 001928233267446900
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 001928233267435900
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 001928233267429700
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 001928233267436400
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 001928233267404500
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 001928233267439700
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 001928233267414600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 001928233267452900
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 001928233267432700
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 001928233267418100
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 001928233267420000
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 001928233267454900
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 001928233267424900
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 001928233267269800
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 001928233267253500
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 001928233267267000
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 001928233267267600
tb.dut.spi_device_csr_assert.control_rd_A 001928233267331700
tb.dut.spi_device_csr_assert.fifo_level_rd_A 001928233267247400
tb.dut.spi_device_csr_assert.intercept_en_rd_A 001928233267287600
tb.dut.spi_device_csr_assert.intr_enable_rd_A 001928233267465800
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 001928233267229800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 001928233267252300
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 001928233267246800
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 001928233267237100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 001928233267238600
tb.dut.spi_device_csr_assert.read_threshold_rd_A 001928233267233500
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 001928233267268200
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 001928233267296600
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 001928233267243800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 001928233267314700
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 001928233267253000
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 001928233267228400
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 001928233267231700
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 001928233267242400
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 001928233267241500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 001928233267243300
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 001928233267224800
tb.dut.spi_device_csr_assert.txf_addr_rd_A 001928233267245700
tb.dut.tlul_assert_device.aKnown_A 00192823326722864072500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 001928233267192806106700
tb.dut.tlul_assert_device.aReadyKnown_A 001928233267192806106700
tb.dut.tlul_assert_device.dKnown_A 00192823326728187745300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 001928233267192806106700
tb.dut.tlul_assert_device.dReadyKnown_A 001928233267192806106700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001782178200
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0019282343931595755400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 001928233267778900
tb.dut.tlul_assert_device.gen_device.contigMask_M 00192823439322037542000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00192823439325683493700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 001928233267766200
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00192823439322864073600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00192823439328187746100
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00192823439322864073600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00192823439328187746100
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00192823439328187746100
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00192823439328187746100
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 001928233267588100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 001928233267620400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001782178200
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0057103156942400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0037735947637735786900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0037735820337735679100
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0037735884537735740300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0037736005037735844300
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0037735884532091722100
tb.dut.u_cmdparse.OnlyOneDatapath_A 003773588456553600
tb.dut.u_cmdparse.SelDpKnown_A 0037735884532091722100
tb.dut.u_cmdparse.StKnown_A 0037735884532091722100
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0056942456815900
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00192575465654200
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0037735884554200
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00192575465634500
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0037735884534500
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001607160700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0015778310018350713
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001577831001923856100
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001577831001447247800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001577831001153970593400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001577831001447247800
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001577831001157782429400
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0037735884537735730000
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001607160700
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0037736005037735697800
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001577831001157782415300
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001607160700
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001607160700
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001607160700
tb.dut.u_intr_payload_overflow.IntrTKind_A 001607160700
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001607160700
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001607160700
tb.dut.u_intr_rxerr.IntrTKind_A 001607160700
tb.dut.u_intr_rxf.IntrTKind_A 001607160700
tb.dut.u_intr_rxlvl.IntrTKind_A 001607160700
tb.dut.u_intr_rxoverflow.IntrTKind_A 001607160700
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001607160700
tb.dut.u_intr_txlvl.IntrTKind_A 001607160700
tb.dut.u_intr_txunderflow.IntrTKind_A 001607160700
tb.dut.u_jedec.JedecStKnown_A 0037735884532091722100
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001607160700
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001607160700
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001607160700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 001925754656681027100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001577831001533519300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 001925754656681027100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001577831001533519300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 001925754656681027100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001577831001533519300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 001925754656681027100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001577831001533519300
tb.dut.u_p2s.IoModeChangeValid_A 00377360050844000
tb.dut.u_p2s.IoModeDefault_A 003773600506668300
tb.dut.u_passthrough.AddrSetInStIdle_A 006235623500
tb.dut.u_passthrough.PassThroughStKnown_A 0037735884532091722100
tb.dut.u_passthrough.PayloadSwapConstraint_M 00377358845139617600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00377358845463413300
tb.dut.u_readcmd.MailboxSizeMatch_M 0037735884532091722100
tb.dut.u_readcmd.ValidCmdConfig_A 0037735884522244800
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00377358845843200
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0037735884554000000
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00377358845463413300
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00377358845116907800
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00377358845843200
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00377358845116856500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00377358845116907800
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003773588452338365700
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003773588452338365700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003773588452223987500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0037735884532091722100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003773588452223987500
tb.dut.u_reg.en2addrHit 00192823326716115742900
tb.dut.u_reg.reAfterRv 00192823326716115742400
tb.dut.u_reg.rePulse 00192823326715603396800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001782178200
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001782178200
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001782178200
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001782178200
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001782178200
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001782178200
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001782178200
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001782178200
tb.dut.u_reg.u_socket.NotOverflowed_A 0017285785717285785700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00192823326722864072500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00192823326728187745300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0019282332671343138400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0019282332672335044800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00192823326721076285000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00192823326725852700500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 001928233267192806106700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001782178200
tb.dut.u_reg.u_socket.maxN 001782178200
tb.dut.u_reg.wePulse 001928233267512345600
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00182621900
tb.dut.u_s2p.IoModeDefault_A 003773588456670600
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001607160700
tb.dut.u_scanmode_sync.OutputsKnown_A 001925754656192562251800
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 001925754656192562251800
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003773588456027900
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0037735884570507200
tb.dut.u_spi_tpm.CmdAddrInfo_A 003773588457186500
tb.dut.u_spi_tpm.CmdPowerof2_A 001607160700
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001607160700
tb.dut.u_spi_tpm.DataSelKnown_A 003773600503646355400
tb.dut.u_spi_tpm.HwRegCondition2_a 003773588451746100
tb.dut.u_spi_tpm.HwRegCondition_A 003773588458813400
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003773600503646355400
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003773588458813400
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001607160700
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001607160700
tb.dut.u_spi_tpm.RdPowerof2_A 001607160700
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 003773588458813400
tb.dut.u_spi_tpm.TpmRegCondition_A 003773588458813400
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001607160700
tb.dut.u_spi_tpm.WrDepthSpec_A 001607160700
tb.dut.u_spi_tpm.WrFifoAvailable_A 0037735884552428500
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 001925754656192562074000
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0037735884537735734800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001607160700
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001607160700
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 003773600503637541400
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0019257546568094095200
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001607160700
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 001925754656192562074000
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0037735884537735734800
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001607160700
tb.dut.u_spid_status.BusyBitZero_A 001607160700
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0037735884537735734800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 001925754656192562074000
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001607160700
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001577831001157782953900
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0037735884537735740300
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 001925754656192575304900
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00667396542400
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0056942456815900
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00177817100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001607160700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019257546561161815800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 001925754656480788700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 001925754656192562251800
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001925754656480788700
tb.dut.u_tlul2sram.AddrOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.DataIntgOptions_A 001607160700
tb.dut.u_tlul2sram.ReqOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001607160700
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001607160700
tb.dut.u_tlul2sram.TlOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0019257546562320928100
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 001925754656192562251800
tb.dut.u_tlul2sram.WdataOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.WeOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.WmaskOutKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001607160700
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 001925754656480426700
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 001925754656480426700
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001607160700
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0019257546562320928100
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019257546562320928100
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001607160700
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001607160700
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 0019257546561007542500
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019257546561007542500
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 001925754656480426700
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 001925754656192562251800
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001925754656480426700
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012497412452300
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0012243712198600
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00182822100
tb.dut.u_upload.AddrFifoNeverFull_M 00377358845154600
tb.dut.u_upload.CmdFifoNeverFull_M 00377358845207400
tb.dut.u_upload.CmdFifoPush_A 00377358845207400
tb.dut.u_upload.FifosOnlyOneValid_A 0037735884532091722100
tb.dut.u_upload.PayloadNeverFull_M 0037735884556549000
tb.dut.u_upload.u_addrfifo.MinDepth_A 001607160700
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 001925754656154600
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00377358845154600
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001607160700
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 001925754656154600
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 001925754656154600
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 001925754656154600
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 001925754656154600
tb.dut.u_upload.u_addrfifo.SramRvalid_A 001925754656154600
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0037735884537735883500
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001607160700
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00377358845154600
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00377358845154600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001607160700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0037735884556911000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0037735884556911000
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0037735884532091722100
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0037735884532091722100
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001607160700
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 001925754656207400
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00377358845207400
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001607160700
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 001925754656207400
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 001925754656207400
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 001925754656207400
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 001925754656207400
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 001925754656207400
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0037735884537735883500
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001607160700
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00377358845207400
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00377358845207400
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001607160700
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001607160700
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 001925754656207400
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00377358845207400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0015778310018350713
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001925754656001607

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 001928234393320350132035010
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001928234393357135710
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001928234393347834780
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001928234393251125110
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019282343936056050
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001928234393179617960
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001928234393207920790
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001928234393955195510
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00192823439337821864378218640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00192823439355184294551842941762

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 001928234393320350132035010
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001928234393357135710
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001928234393347834780
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001928234393251125110
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019282343936056050
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001928234393179617960
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001928234393207920790
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001928234393955195510
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00192823439337821864378218640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00192823439355184294551842941762

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