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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total667010
Category 0667010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total667010
Severity 0667010


Summary for Assertions
NUMBERPERCENT
Total Number667100.00
Uncovered263.90
Success64196.10
Failure00.00
Incomplete20.30
Without Attempts101.50


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


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.InterceptLevel_M 00410131124000
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 001572941229000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001572941229000
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001572941229000
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 001924208418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 001924208418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 001924208418000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001924208418001631
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 001543171530000
tb.dut.u_txf_underflow.SrcPulseCheck_M 00325571447000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00410129881000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00410129881000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00410129881000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00410129881000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00410129881000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00410129881000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 001924208418192407288000
tb.dut.CioSdoEnOKnown 001924208418192407288000
tb.dut.CioSdoEnOffWhenInactive 001924208418192407288000
tb.dut.CsPulseWidth_A 001924208418183454211400
tb.dut.FpvSecCmRegWeOnehotCheck_A 0019242084189000
tb.dut.IntrReadbufFlipOKnown 001924208418192407288000
tb.dut.IntrReadbufWatermarkOKnown 001924208418192407288000
tb.dut.IntrRxerrOKnown 001924208418192407288000
tb.dut.IntrRxfOKnown 001924208418192407288000
tb.dut.IntrRxlvlOKnown 001924208418192407288000
tb.dut.IntrRxoverflowOKnown 001924208418192407288000
tb.dut.IntrTpmHeaderNotEmptyOKnown 001924208418192407288000
tb.dut.IntrTxlvlOKnown 001924208418192407288000
tb.dut.IntrTxunderflowOKnown 001924208418192407288000
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 001924208418192407288000
tb.dut.IntrUploadPayloadNotEmptyOKnown 001924208418192407288000
tb.dut.IntrUploadPayloadOverflowOKnown 001924208418192407288000
tb.dut.PayloadStartIdxWidthMatch_A 001631163100
tb.dut.SpiModeKnown_A 001924208418192407288000
tb.dut.TpmEnableWhenTpmCsbIdle_M 00192420841835300
tb.dut.TpmRdfifoNotFull_A 00192420841828376200
tb.dut.TpmWrPtrMatch_A 001631163100
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 0019242084181183685100
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 001924208418252800
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 001924208418188900
tb.dut.scanmodeKnown 001924208418192420841800
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 001926351399771100
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00192635139985000
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00192635139995400
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 001926351399942100
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 0019263513991075800
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 001926351399892000
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 0019263513991145900
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 0019263513991014800
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 001926351399983300
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 001926351399881900
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 0019263513991135200
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 001926351399405300
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 001926351399469400
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 001926351399379000
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 001926351399442400
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 001926351399429500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 001926351399436700
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 001926351399434600
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 001926351399379000
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 001926351399384600
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 001926351399406500
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 001926351399404100
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 001926351399377800
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 001926351399427000
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 001926351399433300
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 001926351399401100
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 001926351399432900
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 001926351399426500
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 001926351399419200
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 001926351399406700
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 001926351399426600
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 001926351399450800
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 001926351399369900
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 001926351399387200
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 001926351399432100
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 001926351399104600
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 001926351399106000
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 001926351399119200
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 001926351399108300
tb.dut.spi_device_csr_assert.control_rd_A 001926351399211300
tb.dut.spi_device_csr_assert.fifo_level_rd_A 001926351399103700
tb.dut.spi_device_csr_assert.intercept_en_rd_A 001926351399162100
tb.dut.spi_device_csr_assert.intr_enable_rd_A 001926351399464500
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 001926351399106800
tb.dut.spi_device_csr_assert.jedec_id_rd_A 001926351399123700
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00192635139969400
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00192635139978800
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00192635139986600
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00192635139976300
tb.dut.spi_device_csr_assert.rxf_addr_rd_A 00192635139999700
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 001926351399177200
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00192635139986800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 001926351399185600
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 001926351399117000
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00192635139993100
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00192635139980600
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00192635139981700
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00192635139975100
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00192635139971400
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00192635139981500
tb.dut.spi_device_csr_assert.txf_addr_rd_A 001926351399111200
tb.dut.tlul_assert_device.aKnown_A 00192635139926016645000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 001926351399192616992000
tb.dut.tlul_assert_device.aReadyKnown_A 001926351399192616992000
tb.dut.tlul_assert_device.dKnown_A 00192635139928689070500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 001926351399192616992000
tb.dut.tlul_assert_device.dReadyKnown_A 001926351399192616992000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001806180600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0019263525271656261600
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 001926351399765900
tb.dut.tlul_assert_device.gen_device.contigMask_M 00192635252725151457600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00192635252726208049800
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 001926351399711000
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00192635252726016645900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00192635252728689070900
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00192635252726016645900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00192635252728689070900
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00192635252728689070900
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00192635252728689070900
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 001926351399601000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 001926351399707000
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001806180600
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 0059620459457300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0041013053941012890800
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0041012926041012782400
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0041012988141012841800
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0041013112141012949000
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 0041012988134850931800
tb.dut.u_cmdparse.OnlyOneDatapath_A 004101298817979200
tb.dut.u_cmdparse.SelDpKnown_A 0041012988134850931800
tb.dut.u_cmdparse.StKnown_A 0041012988134850931800
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0059457359328700
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 00192420841861300
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0041012988161300
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 00192420841842900
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0041012988142900
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckHotOne_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001631163100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesReady_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GntImpliesValid_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.GrantKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IdxKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 00157294122915130716
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.ValidKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 001572941229905567700
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DataKnown_A 001572941229440975600
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.DepthKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.RvalidKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.WreadyKnown_A 001572941229152636937100
tb.dut.u_fwmode.u_fwmode_arb.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001572941229440975600
tb.dut.u_fwmode.u_rx_fifo.GrayRptr_A 001572941229157293443700
tb.dut.u_fwmode.u_rx_fifo.GrayWptr_A 0041012988141012830700
tb.dut.u_fwmode.u_rx_fifo.ParamCheckDepth_A 001631163100
tb.dut.u_fwmode.u_tx_fifo.GrayRptr_A 0041013112141012799000
tb.dut.u_fwmode.u_tx_fifo.GrayWptr_A 001572941229157293440400
tb.dut.u_fwmode.u_tx_fifo.ParamCheckDepth_A 001631163100
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 001631163100
tb.dut.u_intr_payload_not_empty.IntrTKind_A 001631163100
tb.dut.u_intr_payload_overflow.IntrTKind_A 001631163100
tb.dut.u_intr_readbuf_flip.IntrTKind_A 001631163100
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 001631163100
tb.dut.u_intr_rxerr.IntrTKind_A 001631163100
tb.dut.u_intr_rxf.IntrTKind_A 001631163100
tb.dut.u_intr_rxlvl.IntrTKind_A 001631163100
tb.dut.u_intr_rxoverflow.IntrTKind_A 001631163100
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 001631163100
tb.dut.u_intr_txlvl.IntrTKind_A 001631163100
tb.dut.u_intr_txunderflow.IntrTKind_A 001631163100
tb.dut.u_jedec.JedecStKnown_A 0041012988134850931800
tb.dut.u_memory_2p.CannotHaveEccAndParity_A 001631163100
tb.dut.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 001631163100
tb.dut.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 001631163100
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 001924208418714665300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 001572941229535212400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 001924208418714665300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 001572941229535212400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 001924208418714665300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 001572941229535212400
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 001924208418714665300
tb.dut.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 001572941229535212400
tb.dut.u_p2s.IoModeChangeValid_A 00410131121981400
tb.dut.u_p2s.IoModeDefault_A 004101311216649300
tb.dut.u_passthrough.AddrSetInStIdle_A 008644864400
tb.dut.u_passthrough.PassThroughStKnown_A 0041012988134850931800
tb.dut.u_passthrough.PayloadSwapConstraint_M 00410129881182392000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00410129881591032200
tb.dut.u_readcmd.MailboxSizeMatch_M 0041012988134850931800
tb.dut.u_readcmd.ValidCmdConfig_A 0041012988126552600
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 004101298811001800
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 0041012988157367700
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00410129881591032200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 00410129881149012100
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 004101298811001800
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 00410129881148945900
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 00410129881149012100
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 004101298813013077300
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 004101298813013077300
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 004101298812867070600
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 0041012988134850931800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 004101298812867070600
tb.dut.u_reg.en2addrHit 00192635139918368700100
tb.dut.u_reg.reAfterRv 00192635139918368699600
tb.dut.u_reg.rePulse 00192635139917861432700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001806180600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001806180600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001806180600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001806180600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001806180600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001806180600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001806180600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001806180600
tb.dut.u_reg.u_socket.NotOverflowed_A 0019559101219559101200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00192635139926016645000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 00192635139928689070500
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0019263513991389696800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 0019263513992315214500
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 00192635139924156677300
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 00192635139926373856000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 001926351399192616992000
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001806180600
tb.dut.u_reg.u_socket.maxN 001806180600
tb.dut.u_reg.wePulse 001926351399507266900
tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00185722600
tb.dut.u_rxf_overflow.DstPulseCheck_A 001924208418626485200
tb.dut.u_rxf_overflow.SrcPulseCheck_M 0032557015222400
tb.dut.u_s2p.IoModeDefault_A 004101298816651700
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 001631163100
tb.dut.u_scanmode_sync.OutputsKnown_A 001924208418192407288000
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 001924208418192407288000
tb.dut.u_spi_tpm.CmdAddrAvailable_A 004101298817291000
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0041012988178854400
tb.dut.u_spi_tpm.CmdAddrInfo_A 004101298817966700
tb.dut.u_spi_tpm.CmdPowerof2_A 001631163100
tb.dut.u_spi_tpm.DataFifoLessThan64_A 001631163100
tb.dut.u_spi_tpm.DataSelKnown_A 004101311214472503500
tb.dut.u_spi_tpm.HwRegCondition2_a 004101298811592200
tb.dut.u_spi_tpm.HwRegCondition_A 004101298819856800
tb.dut.u_spi_tpm.HwRegIdxKnown_A 004101311214472503500
tb.dut.u_spi_tpm.LocalityLatchCondition_A 004101298819856800
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 001631163100
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 001631163100
tb.dut.u_spi_tpm.RdPowerof2_A 001631163100
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 004101298819856800
tb.dut.u_spi_tpm.TpmRegCondition_A 004101298819856800
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 001631163100
tb.dut.u_spi_tpm.WrDepthSpec_A 001631163100
tb.dut.u_spi_tpm.WrFifoAvailable_A 0041012988163518200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 001924208418192407107200
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0041012988141012835600
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 001631163100
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 001631163100
tb.dut.u_spi_tpm.u_rdfifo.GrayRptr_A 004101311214462646500
tb.dut.u_spi_tpm.u_rdfifo.GrayWptr_A 0019242084188927384000
tb.dut.u_spi_tpm.u_rdfifo.ParamCheckDepth_A 001631163100
tb.dut.u_spi_tpm.u_wrfifo.GrayRptr_A 001924208418192407107200
tb.dut.u_spi_tpm.u_wrfifo.GrayWptr_A 0041012988141012835600
tb.dut.u_spi_tpm.u_wrfifo.ParamCheckDepth_A 001631163100
tb.dut.u_spid_status.BusyBitZero_A 001631163100
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0041012988141012835600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 001924208418192407107200
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 001631163100
tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic.selKnown0 001572941229157293974300
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown0 0041012988141012841800
tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic.selKnown1 001924208418192420678700
tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic.selKnown0 00810487971200
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown0 0059457359328700
tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic.selKnown1 00180817700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001631163100
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0019242084181184126800
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 001924208418469461500
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 001924208418192407288000
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001924208418469461500
tb.dut.u_tlul2sram.AddrOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.DataIntgOptions_A 001631163100
tb.dut.u_tlul2sram.ReqOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.SramDwHasByteGranularity_A 001631163100
tb.dut.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 001631163100
tb.dut.u_tlul2sram.TlOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.TlOutPayloadKnown_A 0019242084182310175200
tb.dut.u_tlul2sram.TlOutPayloadKnown_AKnownEnable 001924208418192407288000
tb.dut.u_tlul2sram.WdataOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.WeOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.WmaskOutKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.adapterNoReadOrWrite 001631163100
tb.dut.u_tlul2sram.rvalidHighReqFifoEmpty 001924208418469019800
tb.dut.u_tlul2sram.rvalidHighWhenRspFifoFull 001924208418469019800
tb.dut.u_tlul2sram.u_err.dataWidthOnly32_A 001631163100
tb.dut.u_tlul2sram.u_reqfifo.DataKnown_A 0019242084182310175200
tb.dut.u_tlul2sram.u_reqfifo.DepthKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_reqfifo.RvalidKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_reqfifo.WreadyKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0019242084182310175200
tb.dut.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 001631163100
tb.dut.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 001631163100
tb.dut.u_tlul2sram.u_rspfifo.DataKnown_A 001924208418945594500
tb.dut.u_tlul2sram.u_rspfifo.DepthKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_rspfifo.RvalidKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_rspfifo.WreadyKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001924208418945594500
tb.dut.u_tlul2sram.u_sramreqfifo.DataKnown_A 001924208418469019800
tb.dut.u_tlul2sram.u_sramreqfifo.DepthKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 001924208418192407288000
tb.dut.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 001924208418469019800
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 0012879012832000
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 0012664812617800
tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00185822700
tb.dut.u_upload.AddrFifoNeverFull_M 00410129881188900
tb.dut.u_upload.CmdFifoNeverFull_M 00410129881252800
tb.dut.u_upload.CmdFifoPush_A 00410129881252800
tb.dut.u_upload.FifosOnlyOneValid_A 0041012988134850931800
tb.dut.u_upload.PayloadNeverFull_M 0041012988170178600
tb.dut.u_upload.u_addrfifo.MinDepth_A 001631163100
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 001924208418188900
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00410129881188900
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 001631163100
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 001924208418188900
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 001924208418188900
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 001924208418188900
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 001924208418188900
tb.dut.u_upload.u_addrfifo.SramRvalid_A 001924208418188900
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0041012988141012987200
tb.dut.u_upload.u_addrfifo.WidthMatch_A 001631163100
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00410129881188900
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00410129881188900
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 001631163100
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0041012988170620300
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0041012988170620300
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 0041012988134850931800
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 0041012988134850931800
tb.dut.u_upload.u_cmdfifo.MinDepth_A 001631163100
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 001924208418252800
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00410129881252800
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 001631163100
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 001924208418252800
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 001924208418252800
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 001924208418252800
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 001924208418252800
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 001924208418252800
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0041012988141012987200
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 001631163100
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00410129881252800
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00410129881252800
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 001631163100
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 001631163100
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 001924208418252800
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00410129881252800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_fwmode.u_fwmode_arb.gen_arb_ppc.u_reqarb.RoundRobin_A 00157294122915130716
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 001924208418001631

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 001926352527341593234159320
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001926352527123312330
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001926352527123712370
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 0019263525278648640
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019263525272302300
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0019263525276556550
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0019263525276446440
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00192635252718107181070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00192635252750296993502969930
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00192635252773919085739190851786

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 001926352527341593234159320
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001926352527123312330
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 001926352527123712370
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 0019263525278648640
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0019263525272302300
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0019263525276556550
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0019263525276446440
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00192635252718107181070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00192635252750296993502969930
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00192635252773919085739190851786

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