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
Uncovered8813.19
Success57986.81
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 00523662425000
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 002147483647000
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 002147483647000
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 002147483647000
tb.dut.spi_device_csr_assert.control_rd_A 002147483647000
tb.dut.spi_device_csr_assert.fifo_level_rd_A 002147483647000
tb.dut.spi_device_csr_assert.intercept_en_rd_A 002147483647000
tb.dut.spi_device_csr_assert.intr_enable_rd_A 002147483647000
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 002147483647000
tb.dut.spi_device_csr_assert.jedec_id_rd_A 002147483647000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 002147483647000
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 002147483647000
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 002147483647000
tb.dut.spi_device_csr_assert.read_threshold_rd_A 002147483647000
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 002147483647000
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 002147483647000
tb.dut.spi_device_csr_assert.txf_addr_rd_A 002147483647000
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 001451396031000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001451396031000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001451396031000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 001333352782000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00318699422000
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 002147483647000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 002147483647000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 002147483647000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002147483647001600
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 001333352782000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00318700976000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00523661164000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00523661164000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00523661164000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00523661164000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00523661164000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00523661164000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 002147483647214748364700
tb.dut.CioSdoEnOKnown 002147483647214748364700
tb.dut.CioSdoEnOffWhenInactive 002147483647214748364700
tb.dut.CsPulseWidth_A 002147483647214748364700
tb.dut.FpvSecCmRegWeOnehotCheck_A 00214748364710000
tb.dut.IntrReadbufFlipOKnown 002147483647214748364700
tb.dut.IntrReadbufWatermarkOKnown 002147483647214748364700
tb.dut.IntrRxerrOKnown 002147483647214748364700
tb.dut.IntrRxfOKnown 002147483647214748364700
tb.dut.IntrRxlvlOKnown 002147483647214748364700
tb.dut.IntrRxoverflowOKnown 002147483647214748364700
tb.dut.IntrTpmHeaderNotEmptyOKnown 002147483647214748364700
tb.dut.IntrTxlvlOKnown 002147483647214748364700
tb.dut.IntrTxunderflowOKnown 002147483647214748364700
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 002147483647214748364700
tb.dut.IntrUploadPayloadNotEmptyOKnown 002147483647214748364700
tb.dut.IntrUploadPayloadOverflowOKnown 002147483647214748364700
tb.dut.PayloadStartIdxWidthMatch_A 001600160000
tb.dut.SpiModeKnown_A 002147483647214748364700
tb.dut.TpmEnableWhenTpmCsbIdle_M 00214748364738800
tb.dut.TpmRdfifoNotFull_A 00214748364729721600
tb.dut.TpmWrPtrMatch_A 001600160000
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0021474836471454880900
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 002147483647444100
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 002147483647330800
tb.dut.scanmodeKnown 002147483647214748364700
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 002147483647548700
tb.dut.tlul_assert_device.aKnown_A 00214748364711430046800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 002147483647214748364700
tb.dut.tlul_assert_device.aReadyKnown_A 002147483647214748364700
tb.dut.tlul_assert_device.dKnown_A 00214748364711025212700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 002147483647214748364700
tb.dut.tlul_assert_device.dReadyKnown_A 002147483647214748364700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001760176000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0021474836471618671600
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 002147483647597400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00214748364710605111000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0021474836479613880700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 002147483647518400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00214748364711430050400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00214748364711025212700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00214748364711430050400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00214748364711025212700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00214748364711025212700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00214748364711025212700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 002147483647527000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 002147483647708800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001760176000
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0073059972899900
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0052366193452366033400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0052366072352365931400
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0052366116452365975500
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0052366242552366082500
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0052366116447763508600
tb.dut.u_cmdparse.OnlyOneDatapath_A 0052366116412880300
tb.dut.u_cmdparse.SelDpKnown_A 0052366116447763508600
tb.dut.u_cmdparse.StKnown_A 0052366116447763508600
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0072899972773300
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00214748364733600
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0052366116433600
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00214748364724000
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0052366116424000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001600160000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0014513960311000686
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0014513960311030015700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001451396031495323500
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001451396031140881965800
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001451396031495323500
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001451396031145138897300
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0052366116452365965600
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001600160000
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0052366242552365936700
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001451396031145138957900
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001600160000
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001600160000
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001600160000
tb.dut.u_intr_payload_overflow.IntrTKind_A 001600160000
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001600160000
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001600160000
tb.dut.u_intr_rxerr.IntrTKind_A 001600160000
tb.dut.u_intr_rxf.IntrTKind_A 001600160000
tb.dut.u_intr_rxlvl.IntrTKind_A 001600160000
tb.dut.u_intr_rxoverflow.IntrTKind_A 001600160000
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001600160000
tb.dut.u_intr_txlvl.IntrTKind_A 001600160000
tb.dut.u_intr_txunderflow.IntrTKind_A 001600160000
tb.dut.u_jedec.JedecStKnown_A 0052366116447763508600
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001600160000
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001600160000
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001600160000
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 002147483647910453300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001451396031688955800
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 002147483647910453300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001451396031688955800
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 002147483647910453300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001451396031688955800
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 002147483647910453300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001451396031688955800
tb.dut.u_p2s.IoModeChangeValid_A 005236624251827500
tb.dut.u_p2s.IoModeDefault_A 005236624254130700
tb.dut.u_passthrough.AddrSetInStIdle_A 00193311933100
tb.dut.u_passthrough.PassThroughStKnown_A 0052366116447763508600
tb.dut.u_passthrough.PayloadSwapConstraint_M 00523661164244796800
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 005236611641155810500
tb.dut.u_readcmd.MailboxSizeMatch_M 0052366116447763508600
tb.dut.u_readcmd.ValidCmdConfig_A 0052366116443933800
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 005236611641665400
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0052366116473842300
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 005236611641155810500
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00523661164291002700
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 005236611641665400
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00523661164290909800
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00523661164291002700
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 005236611645805616400
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 005236611645805616400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 005236611645519609900
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0052366116447763508600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 005236611645519609900
tb.dut.u_reg.en2addrHit 0021474836479563060400
tb.dut.u_reg.reAfterRv 0021474836479563060400
tb.dut.u_reg.rePulse 0021474836479081036500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001760176000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001760176000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001760176000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001760176000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001760176000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001760176000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001760176000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001760176000
tb.dut.u_reg.u_socket.NotOverflowed_A 0011025212711025212700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00214748364711430046800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00214748364711025212700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0021474836471665871900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0021474836471459915700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0021474836479724152100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0021474836479565297000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001760176000
tb.dut.u_reg.u_socket.maxN 001760176000
tb.dut.u_reg.wePulse 002147483647482023900
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184824800
tb.dut.u_s2p.IoModeDefault_A 005236611644130900
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001600160000
tb.dut.u_scanmode_sync.OutputsKnown_A 002147483647214748364700
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 002147483647214748364700
tb.dut.u_spi_tpm.CmdAddrAvailable_A 005236611648190400
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0052366116497776800
tb.dut.u_spi_tpm.CmdAddrInfo_A 0052366116410231000
tb.dut.u_spi_tpm.CmdPowerof2_A 001600160000
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001600160000
tb.dut.u_spi_tpm.DataSelKnown_A 005236624254023825600
tb.dut.u_spi_tpm.HwRegCondition2_a 005236611642439800
tb.dut.u_spi_tpm.HwRegCondition_A 0052366116412222100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 005236624254023825600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 0052366116412222100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001600160000
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001600160000
tb.dut.u_spi_tpm.RdPowerof2_A 001600160000
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 0052366116412222100
tb.dut.u_spi_tpm.TpmRegCondition_A 0052366116412222100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001600160000
tb.dut.u_spi_tpm.WrDepthSpec_A 001600160000
tb.dut.u_spi_tpm.WrFifoAvailable_A 0052366116469294900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 002147483647214748364700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0052366116452365970600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001600160000
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001600160000
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 005236624254011603500
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 00214748364712573008000
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001600160000
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 002147483647214748364700
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0052366116452365970600
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001600160000
tb.dut.u_spid_status.BusyBitZero_A 001600160000
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0052366116452365970600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 002147483647214748364700
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001600160000
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001451396031145139457200
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0052366116452365975500
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 002147483647214748364700
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 0012982712851100
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0072899972773300
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00179819800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001600160000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0021474836471455655800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 002147483647545202500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 002147483647545202500
tb.dut.u_tlul2sram.AddrOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.DataIntgOptions_A 001600160000
tb.dut.u_tlul2sram.ReqOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001600160000
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001600160000
tb.dut.u_tlul2sram.TlOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0021474836471454880900
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 002147483647214748364700
tb.dut.u_tlul2sram.WdataOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.WeOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.WmaskOutKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001600160000
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 002147483647544427600
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 002147483647544427600
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001600160000
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0021474836471454880900
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0021474836471454880900
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001600160000
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001600160000
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 002147483647544427600
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002147483647544427600
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 002147483647544427600
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 002147483647214748364700
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002147483647544427600
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012805512762100
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0012786712743300
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00184624600
tb.dut.u_upload.AddrFifoNeverFull_M 00523661164330800
tb.dut.u_upload.CmdFifoNeverFull_M 00523661164444100
tb.dut.u_upload.CmdFifoPush_A 00523661164444100
tb.dut.u_upload.FifosOnlyOneValid_A 0052366116447763508600
tb.dut.u_upload.PayloadNeverFull_M 00523661164153488700
tb.dut.u_upload.u_addrfifo.MinDepth_A 001600160000
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 002147483647330800
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00523661164330800
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001600160000
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 002147483647330800
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 002147483647330800
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 002147483647330800
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 002147483647330800
tb.dut.u_upload.u_addrfifo.SramRvalid_A 002147483647330800
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0052366116452366116400
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001600160000
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00523661164330800
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00523661164330800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001600160000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00523661164154263600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00523661164154263600
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0052366116447763508600
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0052366116447763508600
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001600160000
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 002147483647444100
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00523661164444100
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001600160000
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 002147483647444100
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 002147483647444100
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 002147483647444100
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 002147483647444100
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 002147483647444100
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0052366116452366116400
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001600160000
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00523661164444100
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00523661164444100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001600160000
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001600160000
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 002147483647444100
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00523661164444100

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0014513960311000686
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002147483647001600

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 00214748364760600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00214748364760600
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00214748364755550
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00214748364725250
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00214748364735350
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 002147483647550
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00214748364710100
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 002147483647385538550
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 002147483647403110740311070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00214748364763952412639524121742

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00214748364760600
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00214748364760600
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00214748364755550
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00214748364725250
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00214748364735350
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 002147483647550
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00214748364710100
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 002147483647385538550
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 002147483647403110740311070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00214748364763952412639524121742

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