Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total667010
Category 0667010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total667010
Severity 0667010


Summary for Assertions
NUMBERPERCENT
Total Number667100.00
Uncovered284.20
Success63995.80
Failure00.00
Incomplete20.30
Without Attempts101.50


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered00.00
All Matches10100.00
First Matches10100.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00397839974000
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 001683556043000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001683556043000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001683556043000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_rxf_overflow.DstPulseCheck_A 00545152756000
tb.dut.u_rxf_overflow.SrcPulseCheck_M 00156836742000
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 002066904029000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 002066904029000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 002066904029000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002066904029001612
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 00545152756000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00156838144000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00397838743000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00397838743000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00397838743000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00397838743000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00397838743000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00397838743000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 002066904029206676970100
tb.dut.CioSdoEnOKnown 002066904029206676970100
tb.dut.CioSdoEnOffWhenInactive 002066904029206676970100
tb.dut.CsPulseWidth_A 002066904029198720833400
tb.dut.FpvSecCmRegWeOnehotCheck_A 0020669040299000
tb.dut.IntrReadbufFlipOKnown 002066904029206676970100
tb.dut.IntrReadbufWatermarkOKnown 002066904029206676970100
tb.dut.IntrRxerrOKnown 002066904029206676970100
tb.dut.IntrRxfOKnown 002066904029206676970100
tb.dut.IntrRxlvlOKnown 002066904029206676970100
tb.dut.IntrRxoverflowOKnown 002066904029206676970100
tb.dut.IntrTpmHeaderNotEmptyOKnown 002066904029206676970100
tb.dut.IntrTxlvlOKnown 002066904029206676970100
tb.dut.IntrTxunderflowOKnown 002066904029206676970100
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 002066904029206676970100
tb.dut.IntrUploadPayloadNotEmptyOKnown 002066904029206676970100
tb.dut.IntrUploadPayloadOverflowOKnown 002066904029206676970100
tb.dut.PayloadStartIdxWidthMatch_A 001612161200
tb.dut.SpiModeKnown_A 002066904029206676970100
tb.dut.TpmEnableWhenTpmCsbIdle_M 00206690402932000
tb.dut.TpmRdfifoNotFull_A 00206690402922421600
tb.dut.TpmWrPtrMatch_A 001612161200
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0020669040291217787100
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 002066904029196700
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 002066904029148900
tb.dut.scanmodeKnown 002066904029206690402900
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 002069240229747400
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 002069240229217900
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 002069240229196600
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 002069240229774500
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 002069240229745400
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 002069240229637600
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 002069240229738600
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 002069240229694200
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 002069240229679800
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 002069240229745100
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 002069240229763300
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 002069240229368300
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 002069240229370800
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 002069240229387600
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 002069240229386000
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 002069240229354200
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 002069240229399300
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 002069240229406400
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 002069240229413800
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 002069240229409100
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 002069240229391800
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 002069240229362900
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 002069240229361800
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 002069240229384400
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 002069240229403900
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 002069240229377400
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 002069240229417200
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 002069240229375100
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 002069240229373800
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 002069240229387300
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 002069240229380900
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 002069240229350300
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 002069240229373800
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 002069240229372400
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 002069240229357300
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 002069240229230000
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 002069240229215300
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 002069240229242400
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 002069240229217500
tb.dut.spi_device_csr_assert.control_rd_A 002069240229273500
tb.dut.spi_device_csr_assert.fifo_level_rd_A 002069240229221800
tb.dut.spi_device_csr_assert.intercept_en_rd_A 002069240229260000
tb.dut.spi_device_csr_assert.intr_enable_rd_A 002069240229396500
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 002069240229217900
tb.dut.spi_device_csr_assert.jedec_id_rd_A 002069240229224000
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 002069240229198100
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 002069240229194300
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 002069240229209300
tb.dut.spi_device_csr_assert.read_threshold_rd_A 002069240229200400
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 002069240229213500
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 002069240229243900
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 002069240229206200
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 002069240229259200
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 002069240229212900
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 002069240229193900
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 002069240229195800
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 002069240229195300
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 002069240229201100
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 002069240229198600
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 002069240229215300
tb.dut.spi_device_csr_assert.txf_addr_rd_A 002069240229226600
tb.dut.tlul_assert_device.aKnown_A 00206924022925523399100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 002069240229206906374200
tb.dut.tlul_assert_device.aReadyKnown_A 002069240229206906374200
tb.dut.tlul_assert_device.dKnown_A 00206924022928027021300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 002069240229206906374200
tb.dut.tlul_assert_device.dReadyKnown_A 002069240229206906374200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001786178600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0020692413431654166200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 002069240229750400
tb.dut.tlul_assert_device.gen_device.contigMask_M 00206924134324665579900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00206924134325594251300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 002069240229723700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00206924134325523399900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00206924134328027022300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00206924134325523399900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00206924134328027022300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00206924134328027022300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00206924134328027022300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 002069240229613800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 002069240229667800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001786178600
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0057112756951500
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0039783936239783775000
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0039783811039783669300
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0039783874339783730200
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0039783997139783835900
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0039783874334985974800
tb.dut.u_cmdparse.OnlyOneDatapath_A 003978387436333300
tb.dut.u_cmdparse.SelDpKnown_A 0039783874334985974800
tb.dut.u_cmdparse.StKnown_A 0039783874334985974800
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0056951556824800
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00206690402953700
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0039783874353700
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00206690402937500
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0039783874337500
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001612161200
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0016835560438780729
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001683556043988081000
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001683556043480627000
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001683556043164885294400
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001683556043480627000
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001683556043168354923700
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0039783874339783718400
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001612161200
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0039783997139783688000
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001683556043168354915200
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001612161200
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001612161200
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001612161200
tb.dut.u_intr_payload_overflow.IntrTKind_A 001612161200
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001612161200
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001612161200
tb.dut.u_intr_rxerr.IntrTKind_A 001612161200
tb.dut.u_intr_rxf.IntrTKind_A 001612161200
tb.dut.u_intr_rxlvl.IntrTKind_A 001612161200
tb.dut.u_intr_rxoverflow.IntrTKind_A 001612161200
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001612161200
tb.dut.u_intr_txlvl.IntrTKind_A 001612161200
tb.dut.u_intr_txunderflow.IntrTKind_A 001612161200
tb.dut.u_jedec.JedecStKnown_A 0039783874334985974800
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001612161200
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001612161200
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001612161200
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 002066904029707007700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001683556043558278400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 002066904029707007700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001683556043558278400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 002066904029707007700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001683556043558278400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 002066904029707007700
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001683556043558278400
tb.dut.u_p2s.IoModeChangeValid_A 00397839971833900
tb.dut.u_p2s.IoModeDefault_A 003978399715788000
tb.dut.u_passthrough.AddrSetInStIdle_A 006979697900
tb.dut.u_passthrough.PassThroughStKnown_A 0039783874334985974800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00397838743136656000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00397838743479356200
tb.dut.u_readcmd.MailboxSizeMatch_M 0039783874334985974800
tb.dut.u_readcmd.ValidCmdConfig_A 0039783874322100400
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00397838743834800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0039783874355055900
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00397838743479356200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00397838743120879300
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00397838743834800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00397838743120829900
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00397838743120879300
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 003978387432422702300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003978387432422702300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 003978387432304327400
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0039783874334985974800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 003978387432304327400
tb.dut.u_reg.en2addrHit 00206924022917955198800
tb.dut.u_reg.reAfterRv 00206924022917955198100
tb.dut.u_reg.rePulse 00206924022917415564100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001786178600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001786178600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001786178600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001786178600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001786178600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001786178600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001786178600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001786178600
tb.dut.u_reg.u_socket.NotOverflowed_A 0019180673419180673400
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00206924022925523399100
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00206924022928027021300
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0020692402291391532300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0020692402292286579700
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00206924022923663739000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00206924022925740441600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 002069240229206906374200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001786178600
tb.dut.u_reg.u_socket.maxN 001786178600
tb.dut.u_reg.wePulse 002069240229539634000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00183222000
tb.dut.u_s2p.IoModeDefault_A 003978387435788200
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001612161200
tb.dut.u_scanmode_sync.OutputsKnown_A 002066904029206676970100
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 002066904029206676970100
tb.dut.u_spi_tpm.CmdAddrAvailable_A 003978387435715300
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0039783874365432800
tb.dut.u_spi_tpm.CmdAddrInfo_A 003978387436709200
tb.dut.u_spi_tpm.CmdPowerof2_A 001612161200
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001612161200
tb.dut.u_spi_tpm.DataSelKnown_A 003978399713311656600
tb.dut.u_spi_tpm.HwRegCondition2_a 003978387431551400
tb.dut.u_spi_tpm.HwRegCondition_A 003978387438179100
tb.dut.u_spi_tpm.HwRegIdxKnown_A 003978399713311656600
tb.dut.u_spi_tpm.LocalityLatchCondition_A 003978387438179100
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001612161200
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001612161200
tb.dut.u_spi_tpm.RdPowerof2_A 001612161200
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 003978387438179100
tb.dut.u_spi_tpm.TpmRegCondition_A 003978387438179100
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001612161200
tb.dut.u_spi_tpm.WrDepthSpec_A 001612161200
tb.dut.u_spi_tpm.WrFifoAvailable_A 0039783874348792400
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 002066904029206676791800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0039783874339783723300
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001612161200
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001612161200
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 003978399713303477100
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0020669040297934407800
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001612161200
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 002066904029206676791800
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0039783874339783723300
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001612161200
tb.dut.u_spid_status.BusyBitZero_A 001612161200
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0039783874339783723300
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 002066904029206676791800
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001612161200
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001683556043168355457600
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0039783874339783730200
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 002066904029206690241700
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00645846326700
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0056951556824800
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00178317100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001612161200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0020669040291218132700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 002066904029511125000
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 002066904029206676970100
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 002066904029511125000
tb.dut.u_tlul2sram.AddrOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.DataIntgOptions_A 001612161200
tb.dut.u_tlul2sram.ReqOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001612161200
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001612161200
tb.dut.u_tlul2sram.TlOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0020669040292277076900
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 002066904029206676970100
tb.dut.u_tlul2sram.WdataOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.WeOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.WmaskOutKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001612161200
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 002066904029510779400
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 002066904029510779400
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001612161200
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0020669040292277076900
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0020669040292277076900
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001612161200
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001612161200
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 002066904029970895400
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002066904029970895400
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 002066904029510779400
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 002066904029206676970100
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002066904029510779400
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0010881310836000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0010699310654000
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00183322100
tb.dut.u_upload.AddrFifoNeverFull_M 00397838743148900
tb.dut.u_upload.CmdFifoNeverFull_M 00397838743196700
tb.dut.u_upload.CmdFifoPush_A 00397838743196700
tb.dut.u_upload.FifosOnlyOneValid_A 0039783874334985974800
tb.dut.u_upload.PayloadNeverFull_M 0039783874350478800
tb.dut.u_upload.u_addrfifo.MinDepth_A 001612161200
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 002066904029148900
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00397838743148900
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001612161200
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 002066904029148900
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 002066904029148900
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 002066904029148900
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 002066904029148900
tb.dut.u_upload.u_addrfifo.SramRvalid_A 002066904029148900
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0039783874339783872900
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001612161200
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00397838743148900
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00397838743148900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001612161200
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0039783874350824400
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0039783874350824400
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0039783874334985974800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0039783874334985974800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001612161200
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 002066904029196700
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00397838743196700
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001612161200
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 002066904029196700
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 002066904029196700
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 002066904029196700
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 002066904029196700
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 002066904029196700
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0039783874339783872900
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001612161200
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00397838743196700
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00397838743196700
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001612161200
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001612161200
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 002066904029196700
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00397838743196700

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 0016835560438780729
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 002066904029001612

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 002069241343330571833057180
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 002069241343244524450
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002069241343244324430
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 002069241343170017000
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0020692413433603600
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 002069241343129212920
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002069241343115911590
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00206924134314478144780
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00206924134350469890504698900
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00206924134371103611711036111767

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002069241343330571833057180
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 002069241343244524450
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002069241343244324430
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 002069241343170017000
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0020692413433603600
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 002069241343129212920
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002069241343115911590
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00206924134314478144780
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00206924134350469890504698900
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00206924134371103611711036111767

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