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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total682010
Category 0682010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total682010
Severity 0682010


Summary for Assertions
NUMBERPERCENT
Total Number682100.00
Uncovered294.25
Success65395.75
Failure00.00
Incomplete10.15
Without Attempts60.88


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 00128992430000
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_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckAckNeedsReq 00128991517000
tb.dut.u_readcmd.u_readbuffer.u_sys2spi_clr.SyncReqAckHoldReq 00429730063000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00128991517000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00128991517000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00128991517000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00128991517000
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataHoldSrc2Dst 00429730063000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00429730063000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00429730063000
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00429730063000
tb.dut.u_tlul2sram_egress.rvalidHighReqFifoEmpty 00429730063000
tb.dut.u_tlul2sram_egress.rvalidHighWhenRspFifoFull 00429730063000
tb.dut.u_tlul2sram_egress.u_rspfifo.DataKnown_A 00429730063000
tb.dut.u_tlul2sram_egress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00429730063000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DataKnown_A 00429730063000
tb.dut.u_tlul2sram_egress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00429730063000
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_upload.u_arbiter.gen_arb_ppc.u_reqarb.LockArbDecision_A 00128991517000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00128991517000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqStaysHighUntilGranted0_M 00128991517000
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 00128991517000
tb.dut.u_upload.u_arbiter.u_req_fifo.DataKnown_A 00128991517000
tb.dut.u_upload.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00128991517000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0042973006342964528200
tb.dut.CioSdoEnOKnown 0042973006342964528200
tb.dut.CioSdoEnOffWhenInactive 0042973006342964528200
tb.dut.FpvSecCmRegWeOnehotCheck_A 0042973006310000
tb.dut.IntrReadbufFlipOKnown 0042973006342964528200
tb.dut.IntrReadbufWatermarkOKnown 0042973006342964528200
tb.dut.IntrTpmHeaderNotEmptyOKnown 0042973006342964528200
tb.dut.IntrTpmRdfifoCmdEndOKnown 0042973006342964528200
tb.dut.IntrTpmRdfifoDropOKnown 0042973006342964528200
tb.dut.IntrUploadCmdfifoNotEmptyOKnown 0042973006342964528200
tb.dut.IntrUploadPayloadNotEmptyOKnown 0042973006342964528200
tb.dut.IntrUploadPayloadOverflowOKnown 0042973006342964528200
tb.dut.PayloadStartIdxWidthMatch_A 0092692600
tb.dut.SpiModeKnown_A 0042973006342964528200
tb.dut.TpmEnableWhenTpmCsbIdle_M 0042973006334300
tb.dut.g_sram_connect[0].ReqAlwaysAccepted_A 00429730063159297600
tb.dut.g_sram_connect[1].ReqAlwaysAccepted_A 0042973006315468100
tb.dut.g_sram_connect[2].ReqAlwaysAccepted_A 00429730063173700
tb.dut.g_sram_connect[3].ReqAlwaysAccepted_A 00429730063125600
tb.dut.g_sram_connect[4].ReqAlwaysAccepted_A 0042973006319631700
tb.dut.scanmodeKnown 0042973006342973006300
tb.dut.spi_device_csr_assert.TlulOOBAddrErr_A 00432025235376700
tb.dut.spi_device_csr_assert.addr_swap_data_rd_A 00432025235157300
tb.dut.spi_device_csr_assert.addr_swap_mask_rd_A 00432025235160000
tb.dut.spi_device_csr_assert.cfg_rd_A 00432025235204200
tb.dut.spi_device_csr_assert.cmd_filter_0_rd_A 00432025235626600
tb.dut.spi_device_csr_assert.cmd_filter_1_rd_A 00432025235667800
tb.dut.spi_device_csr_assert.cmd_filter_2_rd_A 00432025235571100
tb.dut.spi_device_csr_assert.cmd_filter_3_rd_A 00432025235810700
tb.dut.spi_device_csr_assert.cmd_filter_4_rd_A 00432025235732100
tb.dut.spi_device_csr_assert.cmd_filter_5_rd_A 00432025235723500
tb.dut.spi_device_csr_assert.cmd_filter_6_rd_A 00432025235703500
tb.dut.spi_device_csr_assert.cmd_filter_7_rd_A 00432025235619400
tb.dut.spi_device_csr_assert.cmd_info_0_rd_A 00432025235339500
tb.dut.spi_device_csr_assert.cmd_info_10_rd_A 00432025235362600
tb.dut.spi_device_csr_assert.cmd_info_11_rd_A 00432025235371500
tb.dut.spi_device_csr_assert.cmd_info_12_rd_A 00432025235345800
tb.dut.spi_device_csr_assert.cmd_info_13_rd_A 00432025235378500
tb.dut.spi_device_csr_assert.cmd_info_14_rd_A 00432025235377900
tb.dut.spi_device_csr_assert.cmd_info_15_rd_A 00432025235388200
tb.dut.spi_device_csr_assert.cmd_info_16_rd_A 00432025235364600
tb.dut.spi_device_csr_assert.cmd_info_17_rd_A 00432025235349200
tb.dut.spi_device_csr_assert.cmd_info_18_rd_A 00432025235362200
tb.dut.spi_device_csr_assert.cmd_info_19_rd_A 00432025235376500
tb.dut.spi_device_csr_assert.cmd_info_1_rd_A 00432025235363700
tb.dut.spi_device_csr_assert.cmd_info_20_rd_A 00432025235361500
tb.dut.spi_device_csr_assert.cmd_info_21_rd_A 00432025235386400
tb.dut.spi_device_csr_assert.cmd_info_22_rd_A 00432025235365000
tb.dut.spi_device_csr_assert.cmd_info_23_rd_A 00432025235304300
tb.dut.spi_device_csr_assert.cmd_info_2_rd_A 00432025235343200
tb.dut.spi_device_csr_assert.cmd_info_3_rd_A 00432025235335800
tb.dut.spi_device_csr_assert.cmd_info_4_rd_A 00432025235384000
tb.dut.spi_device_csr_assert.cmd_info_5_rd_A 00432025235387000
tb.dut.spi_device_csr_assert.cmd_info_6_rd_A 00432025235403300
tb.dut.spi_device_csr_assert.cmd_info_7_rd_A 00432025235389000
tb.dut.spi_device_csr_assert.cmd_info_8_rd_A 00432025235362300
tb.dut.spi_device_csr_assert.cmd_info_9_rd_A 00432025235359100
tb.dut.spi_device_csr_assert.cmd_info_en4b_rd_A 00432025235182500
tb.dut.spi_device_csr_assert.cmd_info_ex4b_rd_A 00432025235184800
tb.dut.spi_device_csr_assert.cmd_info_wrdi_rd_A 00432025235177500
tb.dut.spi_device_csr_assert.cmd_info_wren_rd_A 00432025235176600
tb.dut.spi_device_csr_assert.intercept_en_rd_A 00432025235199200
tb.dut.spi_device_csr_assert.intr_enable_rd_A 00432025235348100
tb.dut.spi_device_csr_assert.jedec_cc_rd_A 00432025235178400
tb.dut.spi_device_csr_assert.jedec_id_rd_A 00432025235183900
tb.dut.spi_device_csr_assert.mailbox_addr_rd_A 00432025235181200
tb.dut.spi_device_csr_assert.payload_swap_data_rd_A 00432025235161700
tb.dut.spi_device_csr_assert.payload_swap_mask_rd_A 00432025235166000
tb.dut.spi_device_csr_assert.read_threshold_rd_A 00432025235165900
tb.dut.spi_device_csr_assert.tpm_access_0_rd_A 00432025235205300
tb.dut.spi_device_csr_assert.tpm_access_1_rd_A 00432025235160800
tb.dut.spi_device_csr_assert.tpm_cfg_rd_A 00432025235242800
tb.dut.spi_device_csr_assert.tpm_did_vid_rd_A 00432025235181900
tb.dut.spi_device_csr_assert.tpm_int_enable_rd_A 00432025235166400
tb.dut.spi_device_csr_assert.tpm_int_status_rd_A 00432025235169800
tb.dut.spi_device_csr_assert.tpm_int_vector_rd_A 00432025235164300
tb.dut.spi_device_csr_assert.tpm_intf_capability_rd_A 00432025235152000
tb.dut.spi_device_csr_assert.tpm_rid_rd_A 00432025235173300
tb.dut.spi_device_csr_assert.tpm_sts_rd_A 00432025235149700
tb.dut.tlul_assert_device.aKnown_A 00432025235929877800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0043202523543189821600
tb.dut.tlul_assert_device.aReadyKnown_A 0043202523543189821600
tb.dut.tlul_assert_device.dKnown_A 004320252351622403200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0043202523543189821600
tb.dut.tlul_assert_device.dReadyKnown_A 0043202523543189821600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001101110100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00432025922446045400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00432025235774200
tb.dut.tlul_assert_device.gen_device.contigMask_M 00432025922675010600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00432025922939710200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00432025235634500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00432025922929877800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 004320259221622403200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00432025922929877800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 004320259221622403200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 004320259221622403200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 004320259221622403200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00432025235578900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00432025235570500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001101110100
tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic.selKnown0 00520995117300
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown0 0012899243012899150400
tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic.selKnown1 0012899151712899076100
tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic.selKnown0 0012899151712899076100
tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic.selKnown0 0012899243012899150400
tb.dut.u_cmdparse.CmdOnlySelDpKnown_A 001289915179858265500
tb.dut.u_cmdparse.OnlyOneDatapath_A 001289915175028900
tb.dut.u_cmdparse.SelDpKnown_A 001289915179858265500
tb.dut.u_cmdparse.StKnown_A 001289915179858265500
tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00511735055000
tb.dut.u_flash_readbuf_flip_pulse_sync.DstPulseCheck_A 0042973006330600
tb.dut.u_flash_readbuf_flip_pulse_sync.SrcPulseCheck_M 0012899151730600
tb.dut.u_flash_readbuf_watermark_pulse_sync.DstPulseCheck_A 0042973006316400
tb.dut.u_flash_readbuf_watermark_pulse_sync.SrcPulseCheck_M 0012899151716400
tb.dut.u_intr_cmdfifo_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_not_empty.IntrTKind_A 0092692600
tb.dut.u_intr_payload_overflow.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_flip.IntrTKind_A 0092692600
tb.dut.u_intr_readbuf_watermark.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_cmdaddr_notempty.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_cmd_end.IntrTKind_A 0092692600
tb.dut.u_intr_tpm_rdfifo_drop.IntrTKind_A 0092692600
tb.dut.u_jedec.JedecStKnown_A 001289915179858265500
tb.dut.u_p2s.IoModeChangeValid_A 00128992430591700
tb.dut.u_p2s.IoModeDefault_A 001289924302057200
tb.dut.u_passthrough.PassThroughStKnown_A 001289915179858265500
tb.dut.u_passthrough.PayloadSwapConstraint_M 00128991517110568000
tb.dut.u_readcmd.AddrIncNotAssertInAddressState_A 00128991517364316200
tb.dut.u_readcmd.MailboxSizeMatch_M 001289915179858265500
tb.dut.u_readcmd.ValidCmdConfig_A 0012899151717275900
tb.dut.u_readcmd.u_readbuffer.StartWithAddressUpdate_A 00128991517652100
tb.dut.u_readcmd.u_readsram.AddrLatchedPulse_M 001289915175678600
tb.dut.u_readcmd.u_readsram.FifoNotEmpty_A 00128991517364316200
tb.dut.u_readcmd.u_readsram.NotOverflow_A 0012899151791895600
tb.dut.u_readcmd.u_readsram.ReqStrbRelation_M 00128991517652100
tb.dut.u_readcmd.u_readsram.SramDataReturnRequirement_M 0012899151791853500
tb.dut.u_readcmd.u_readsram.SramReadOnly_A 0012899151791895600
tb.dut.u_readcmd.u_readsram.u_fifo.DataKnown_A 001289915171884265800
tb.dut.u_readcmd.u_readsram.u_fifo.DepthKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_fifo.RvalidKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_fifo.WreadyKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001289915171884265800
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DataKnown_A 001289915171794326500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.DepthKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.RvalidKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.WreadyKnown_A 001289915179858265500
tb.dut.u_readcmd.u_readsram.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 001289915171794326500
tb.dut.u_reg.en2addrHit 00432025235610994000
tb.dut.u_reg.reAfterRv 00432025235610994000
tb.dut.u_reg.rePulse 00432025235438102300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001101110100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001101110100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.NotOverflowed_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 00432025235929877800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 004320252351622403200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 00432025235246539900
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00432025235265947300
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 0043202523516507600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 0043202523538544700
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00432025235650864000
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 004320252351317911200
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0043202523543189821600
tb.dut.u_reg.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 001101110100
tb.dut.u_reg.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 001101110100
tb.dut.u_reg.u_socket.maxN 001101110100
tb.dut.u_reg.wePulse 00432025235172891700
tb.dut.u_s2p.IoModeDefault_A 001289915172057200
tb.dut.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0092692600
tb.dut.u_scanmode_sync.OutputsKnown_A 0042973006342964528200
tb.dut.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042973006342964528200
tb.dut.u_spi_tpm.CmdAddrAvailable_A 001289915175038800
tb.dut.u_spi_tpm.CmdAddrBitCntInAddrSt_A 0012899151755348000
tb.dut.u_spi_tpm.CmdAddrInfo_A 001289915175548900
tb.dut.u_spi_tpm.CmdPowerof2_A 0092692600
tb.dut.u_spi_tpm.DataFifoLessThan64_A 0092692600
tb.dut.u_spi_tpm.DataSelKnown_A 001289924302911992300
tb.dut.u_spi_tpm.HwRegCondition2_a 001289915171161100
tb.dut.u_spi_tpm.HwRegCondition_A 001289915176918500
tb.dut.u_spi_tpm.HwRegIdxKnown_A 001289924302911992300
tb.dut.u_spi_tpm.LocalityLatchCondition_A 001289915176918500
tb.dut.u_spi_tpm.RdFifoDepthPoT_A 0092692600
tb.dut.u_spi_tpm.RdFifoNumBytesPoT_A 0092692600
tb.dut.u_spi_tpm.RdPowerof2_A 0092692600
tb.dut.u_spi_tpm.SckFifoAddrLatchCondition_A 001289915176918500
tb.dut.u_spi_tpm.TpmRegSizeMatch_A 0092692600
tb.dut.u_spi_tpm.WrDepthSpec_A 0092692600
tb.dut.u_spi_tpm.WrFifoAvailable_A 0012899151744361000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012899151765821000
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DataKnown_A 0012899151719631700
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.DepthKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.RvalidKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.WreadyKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0012899151719631700
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayRptr_A 0042973006342964414900
tb.dut.u_spi_tpm.u_cmdaddr_buffer.GrayWptr_A 0012899151712899074800
tb.dut.u_spi_tpm.u_cmdaddr_buffer.ParamCheckDepth_A 0092692600
tb.dut.u_spi_tpm.u_hw_reg_slice.ValidWidth_A 0092692600
tb.dut.u_spi_tpm.u_sram_fifo.DataKnown_A 00128991517610501600
tb.dut.u_spi_tpm.u_sram_fifo.DepthKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_sram_fifo.RvalidKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_sram_fifo.WreadyKnown_A 001289915172911992300
tb.dut.u_spi_tpm.u_sram_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 00128991517610501600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_spi_tpm.u_tpm_wr_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckAckNeedsReq 001289915178378500
tb.dut.u_spi_tpm.u_wrfifo_release_reqack.SyncReqAckHoldReq 004297300637986300
tb.dut.u_spid_addr_4b.u_sys2spi_sync.gen_assert_data_src2dst.SyncReqAckDataReg 0092692600
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckAckNeedsReq 0012899151757200
tb.dut.u_spid_addr_4b.u_sys2spi_sync.u_prim_sync_reqack.SyncReqAckHoldReq 0042973006357200
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.CannotHaveEccAndParity_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.ParityNeedsByteWriteMask_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.gen_byte_parity.WidthNeedsToBeByteAligned_A 0092692600
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortA_A 00429730063178929300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheckPortB_A 0012899151794505500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortA_A 00429730063178929300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheckPortB_A 0012899151794505500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortA_A 00429730063178929300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheckPortB_A 0012899151794505500
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortA_A 00429730063178929300
tb.dut.u_spid_dpram.gen_ram2p.u_memory_2p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheckPortB_A 0012899151794505500
tb.dut.u_spid_status.BusyBitZero_A 0092692600
tb.dut.u_spid_status.u_sw_status_update_sync.GrayRptr_A 0012899151712899074800
tb.dut.u_spid_status.u_sw_status_update_sync.GrayWptr_A 0042973006342964414900
tb.dut.u_spid_status.u_sw_status_update_sync.ParamCheckDepth_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0042973006360926
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 00429730063194696700
tb.dut.u_sys_sram_arbiter.u_req_fifo.DataKnown_A 0042973006315767400
tb.dut.u_sys_sram_arbiter.u_req_fifo.DepthKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.u_req_fifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.u_req_fifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_sys_sram_arbiter.u_req_fifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042973006315767400
tb.dut.u_tlul2sram_egress.AddrOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_egress.ReqOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_egress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_egress.TlOutKnownIfFifoKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.TlOutValidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.WdataOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.WeOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.WmaskOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_egress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_egress.u_reqfifo.DataKnown_A 00429730063263315400
tb.dut.u_tlul2sram_egress.u_reqfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_reqfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_reqfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00429730063263315400
tb.dut.u_tlul2sram_egress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_egress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_egress.u_rspfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_rspfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_rspfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_egress.u_sramreqfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.AddrOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.DataIntgOptions_A 0092692600
tb.dut.u_tlul2sram_ingress.ReqOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.SramDwHasByteGranularity_A 0092692600
tb.dut.u_tlul2sram_ingress.SramDwIsMultipleOfTlulWidth_A 0092692600
tb.dut.u_tlul2sram_ingress.TlOutKnownIfFifoKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.TlOutValidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.WdataOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.WeOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.WmaskOutKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.adapterNoReadOrWrite 0092692600
tb.dut.u_tlul2sram_ingress.rvalidHighReqFifoEmpty 0042973006315468100
tb.dut.u_tlul2sram_ingress.rvalidHighWhenRspFifoFull 0042973006315468100
tb.dut.u_tlul2sram_ingress.u_err.dataWidthOnly32_A 0092692600
tb.dut.u_tlul2sram_ingress.u_reqfifo.DataKnown_A 0042973006337853900
tb.dut.u_tlul2sram_ingress.u_reqfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_reqfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_reqfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042973006337853900
tb.dut.u_tlul2sram_ingress.u_rsp_gen.DataWidthCheck_A 0092692600
tb.dut.u_tlul2sram_ingress.u_rsp_gen.PayLoadWidthCheck 0092692600
tb.dut.u_tlul2sram_ingress.u_rspfifo.DataKnown_A 0042973006337853900
tb.dut.u_tlul2sram_ingress.u_rspfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_rspfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_rspfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042973006337853900
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DataKnown_A 0042973006315468100
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.DepthKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.RvalidKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.WreadyKnown_A 0042973006342964528200
tb.dut.u_tlul2sram_ingress.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0042973006315468100
tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic.selKnown0 00700506966600
tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic.selKnown0 00700496966500
tb.dut.u_upload.AddrFifoNeverFull_M 00128991517125600
tb.dut.u_upload.CmdFifoNeverFull_M 00128991517173700
tb.dut.u_upload.CmdFifoPush_A 00128991517173700
tb.dut.u_upload.FifosOnlyOneValid_A 001289915179858265500
tb.dut.u_upload.PayloadNeverFull_M 0012899151749845200
tb.dut.u_upload.u_addrfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.NoRAckInEmpty_A 00429730063125600
tb.dut.u_upload.u_addrfifo.NoWAckInFull_A 00128991517125600
tb.dut.u_upload.u_addrfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_addrfifo.RSramRvalidOneCycle_M 00429730063125600
tb.dut.u_upload.u_addrfifo.RptrGrayOneBitAtATime_A 00429730063125600
tb.dut.u_upload.u_addrfifo.RptrIncDataValid_A 00429730063125600
tb.dut.u_upload.u_addrfifo.RptrIncrease_A 00429730063125600
tb.dut.u_upload.u_addrfifo.SramRvalid_A 00429730063125600
tb.dut.u_upload.u_addrfifo.WSramRvalid_A 0012899151712899151700
tb.dut.u_upload.u_addrfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_addrfifo.WptrGrayOneBitAtATime_A 00128991517125600
tb.dut.u_upload.u_addrfifo.WptrIncrease_A 00128991517125600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckHotOne_A 001289915179858265500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0092692600
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.GrantKnown_A 001289915179858265500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IdxKnown_A 001289915179858265500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0012899151750144500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.ValidKnown_A 001289915179858265500
tb.dut.u_upload.u_arbiter.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0012899151750144500
tb.dut.u_upload.u_arbiter.u_req_fifo.DepthKnown_A 001289915179858265500
tb.dut.u_upload.u_arbiter.u_req_fifo.RvalidKnown_A 001289915179858265500
tb.dut.u_upload.u_arbiter.u_req_fifo.WreadyKnown_A 001289915179858265500
tb.dut.u_upload.u_cmdfifo.MinDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.NoRAckInEmpty_A 00429730063173700
tb.dut.u_upload.u_cmdfifo.NoWAckInFull_A 00128991517173700
tb.dut.u_upload.u_cmdfifo.ParamCheckDepth_A 0092692600
tb.dut.u_upload.u_cmdfifo.RSramRvalidOneCycle_M 00429730063173700
tb.dut.u_upload.u_cmdfifo.RptrGrayOneBitAtATime_A 00429730063173700
tb.dut.u_upload.u_cmdfifo.RptrIncDataValid_A 00429730063173700
tb.dut.u_upload.u_cmdfifo.RptrIncrease_A 00429730063173700
tb.dut.u_upload.u_cmdfifo.SramRvalid_A 00429730063173700
tb.dut.u_upload.u_cmdfifo.WSramRvalid_A 0012899151712899151700
tb.dut.u_upload.u_cmdfifo.WidthMatch_A 0092692600
tb.dut.u_upload.u_cmdfifo.WptrGrayOneBitAtATime_A 00128991517173700
tb.dut.u_upload.u_cmdfifo.WptrIncrease_A 00128991517173700
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.NumEntryPerWordPowerOf2_A 0092692600
tb.dut.u_upload.u_payload_buffer.g_multiple_entry_per_word.WidthDivideSramDw_A 0092692600
tb.dut.u_upload.u_payloadptr_clr_psync.DstPulseCheck_A 00429730063173700
tb.dut.u_upload.u_payloadptr_clr_psync.SrcPulseCheck_M 00128991517173700

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_sys_sram_arbiter.gen_arb_ppc.u_reqarb.RoundRobin_A 0042973006360926

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_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


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0043202592273043730430
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00432025922126112610
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00432025922130313030
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004320259227837830
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004320259221811810
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004320259226126120
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004320259223933930
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0043202592212890128900
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004320259229461329461320
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00432025922338054033805401081

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0043202592273043730430
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00432025922126112610
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00432025922130313030
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 004320259227837830
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 004320259221811810
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 004320259226126120
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 004320259223933930
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0043202592212890128900
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004320259229461329461320
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00432025922338054033805401081

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