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 00394101544000
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 001682880266000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001682880266000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001682880266000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 00540142097000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00167792249000
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 002049979927000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 002049979927000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 002049979927000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002049979927001601
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 00540142097000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00167793669000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00394100318000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00394100318000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00394100318000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00394100318000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00394100318000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00394100318000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 002049979927204984584600
tb.dut.CioSdoEnOKnown 002049979927204984584600
tb.dut.CioSdoEnOffWhenInactive 002049979927204984584600
tb.dut.CsPulseWidth_A 002049979927196741743800
tb.dut.FpvSecCmRegWeOnehotCheck_A 00204997992710000
tb.dut.IntrReadbufFlipOKnown 002049979927204984584600
tb.dut.IntrReadbufWatermarkOKnown 002049979927204984584600
tb.dut.IntrRxerrOKnown 002049979927204984584600
tb.dut.IntrRxfOKnown 002049979927204984584600
tb.dut.IntrRxlvlOKnown 002049979927204984584600
tb.dut.IntrRxoverflowOKnown 002049979927204984584600
tb.dut.IntrTpmHeaderNotEmptyOKnown 002049979927204984584600
tb.dut.IntrTxlvlOKnown 002049979927204984584600
tb.dut.IntrTxunderflowOKnown 002049979927204984584600
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 002049979927204984584600
tb.dut.IntrUploadPayloadNotEmptyOKnown 002049979927204984584600
tb.dut.IntrUploadPayloadOverflowOKnown 002049979927204984584600
tb.dut.PayloadStartIdxWidthMatch_A 001601160100
tb.dut.SpiModeKnown_A 002049979927204984584600
tb.dut.TpmEnableWhenTpmCsbIdle_M 00204997992733300
tb.dut.TpmRdfifoNotFull_A 00204997992724666300
tb.dut.TpmWrPtrMatch_A 001601160100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0020499799271168557200
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 002049979927210000
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 002049979927159400
tb.dut.scanmodeKnown 002049979927204997992700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 002052592437819700
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 002052592437183800
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 002052592437188400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 002052592437868900
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 002052592437814000
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 002052592437931800
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 002052592437786700
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 002052592437900800
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 002052592437692300
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 002052592437894600
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 002052592437861400
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 002052592437415500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 002052592437360900
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 002052592437406300
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 002052592437377600
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 002052592437442900
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 002052592437434300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 002052592437463900
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 002052592437376300
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 002052592437383200
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 002052592437392000
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 002052592437410500
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 002052592437436300
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 002052592437434100
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 002052592437432100
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 002052592437416400
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 002052592437422500
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 002052592437446600
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 002052592437426600
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 002052592437423800
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 002052592437438700
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 002052592437419800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 002052592437409700
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 002052592437377200
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 002052592437422600
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 002052592437208600
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 002052592437212400
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 002052592437220200
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 002052592437218600
tb.dut.spi_device_csr_assert.control_rd_A 002052592437286100
tb.dut.spi_device_csr_assert.fifo_level_rd_A 002052592437204500
tb.dut.spi_device_csr_assert.intercept_en_rd_A 002052592437237400
tb.dut.spi_device_csr_assert.intr_enable_rd_A 002052592437445200
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 002052592437209900
tb.dut.spi_device_csr_assert.jedec_id_rd_A 002052592437218500
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 002052592437191500
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 002052592437184100
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 002052592437200600
tb.dut.spi_device_csr_assert.read_threshold_rd_A 002052592437193700
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 002052592437217300
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 002052592437253900
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 002052592437191000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 002052592437267100
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 002052592437214200
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 002052592437190500
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 002052592437186000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 002052592437196100
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 002052592437187500
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 002052592437194000
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 002052592437197800
tb.dut.spi_device_csr_assert.txf_addr_rd_A 002052592437211200
tb.dut.tlul_assert_device.aKnown_A 00205259243723451319500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 002052592437205241425800
tb.dut.tlul_assert_device.aReadyKnown_A 002052592437205241425800
tb.dut.tlul_assert_device.dKnown_A 00205259243727288968100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 002052592437205241425800
tb.dut.tlul_assert_device.dReadyKnown_A 002052592437205241425800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001776177600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0020525935341616607700
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 002052592437831900
tb.dut.tlul_assert_device.gen_device.contigMask_M 00205259353422611403400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00205259353424820157300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 002052592437810700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00205259353423451320600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00205259353427288969300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00205259353423451320600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00205259353427288969300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00205259353427288969300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00205259353427288969300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 002052592437651700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 002052592437685100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001776177600
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0056089755929600
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0039410098139409938000
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0039409972839409831900
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0039410031839409888300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0039410154339409994200
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0039410031834202621900
tb.dut.u_cmdparse.OnlyOneDatapath_A 003941003186386200
tb.dut.u_cmdparse.SelDpKnown_A 0039410031834202621900
tb.dut.u_cmdparse.StKnown_A 0039410031834202621900
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0055929655803600
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00204997992754100
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0039410031854100
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00204997992737600
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0039410031837600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001601160100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0016828802668420712
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001682880266928610700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001682880266450291600
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001682880266164575167400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001682880266450291600
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001682880266168287342900
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0039410031839409876200
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001601160100
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0039410154339409845600
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001682880266168287342700
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001601160100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001601160100
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001601160100
tb.dut.u_intr_payload_overflow.IntrTKind_A 001601160100
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001601160100
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001601160100
tb.dut.u_intr_rxerr.IntrTKind_A 001601160100
tb.dut.u_intr_rxf.IntrTKind_A 001601160100
tb.dut.u_intr_rxlvl.IntrTKind_A 001601160100
tb.dut.u_intr_rxoverflow.IntrTKind_A 001601160100
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001601160100
tb.dut.u_intr_txlvl.IntrTKind_A 001601160100
tb.dut.u_intr_txunderflow.IntrTKind_A 001601160100
tb.dut.u_jedec.JedecStKnown_A 0039410031834202621900
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001601160100
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001601160100
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001601160100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 002049979927686632200
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001682880266535264000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 002049979927686632200
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001682880266535264000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 002049979927686632200
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001682880266535264000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 002049979927686632200
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001682880266535264000
tb.dut.u_p2s.IoModeChangeValid_A 00394101543875500
tb.dut.u_p2s.IoModeDefault_A 003941015436596000
tb.dut.u_passthrough.AddrSetInStIdle_A 007486748600
tb.dut.u_passthrough.PassThroughStKnown_A 0039410031834202621900
tb.dut.u_passthrough.PayloadSwapConstraint_M 00394100318145565600
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00394100318519900000
tb.dut.u_readcmd.MailboxSizeMatch_M 0039410031834202621900
tb.dut.u_readcmd.ValidCmdConfig_A 0039410031823642400
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00394100318896000
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0039410031853741800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00394100318519900000
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00394100318131098600
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00394100318896000
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00394100318131039900
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00394100318131098600
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003941003182606148300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003941003182606148300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003941003182477737700
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0039410031834202621900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003941003182477737700
tb.dut.u_reg.en2addrHit 00205259243716954570500
tb.dut.u_reg.reAfterRv 00205259243716954570400
tb.dut.u_reg.rePulse 00205259243716432525500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001776177600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001776177600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001776177600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001776177600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001776177600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001776177600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001776177600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001776177600
tb.dut.u_reg.u_socket.NotOverflowed_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00205259243723451319500
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00205259243727288968100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0020525924371361484400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0020525924372320227600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00205259243721640293000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00205259243724968740500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 002052592437205241425800
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001776177600
tb.dut.u_reg.u_socket.maxN 001776177600
tb.dut.u_reg.wePulse 002052592437522044900
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184324200
tb.dut.u_s2p.IoModeDefault_A 003941003186596600
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001601160100
tb.dut.u_scanmode_sync.OutputsKnown_A 002049979927204984584600
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 002049979927204984584600
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003941003186329800
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0039410031872655200
tb.dut.u_spi_tpm.CmdAddrInfo_A 003941003187385800
tb.dut.u_spi_tpm.CmdPowerof2_A 001601160100
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001601160100
tb.dut.u_spi_tpm.DataSelKnown_A 003941015433541559800
tb.dut.u_spi_tpm.HwRegCondition2_a 003941003181730500
tb.dut.u_spi_tpm.HwRegCondition_A 003941003189081900
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003941015433541559800
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003941003189081900
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001601160100
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001601160100
tb.dut.u_spi_tpm.RdPowerof2_A 001601160100
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 003941003189081900
tb.dut.u_spi_tpm.TpmRegCondition_A 003941003189081900
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001601160100
tb.dut.u_spi_tpm.WrDepthSpec_A 001601160100
tb.dut.u_spi_tpm.WrFifoAvailable_A 0039410031855023800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 002049979927204984405300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0039410031839409881200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001601160100
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001601160100
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 003941015433532477500
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0020499799278218610100
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001601160100
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 002049979927204984405300
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0039410031839409881200
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001601160100
tb.dut.u_spid_status.BusyBitZero_A 001601160100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0039410031839409881200
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 002049979927204984405300
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001601160100
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001682880266168287880800
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0039410031839409888300
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 002049979927204997832600
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00651156380600
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0055929655803600
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00179319200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001601160100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0020499799271168926600
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 002049979927482294400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 002049979927204984584600
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 002049979927482294400
tb.dut.u_tlul2sram.AddrOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.DataIntgOptions_A 001601160100
tb.dut.u_tlul2sram.ReqOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001601160100
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001601160100
tb.dut.u_tlul2sram.TlOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0020499799272304705800
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 002049979927204984584600
tb.dut.u_tlul2sram.WdataOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.WeOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.WmaskOutKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001601160100
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 002049979927481925000
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 002049979927481925000
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001601160100
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0020499799272304705800
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0020499799272304705800
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001601160100
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001601160100
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 002049979927992065900
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002049979927992065900
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 002049979927481925000
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 002049979927204984584600
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002049979927481925000
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012128812083200
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0011943111897500
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184324200
tb.dut.u_upload.AddrFifoNeverFull_M 00394100318159400
tb.dut.u_upload.CmdFifoNeverFull_M 00394100318210000
tb.dut.u_upload.CmdFifoPush_A 00394100318210000
tb.dut.u_upload.FifosOnlyOneValid_A 0039410031834202621900
tb.dut.u_upload.PayloadNeverFull_M 0039410031856575500
tb.dut.u_upload.u_addrfifo.MinDepth_A 001601160100
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 002049979927159400
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00394100318159400
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001601160100
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 002049979927159400
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 002049979927159400
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 002049979927159400
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 002049979927159400
tb.dut.u_upload.u_addrfifo.SramRvalid_A 002049979927159400
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0039410031839410030800
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001601160100
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00394100318159400
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00394100318159400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001601160100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0039410031856944900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0039410031856944900
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0039410031834202621900
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0039410031834202621900
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001601160100
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 002049979927210000
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00394100318210000
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001601160100
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 002049979927210000
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 002049979927210000
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 002049979927210000
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 002049979927210000
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 002049979927210000
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0039410031839410030800
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001601160100
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00394100318210000
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00394100318210000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001601160100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001601160100
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 002049979927210000
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00394100318210000

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0016828802668420712
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002049979927001601

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 002052593534319418531941850
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 002052593534157315730
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002052593534153815380
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 002052593534110311030
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0020525935344454450
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0020525935347917910
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0020525935347907900
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00205259353415602156020
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00205259353439543040395430400
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00205259353463719149637191491756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002052593534319418531941850
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 002052593534157315730
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002052593534153815380
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 002052593534110311030
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0020525935344454450
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0020525935347917910
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0020525935347907900
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00205259353415602156020
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00205259353439543040395430400
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00205259353463719149637191491756

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