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 00386538025000
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 001477438707000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001477438707000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001477438707000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 00649964973000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00192490671000
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 001929928785000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001929928785000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001929928785000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001929928785001607
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 00649964973000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00192492102000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00386536807000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00386536807000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00386536807000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00386536807000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00386536807000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00386536807000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 001929928785192979255400
tb.dut.CioSdoEnOKnown 001929928785192979255400
tb.dut.CioSdoEnOffWhenInactive 001929928785192979255400
tb.dut.CsPulseWidth_A 001929928785183236032900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00192992878511000
tb.dut.IntrReadbufFlipOKnown 001929928785192979255400
tb.dut.IntrReadbufWatermarkOKnown 001929928785192979255400
tb.dut.IntrRxerrOKnown 001929928785192979255400
tb.dut.IntrRxfOKnown 001929928785192979255400
tb.dut.IntrRxlvlOKnown 001929928785192979255400
tb.dut.IntrRxoverflowOKnown 001929928785192979255400
tb.dut.IntrTpmHeaderNotEmptyOKnown 001929928785192979255400
tb.dut.IntrTxlvlOKnown 001929928785192979255400
tb.dut.IntrTxunderflowOKnown 001929928785192979255400
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 001929928785192979255400
tb.dut.IntrUploadPayloadNotEmptyOKnown 001929928785192979255400
tb.dut.IntrUploadPayloadOverflowOKnown 001929928785192979255400
tb.dut.PayloadStartIdxWidthMatch_A 001607160700
tb.dut.SpiModeKnown_A 001929928785192979255400
tb.dut.TpmEnableWhenTpmCsbIdle_M 00192992878533900
tb.dut.TpmRdfifoNotFull_A 00192992878528331700
tb.dut.TpmWrPtrMatch_A 001607160700
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0019299287851163633200
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 001929928785249400
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 001929928785185600
tb.dut.scanmodeKnown 001929928785192992878500
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 001932431992901700
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 001932431992268800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 001932431992251400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 001932431992891100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 001932431992897600
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 001932431992730100
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 001932431992780800
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 001932431992863500
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 001932431992757800
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 001932431992739700
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 001932431992734600
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 001932431992479000
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 001932431992464700
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 001932431992476200
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 001932431992425500
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 001932431992487500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 001932431992475600
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 001932431992479600
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 001932431992489600
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 001932431992497800
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 001932431992472200
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 001932431992480900
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 001932431992467200
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 001932431992494100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 001932431992451800
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 001932431992448000
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 001932431992469400
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 001932431992467000
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 001932431992457600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 001932431992500600
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 001932431992450200
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 001932431992440100
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 001932431992479300
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 001932431992499600
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 001932431992469700
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 001932431992291000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 001932431992289600
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 001932431992279600
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 001932431992279000
tb.dut.spi_device_csr_assert.control_rd_A 001932431992323700
tb.dut.spi_device_csr_assert.fifo_level_rd_A 001932431992291200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 001932431992340200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 001932431992491600
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 001932431992269000
tb.dut.spi_device_csr_assert.jedec_id_rd_A 001932431992301900
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 001932431992257500
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 001932431992266500
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 001932431992270500
tb.dut.spi_device_csr_assert.read_threshold_rd_A 001932431992270300
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 001932431992274100
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 001932431992321600
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 001932431992281100
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 001932431992331400
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 001932431992282100
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 001932431992274000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 001932431992258800
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 001932431992261200
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 001932431992268600
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 001932431992255300
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 001932431992263400
tb.dut.spi_device_csr_assert.txf_addr_rd_A 001932431992280300
tb.dut.tlul_assert_device.aKnown_A 00193243199223105681900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 001932431992193225447200
tb.dut.tlul_assert_device.aReadyKnown_A 001932431992193225447200
tb.dut.tlul_assert_device.dKnown_A 00193243199227060070600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 001932431992193225447200
tb.dut.tlul_assert_device.dReadyKnown_A 001932431992193225447200
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 0019324331001720127400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 001932431992874600
tb.dut.tlul_assert_device.gen_device.contigMask_M 00193243310022218085800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00193243310024332899200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 001932431992860800
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00193243310023105683200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00193243310027060071400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00193243310023105683200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00193243310027060071400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00193243310027060071400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00193243310027060071400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 001932431992651900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 001932431992712100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001782178200
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0054291254130500
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0038653747538653586800
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0038653621938653480700
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0038653680738653537100
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0038653802338653641600
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0038653680733503363400
tb.dut.u_cmdparse.OnlyOneDatapath_A 003865368077740600
tb.dut.u_cmdparse.SelDpKnown_A 0038653680733503363400
tb.dut.u_cmdparse.StKnown_A 0038653680733503363400
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0054130554004200
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00192992878557600
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0038653680757600
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00192992878533500
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0038653680733500
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001477438707143850119800
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 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0014774387075830707
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001477438707884670700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001477438707427680700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001477438707143850119800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001477438707427680700
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001477438707147743203500
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0038653680738653526300
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001607160700
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0038653802338653494100
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001477438707147743183800
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 0038653680733503363400
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 001929928785701959000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001477438707528260700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 001929928785701959000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001477438707528260700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 001929928785701959000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001477438707528260700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 001929928785701959000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001477438707528260700
tb.dut.u_p2s.IoModeChangeValid_A 00386538023996900
tb.dut.u_p2s.IoModeDefault_A 003865380236392000
tb.dut.u_passthrough.AddrSetInStIdle_A 009705970500
tb.dut.u_passthrough.PassThroughStKnown_A 0038653680733503363400
tb.dut.u_passthrough.PayloadSwapConstraint_M 00386536807222562400
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00386536807627471300
tb.dut.u_readcmd.MailboxSizeMatch_M 0038653680733503363400
tb.dut.u_readcmd.ValidCmdConfig_A 0038653680727313300
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 003865368071031500
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0038653680752534100
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00386536807627471300
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00386536807158149800
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 003865368071031500
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00386536807158086800
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00386536807158149800
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003865368073191595700
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003865368073191595700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003865368073036540400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0038653680733503363400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003865368073036540400
tb.dut.u_reg.en2addrHit 00193243199216158717400
tb.dut.u_reg.reAfterRv 00193243199216158717200
tb.dut.u_reg.rePulse 00193243199215595555200
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 001932431992193225447200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00193243199223105681900
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 001932431992193225447200
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 00193243199227060070600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 001932431992193225447200
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 0019324319921368378800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 001932431992193225447200
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 0019324319922318220500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 001932431992193225447200
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 00193243199221265878500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 001932431992193225447200
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 00193243199224741850100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 001932431992193225447200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 001932431992193225447200
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 001932431992563162000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184623900
tb.dut.u_s2p.IoModeDefault_A 003865368076393100
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001607160700
tb.dut.u_scanmode_sync.OutputsKnown_A 001929928785192979255400
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 001929928785192979255400
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003865368077289200
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0038653680778479200
tb.dut.u_spi_tpm.CmdAddrInfo_A 003865368077862900
tb.dut.u_spi_tpm.CmdPowerof2_A 001607160700
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001607160700
tb.dut.u_spi_tpm.DataSelKnown_A 003865380233705830400
tb.dut.u_spi_tpm.HwRegCondition2_a 003865368071581300
tb.dut.u_spi_tpm.HwRegCondition_A 003865368079809900
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003865380233705830400
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003865368079809900
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 003865368079809900
tb.dut.u_spi_tpm.TpmRegCondition_A 003865368079809900
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001607160700
tb.dut.u_spi_tpm.WrDepthSpec_A 001607160700
tb.dut.u_spi_tpm.WrFifoAvailable_A 0038653680763102900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 001929928785192979075600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0038653680738653531100
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 003865380233696020500
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0019299287859718461500
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001607160700
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 001929928785192979075600
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0038653680738653531100
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 0038653680738653531100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 001929928785192979075600
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 001477438707147743724500
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0038653680738653537100
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 001929928785192992717800
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00786067729300
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0054130554004200
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00179819100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001929928785192979255400
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 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019299287851164068200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 001929928785462109200
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 001929928785192979255400
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001929928785462109200
tb.dut.u_tlul2sram.AddrOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.DataIntgOptions_A 001607160700
tb.dut.u_tlul2sram.ReqOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001607160700
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001607160700
tb.dut.u_tlul2sram.TlOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0019299287852309522300
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 001929928785192979255400
tb.dut.u_tlul2sram.WdataOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.WeOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.WmaskOutKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001607160700
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 001929928785461674200
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 001929928785461674200
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001607160700
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0019299287852309522300
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019299287852309522300
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 001929928785959337200
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001929928785959337200
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 001929928785461674200
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 001929928785192979255400
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001929928785461674200
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012343112297600
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0012214612169100
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184824100
tb.dut.u_upload.AddrFifoNeverFull_M 00386536807185600
tb.dut.u_upload.CmdFifoNeverFull_M 00386536807249400
tb.dut.u_upload.CmdFifoPush_A 00386536807249400
tb.dut.u_upload.FifosOnlyOneValid_A 0038653680733503363400
tb.dut.u_upload.PayloadNeverFull_M 0038653680770835700
tb.dut.u_upload.u_addrfifo.MinDepth_A 001607160700
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 001929928785185600
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00386536807185600
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001607160700
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 001929928785185600
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 001929928785185600
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 001929928785185600
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 001929928785185600
tb.dut.u_upload.u_addrfifo.SramRvalid_A 001929928785185600
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0038653680738653680100
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001607160700
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00386536807185600
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00386536807185600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0038653680733503363400
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 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0038653680733503363400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0038653680733503363400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0038653680771270700
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0038653680733503363400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0038653680771270700
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0038653680733503363400
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0038653680733503363400
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0038653680733503363400
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001607160700
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 001929928785249400
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00386536807249400
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001607160700
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 001929928785249400
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 001929928785249400
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 001929928785249400
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 001929928785249400
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 001929928785249400
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0038653680738653680100
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001607160700
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00386536807249400
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00386536807249400
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 001929928785249400
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00386536807249400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0014774387075830707
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001929928785001607

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 001932433100314720331472030
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001932433100382438240
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001932433100380738070
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001932433100267126710
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019324331002982980
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001932433100202520250
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0019324331006566560
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00193243310011004110040
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00193243310043465511434655110
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00193243310062747151627471511762

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 001932433100314720331472030
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001932433100382438240
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001932433100380738070
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001932433100267126710
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019324331002982980
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001932433100202520250
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0019324331006566560
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00193243310011004110040
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00193243310043465511434655110
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00193243310062747151627471511762

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