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
Uncovered263.90
Success64196.10
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 00326460952000
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 001275813408000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001275813408000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001275813408000
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_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 001558456418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001558456418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001558456418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001558456418001588
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 001268738761000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00260545146000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00326459726000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00326459726000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00326459726000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00326459726000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00326459726000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00326459726000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 001558456418155832840400
tb.dut.CioSdoEnOKnown 001558456418155832840400
tb.dut.CioSdoEnOffWhenInactive 001558456418155832840400
tb.dut.CsPulseWidth_A 001558456418148454749600
tb.dut.FpvSecCmRegWeOnehotCheck_A 0015584564189000
tb.dut.IntrReadbufFlipOKnown 001558456418155832840400
tb.dut.IntrReadbufWatermarkOKnown 001558456418155832840400
tb.dut.IntrRxerrOKnown 001558456418155832840400
tb.dut.IntrRxfOKnown 001558456418155832840400
tb.dut.IntrRxlvlOKnown 001558456418155832840400
tb.dut.IntrRxoverflowOKnown 001558456418155832840400
tb.dut.IntrTpmHeaderNotEmptyOKnown 001558456418155832840400
tb.dut.IntrTxlvlOKnown 001558456418155832840400
tb.dut.IntrTxunderflowOKnown 001558456418155832840400
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 001558456418155832840400
tb.dut.IntrUploadPayloadNotEmptyOKnown 001558456418155832840400
tb.dut.IntrUploadPayloadOverflowOKnown 001558456418155832840400
tb.dut.PayloadStartIdxWidthMatch_A 001588158800
tb.dut.SpiModeKnown_A 001558456418155832840400
tb.dut.TpmEnableWhenTpmCsbIdle_M 00155845641831200
tb.dut.TpmRdfifoNotFull_A 00155845641823248100
tb.dut.TpmWrPtrMatch_A 001588158800
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 001558456418972539700
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 001558456418189600
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 001558456418143100
tb.dut.scanmodeKnown 001558456418155845641800
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 001560998868845000
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 001560998868296000
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 001560998868281900
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 0015609988681156000
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 0015609988681087300
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 0015609988681222300
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 0015609988681225600
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 0015609988681251100
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 0015609988681289400
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 0015609988681179200
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 0015609988681216300
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 001560998868628500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 001560998868640300
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 001560998868609200
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 001560998868599500
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 001560998868609500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 001560998868611000
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 001560998868606300
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 001560998868615700
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 001560998868637800
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 001560998868619300
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 001560998868639500
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 001560998868604000
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 001560998868604200
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 001560998868631900
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 001560998868640100
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 001560998868651100
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 001560998868549900
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 001560998868574100
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 001560998868642700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 001560998868610300
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 001560998868602600
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 001560998868640800
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 001560998868621700
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 001560998868654600
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 001560998868313900
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 001560998868325000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 001560998868333300
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 001560998868331300
tb.dut.spi_device_csr_assert.control_rd_A 001560998868400300
tb.dut.spi_device_csr_assert.fifo_level_rd_A 001560998868318200
tb.dut.spi_device_csr_assert.intercept_en_rd_A 001560998868391500
tb.dut.spi_device_csr_assert.intr_enable_rd_A 001560998868642400
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 001560998868327200
tb.dut.spi_device_csr_assert.jedec_id_rd_A 001560998868327400
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 001560998868277600
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 001560998868292900
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 001560998868288400
tb.dut.spi_device_csr_assert.read_threshold_rd_A 001560998868296400
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 001560998868341700
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 001560998868367000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 001560998868282400
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 001560998868411300
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 001560998868316100
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 001560998868302400
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 001560998868297600
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 001560998868295500
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 001560998868279100
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 001560998868284700
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 001560998868292600
tb.dut.spi_device_csr_assert.txf_addr_rd_A 001560998868326400
tb.dut.tlul_assert_device.aKnown_A 00156099886819518297800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 001560998868156082510700
tb.dut.tlul_assert_device.aReadyKnown_A 001560998868156082510700
tb.dut.tlul_assert_device.dKnown_A 00156099886822549796800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 001560998868156082510700
tb.dut.tlul_assert_device.dReadyKnown_A 001560998868156082510700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001763176300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0015609999561370322400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 001560998868789500
tb.dut.tlul_assert_device.gen_device.contigMask_M 00156099995618795093300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00156099995620415377600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 001560998868723300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00156099995619518298600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00156099995622549797400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00156099995619518298600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00156099995622549797400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00156099995622549797400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00156099995622549797400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 001560998868608400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 001560998868681300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001763176300
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0048165148006300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0032646041432645882600
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0032645916932645777200
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0032645972632645830300
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0032646095232645936400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0032645972627703397300
tb.dut.u_cmdparse.OnlyOneDatapath_A 003264597266431800
tb.dut.u_cmdparse.SelDpKnown_A 0032645972627703397300
tb.dut.u_cmdparse.StKnown_A 0032645972627703397300
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0048006347881600
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00155845641857700
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0032645972657700
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00155845641837200
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0032645972637200
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001588158800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0012758134088770693
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001275813408747950600
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001275813408362677400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001275813408123727735800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001275813408362677400
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001275813408127580681900
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0032645972632645824200
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001588158800
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0032646095232645795400
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001275813408127580658000
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001588158800
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001588158800
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001588158800
tb.dut.u_intr_payload_overflow.IntrTKind_A 001588158800
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001588158800
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001588158800
tb.dut.u_intr_rxerr.IntrTKind_A 001588158800
tb.dut.u_intr_rxf.IntrTKind_A 001588158800
tb.dut.u_intr_rxlvl.IntrTKind_A 001588158800
tb.dut.u_intr_rxoverflow.IntrTKind_A 001588158800
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001588158800
tb.dut.u_intr_txlvl.IntrTKind_A 001588158800
tb.dut.u_intr_txunderflow.IntrTKind_A 001588158800
tb.dut.u_jedec.JedecStKnown_A 0032645972627703397300
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001588158800
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001588158800
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001588158800
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 001558456418584103300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001275813408434480500
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 001558456418584103300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001275813408434480500
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 001558456418584103300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001275813408434480500
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 001558456418584103300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001275813408434480500
tb.dut.u_p2s.IoModeChangeValid_A 00326460952827800
tb.dut.u_p2s.IoModeDefault_A 003264609524972000
tb.dut.u_passthrough.AddrSetInStIdle_A 006491649100
tb.dut.u_passthrough.PassThroughStKnown_A 0032645972627703397300
tb.dut.u_passthrough.PayloadSwapConstraint_M 00326459726123400000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00326459726467989200
tb.dut.u_readcmd.MailboxSizeMatch_M 0032645972627703397300
tb.dut.u_readcmd.ValidCmdConfig_A 0032645972621435900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00326459726813700
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0032645972646556800
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00326459726467989200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00326459726118019900
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00326459726813700
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00326459726117964900
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00326459726118019900
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003264597262342158100
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003264597262342158100
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003264597262226579300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0032645972627703397300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003264597262226579300
tb.dut.u_reg.en2addrHit 00156099886813417824300
tb.dut.u_reg.reAfterRv 00156099886813417823900
tb.dut.u_reg.rePulse 00156099886812991785700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001763176300
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001763176300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001763176300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001763176300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001763176300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001763176300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001763176300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001763176300
tb.dut.u_reg.u_socket.NotOverflowed_A 0014397785214397785200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00156099886819518297800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00156099886822549796800
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0015609988681141690900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0015609988681982998400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00156099886817993207100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00156099886820566798400
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 001560998868156082510700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001763176300
tb.dut.u_reg.u_socket.maxN 001763176300
tb.dut.u_reg.wePulse 001560998868426038200
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00174916100
tb.dut.u_rxf_overflow.DstPulseCheck_A 001558456418445720000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 0026054386724400
tb.dut.u_s2p.IoModeDefault_A 003264597264967900
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001588158800
tb.dut.u_scanmode_sync.OutputsKnown_A 001558456418155832840400
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 001558456418155832840400
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003264597265979300
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0032645972667413600
tb.dut.u_spi_tpm.CmdAddrInfo_A 003264597266809700
tb.dut.u_spi_tpm.CmdPowerof2_A 001588158800
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001588158800
tb.dut.u_spi_tpm.DataSelKnown_A 003264609523695079600
tb.dut.u_spi_tpm.HwRegCondition2_a 003264597261512400
tb.dut.u_spi_tpm.HwRegCondition_A 003264597268426700
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003264609523695079600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003264597268426700
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001588158800
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001588158800
tb.dut.u_spi_tpm.RdPowerof2_A 001588158800
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 003264597268426700
tb.dut.u_spi_tpm.TpmRegCondition_A 003264597268426700
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001588158800
tb.dut.u_spi_tpm.WrDepthSpec_A 001588158800
tb.dut.u_spi_tpm.WrFifoAvailable_A 0032645972651227100
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 001558456418155832670300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0032645972632645829000
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001588158800
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001588158800
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 003264609523686652600
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0015584564187356783200
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001588158800
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 001558456418155832670300
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0032645972632645829000
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001588158800
tb.dut.u_spid_status.BusyBitZero_A 001588158800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0032645972632645829000
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 001558456418155832670300
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001588158800
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001275813408127581196100
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0032645972632645830300
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 001558456418155845483000
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00654726417500
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0048006347881600
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00170111300
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001588158800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001558456418972872400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 001558456418388769100
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 001558456418155832840400
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001558456418388769100
tb.dut.u_tlul2sram.AddrOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.DataIntgOptions_A 001588158800
tb.dut.u_tlul2sram.ReqOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001588158800
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001588158800
tb.dut.u_tlul2sram.TlOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0015584564181972745400
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 001558456418155832840400
tb.dut.u_tlul2sram.WdataOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.WeOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.WmaskOutKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001588158800
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 001558456418388436400
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 001558456418388436400
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001588158800
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0015584564181972745400
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0015584564181972745400
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001588158800
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001588158800
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 001558456418829981300
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001558456418829981300
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 001558456418388436400
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 001558456418155832840400
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001558456418388436400
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0010656610613900
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0010511110468400
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00175116300
tb.dut.u_upload.AddrFifoNeverFull_M 00326459726143100
tb.dut.u_upload.CmdFifoNeverFull_M 00326459726189600
tb.dut.u_upload.CmdFifoPush_A 00326459726189600
tb.dut.u_upload.FifosOnlyOneValid_A 0032645972627703397300
tb.dut.u_upload.PayloadNeverFull_M 0032645972648874600
tb.dut.u_upload.u_addrfifo.MinDepth_A 001588158800
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 001558456418143100
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00326459726143100
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001588158800
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 001558456418143100
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 001558456418143100
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 001558456418143100
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 001558456418143100
tb.dut.u_upload.u_addrfifo.SramRvalid_A 001558456418143100
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0032645972632645972400
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001588158800
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00326459726143100
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00326459726143100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001588158800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0032645972649207300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0032645972649207300
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0032645972627703397300
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0032645972627703397300
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001588158800
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 001558456418189600
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00326459726189600
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001588158800
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 001558456418189600
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 001558456418189600
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 001558456418189600
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 001558456418189600
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 001558456418189600
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0032645972632645972400
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001588158800
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00326459726189600
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00326459726189600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001588158800
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001588158800
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 001558456418189600
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00326459726189600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0012758134088770693
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001558456418001588

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 001560999956243218424321840
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001560999956212421240
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001560999956209020900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001560999956141514150
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0015609999565045040
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001560999956101510150
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0015609999567547540
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00156099995613383133830
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00156099995638712754387127540
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00156099995650460171504601711743

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 001560999956243218424321840
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001560999956212421240
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001560999956209020900
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001560999956141514150
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0015609999565045040
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001560999956101510150
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0015609999567547540
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00156099995613383133830
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00156099995638712754387127540
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00156099995650460171504601711743

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