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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total440010
Category 0440010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total440010
Severity 0440010


Summary for Assertions
NUMBERPERCENT
Total Number440100.00
Uncovered71.59
Success43398.41
Failure00.00
Incomplete10.23
Without Attempts00.00


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.i2c_core.u_fifos.AcqWriteStableBeforeHandshake_A 00377474642000
tb.dut.i2c_core.u_fifos.FmtWriteStableBeforeHandshake_A 00379943901000
tb.dut.i2c_core.u_fifos.TxWriteStableBeforeHandshake_A 00379943901000
tb.dut.i2c_core.u_fifos.u_ram_arbiter.LockArbDecision_A 00379943901000
tb.dut.i2c_core.u_fifos.u_ram_arbiter.NoReadyValidNoGrant_A 00379943901000
tb.dut.i2c_core.u_fifos.u_ram_arbiter.ReqStaysHighUntilGranted0_M 00379943901000
tb.dut.i2c_csr_assert.TlulOOBAddrErr_A 00380594994000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertKnownO_A 0037994390137977262700
tb.dut.CioSclEnKnownO_A 0037994390137977262700
tb.dut.CioSclKnownO_A 0037994390137977262700
tb.dut.CioSdaEnKnownO_A 0037994390137977262700
tb.dut.CioSdaKnownO_A 0037994390137977262700
tb.dut.FpvSecCmRegWeOnehotCheck_A 003799439017000
tb.dut.IntrAcqStretchKnownO_A 0037994390137977262700
tb.dut.IntrAcqWtmkKnownO_A 0037994390137977262700
tb.dut.IntrCommandCompleteKnownO_A 0037994390137977262700
tb.dut.IntrControllerHaltKnownO_A 0037994390137977262700
tb.dut.IntrFmtWtmkKnownO_A 0037994390137977262700
tb.dut.IntrHostTimeoutKnownO_A 0037994390137977262700
tb.dut.IntrRxOflwKnownO_A 0037994390137977262700
tb.dut.IntrRxWtmkKnownO_A 0037994390137977262700
tb.dut.IntrSclInterfKnownO_A 0037994390137977262700
tb.dut.IntrSdaInterfKnownO_A 0037994390137977262700
tb.dut.IntrSdaUnstableKnownO_A 0037994390137977262700
tb.dut.IntrStretchTimeoutKnownO_A 0037994390137977262700
tb.dut.IntrTxStretchKnownO_A 0037994390137977262700
tb.dut.IntrTxWtmkKnownO_A 0037994390137977262700
tb.dut.IntrUnexpStopKnownO_A 0037994390137977262700
tb.dut.TlAReadyKnownO_A 0037994390137977262700
tb.dut.TlDValidKnownO_A 0037994390137977262700
tb.dut.i2c_core.AcqFifoDepthValid_A 001679167900
tb.dut.i2c_core.FifoDepthValid_A 001679167900
tb.dut.i2c_core.intr_hw_acq_overflow.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_acq_threshold.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_cmd_complete.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_controller_halt.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_fmt_threshold.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_host_timeout.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_rx_overflow.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_rx_threshold.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_scl_interference.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_sda_interference.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_sda_unstable.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_stretch_timeout.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_tx_stretch.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_tx_threshold.IntrTKind_A 001679167900
tb.dut.i2c_core.intr_hw_unexp_stop.IntrTKind_A 001679167900
tb.dut.i2c_core.u_fifos.RamDepthSuffices_A 001679167900
tb.dut.i2c_core.u_fifos.RamWidthSuffices_A 001679167900
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.MinimalSramAw_A 001679167900
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.MinimalSramFifoDepth_A 001679167900
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.NoErr_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.NoSramReadWhenEmpty_A 0037994390117264938900
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.NoSramWriteWhenFull_A 003799439016207000
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.OupBufWreadyAfterSramRead_A 0037994390122599300
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.SramRvalidAfterRead_A 0037994390122599300
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_inp_buf.DataKnown_A 0037994390130123300
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_inp_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_inp_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_inp_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_inp_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390130123300
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_oup_buf.DataKnown_A 0037994390121740924600
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_oup_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_oup_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_oup_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_acq_fifo_sram_adapter.u_oup_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390121740924600
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.MinimalSramAw_A 001679167900
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.MinimalSramFifoDepth_A 001679167900
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.NoErr_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.NoSramReadWhenEmpty_A 0037994390131044553900
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.NoSramWriteWhenFull_A 003799439012719497100
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.OupBufWreadyAfterSramRead_A 0037994390118569700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.SramRvalidAfterRead_A 0037994390118569700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_inp_buf.DataKnown_A 0037994390121055400
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_inp_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_inp_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_inp_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_inp_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390121055400
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_oup_buf.DataKnown_A 0037994390112417580200
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_oup_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_oup_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_oup_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_fmt_fifo_sram_adapter.u_oup_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390112417580200
tb.dut.i2c_core.u_fifos.u_ram_1p.CannotHaveEccAndParity_A 001679167900
tb.dut.i2c_core.u_fifos.u_ram_1p.u_mem.gen_generic.u_impl_generic.DataBitsPerMaskCheck_A 001679167900
tb.dut.i2c_core.u_fifos.u_ram_1p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheck_A 0037994390168163400
tb.dut.i2c_core.u_fifos.u_ram_arbiter.CheckHotOne_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_ram_arbiter.CheckNGreaterZero_A 001679167900
tb.dut.i2c_core.u_fifos.u_ram_arbiter.GntImpliesReady_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.GntImpliesValid_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.GrantKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_ram_arbiter.IdxKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_ram_arbiter.IndexIsCorrect_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.ReadyAndValidImplyGrant_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.ReqAndReadyImplyGrant_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.ReqImpliesValid_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_ram_arbiter.RoundRobin_A 003799439012001679
tb.dut.i2c_core.u_fifos.u_ram_arbiter.ValidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_ram_arbiter.gen_data_port_assertion.DataFlow_A 00379943901132514300
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.MinimalSramAw_A 001679167900
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.MinimalSramFifoDepth_A 001679167900
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.NoErr_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.NoSramReadWhenEmpty_A 0037994390135439342100
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.NoSramWriteWhenFull_A 0037994390123257900
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.OupBufWreadyAfterSramRead_A 0037994390112579800
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.SramRvalidAfterRead_A 0037994390112579800
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_inp_buf.DataKnown_A 0037994390120894200
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_inp_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_inp_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_inp_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_inp_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390120894200
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_oup_buf.DataKnown_A 003799439012772177700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_oup_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_oup_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_oup_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_rx_fifo_sram_adapter.u_oup_buf.gen_normal_fifo.depthShallNotExceedParamDepth 003799439012772177700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.MinimalSramAw_A 001679167900
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.MinimalSramFifoDepth_A 001679167900
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.NoErr_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.NoSramReadWhenEmpty_A 0037994390136004064000
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.NoSramWriteWhenFull_A 0037994390134285200
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.OupBufWreadyAfterSramRead_A 0037994390110602100
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.SramRvalidAfterRead_A 0037994390110602100
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_inp_buf.DataKnown_A 0037994390115347900
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_inp_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_inp_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_inp_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_inp_buf.gen_normal_fifo.depthShallNotExceedParamDepth 0037994390115347900
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_oup_buf.DataKnown_A 003799439013097890700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_oup_buf.DepthKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_oup_buf.RvalidKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_oup_buf.WreadyKnown_A 0037994390137977262700
tb.dut.i2c_core.u_fifos.u_tx_fifo_sram_adapter.u_oup_buf.gen_normal_fifo.depthShallNotExceedParamDepth 003799439013097890700
tb.dut.i2c_core.u_i2c_controller_fsm.SclOutputGlitch_A 00379943901366601400
tb.dut.i2c_core.u_i2c_target_fsm.AcqDepthRdCheck_A 0037994390196016100
tb.dut.i2c_core.u_i2c_target_fsm.AcqFifoDeepEnough_A 0037994390137977262700
tb.dut.i2c_core.u_i2c_target_fsm.SclOutputGlitch_A 003799439016117200
tb.dut.i2c_csr_assert.ctrl_rd_A 00380594994216300
tb.dut.i2c_csr_assert.host_fifo_config_rd_A 00380594994523600
tb.dut.i2c_csr_assert.host_nack_handler_timeout_rd_A 0038059499484100
tb.dut.i2c_csr_assert.host_timeout_ctrl_rd_A 0038059499476800
tb.dut.i2c_csr_assert.intr_enable_rd_A 00380594994408500
tb.dut.i2c_csr_assert.ovrd_rd_A 00380594994205100
tb.dut.i2c_csr_assert.target_fifo_config_rd_A 0038059499496900
tb.dut.i2c_csr_assert.target_id_rd_A 00380594994123500
tb.dut.i2c_csr_assert.target_timeout_ctrl_rd_A 0038059499491900
tb.dut.i2c_csr_assert.timeout_ctrl_rd_A 00380594994106100
tb.dut.i2c_csr_assert.timing0_rd_A 0038059499482600
tb.dut.i2c_csr_assert.timing1_rd_A 0038059499493600
tb.dut.i2c_csr_assert.timing2_rd_A 0038059499495100
tb.dut.i2c_csr_assert.timing3_rd_A 0038059499494000
tb.dut.i2c_csr_assert.timing4_rd_A 0038059499477400
tb.dut.tlul_assert_device.aKnown_A 003805949944189282800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0038059499438038858000
tb.dut.tlul_assert_device.aReadyKnown_A 0038059499438038858000
tb.dut.tlul_assert_device.dKnown_A 003805949945470829300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0038059499438038858000
tb.dut.tlul_assert_device.dReadyKnown_A 0038059499438038858000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001844184400
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00380596149123562600
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00380594994263100
tb.dut.tlul_assert_device.gen_device.contigMask_M 003805961494121696000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003805961495302042000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00380594994233900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 003805961494189291100
tb.dut.tlul_assert_device.gen_device.legalDParam_A 003805961495470837300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 003805961494189291100
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 003805961495470837300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 003805961495470837300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 003805961495470837300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00380594994230400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00380594994288100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001844184400
tb.dut.u_reg.en2addrHit 003805949943883675600
tb.dut.u_reg.reAfterRv 003805949943883662300
tb.dut.u_reg.rePulse 003805949943804031100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001844184400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001844184400
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001844184400
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001844184400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001844184400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001844184400
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001844184400
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001844184400
tb.dut.u_reg.wePulse 0038059499479631200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.i2c_core.u_fifos.u_ram_arbiter.RoundRobin_A 003799439012001679


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 003805961491252511252510
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 0038059614972720
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 0038059614983830
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 0038059614951510
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0038059614917170
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0038059614933330
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0038059614917170
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00380596149253425340
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00380596149187180918718090
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0038059614921419478214194781824

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 003805961491252511252510
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 0038059614972720
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 0038059614983830
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 0038059614951510
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 0038059614917170
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 0038059614933330
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0038059614917170
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00380596149253425340
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00380596149187180918718090
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0038059614921419478214194781824

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