Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total92700222
Category 092700222


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total92700222
Severity 092700222


Summary for Assertions
NUMBERPERCENT
Total Number9270100.00
Uncovered700.76
Success920099.24
Failure00.00
Incomplete240.26
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number222100.00
Uncovered00.00
All Matches222100.00
First Matches222100.00
Go previous page
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETE
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0040701865079048100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_55.maxM 0090090000
tb.dut.u_sm1_55.rspIdInRange 00407018650459555000
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A 00407018650281785500
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00407018650281785500
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A 00407018650459555000
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00407018650459555000
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A 0040701865040688914100
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0040701865022080600
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0040701865022080600
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0040701865022080600
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00407018650259688500
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0040701865022080600
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0040701865022080600
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0040701865053304200
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0040701865022080600
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange 0040701865027982000
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0040701865027982000
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00407018650329447700
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_56.gen_host_fifo[1].idInRange 0040701865035953000
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0040701865035953000
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0040701865070776100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_56.maxM 0090090000
tb.dut.u_sm1_56.rspIdInRange 00407018650400223800
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A 00407018650290710700
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00407018650290710700
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A 00407018650400223800
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A 0040701865040688914100
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00407018650400223800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.RoundRobin_A 00407018650214320900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A 00407018650328250900
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A 0040701865000900


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device_aes.gen_host_cov.b2bRsp_C 004070191619139130
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C 004070191613473470
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C 0040701916192920
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C 0040701916131310
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916137370
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916151510
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916157570
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916180800
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C 004070191617297290
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C 004070191612522520
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C 0040701916196960
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C 0040701916135350
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916136360
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916147470
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916153530
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916176760
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C 004070191617577570
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C 004070191612722720
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C 0040701916198980
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C 0040701916132320
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916131310
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916147470
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916156560
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916183830
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C 004070191616716710
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C 004070191613403400
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C 0040701916183830
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C 0040701916128280
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916128280
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916143430
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916140400
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916167670
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C 004070191617147140
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C 004070191611741740
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C 0040701916153530
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C 0040701916120200
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916117170
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916128280
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916121210
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916142420
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C 004070191616466460
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C 004070191612362360
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C 0040701916135350
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C 0040701916113130
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C 00407019161990
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916116160
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916116160
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916124240
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C 00407019161190319030
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C 004070191619729720
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C 004070191613033030
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C 004070191611001000
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916160600
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C 004070191611461460
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916191910
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C 004070191611491490
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C 004070191618238230
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C 004070191613413410
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C 0040701916188880
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C 0040701916126260
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916137370
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916132320
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916159590
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916179790
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C 004070191617937930
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C 004070191612482480
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C 0040701916152520
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C 0040701916118180
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916121210
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916129290
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916127270
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916140400
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C 004070191617667660
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C 004070191612932930
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C 0040701916168680
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C 0040701916127270
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916127270
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916136360
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916138380
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916160600
tb.dut.tlul_assert_device_kmac.gen_host_cov.b2bRsp_C 004070191617727720
tb.dut.tlul_assert_device_kmac.gen_host_cov.dValidNotAccepted_C 004070191613083080
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_dataChangedNotAccepted_C 0040701916193930
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_errorChangedNotAccepted_C 0040701916142420
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916133330
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916144440
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916151510
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916180800
tb.dut.tlul_assert_device_otbn.gen_host_cov.b2bRsp_C 004070191618848840
tb.dut.tlul_assert_device_otbn.gen_host_cov.dValidNotAccepted_C 004070191612262260
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_dataChangedNotAccepted_C 0040701916150500
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_errorChangedNotAccepted_C 0040701916115150
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916119190
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916117170
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916133330
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916142420
tb.dut.tlul_assert_device_peri.gen_host_cov.b2bRsp_C 0048717840811606116060
tb.dut.tlul_assert_device_peri.gen_host_cov.dValidNotAccepted_C 004871784089249240
tb.dut.tlul_assert_device_peri.gen_host_cov.d_dataChangedNotAccepted_C 004871784083743740
tb.dut.tlul_assert_device_peri.gen_host_cov.d_errorChangedNotAccepted_C 004871784081451450
tb.dut.tlul_assert_device_peri.gen_host_cov.d_opcodeChangedNotAccepted_C 004871784081091090
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sinkChangedNotAccepted_C 004871784081731730
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sizeChangedNotAccepted_C 004871784081691690
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sourceChangedNotAccepted_C 004871784082442440
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.b2bRsp_C 004070191618178170
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.dValidNotAccepted_C 004070191613213210
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_dataChangedNotAccepted_C 004070191611081080
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_errorChangedNotAccepted_C 0040701916138380
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916146460
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916149490
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916161610
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916196960
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.b2bRsp_C 0040701916177621776210
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.dValidNotAccepted_C 00407019161100710070
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_dataChangedNotAccepted_C 004070191615705700
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_errorChangedNotAccepted_C 004070191612252250
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_opcodeChangedNotAccepted_C 004070191611261260
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sinkChangedNotAccepted_C 004070191612922920
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sizeChangedNotAccepted_C 004070191611671670
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sourceChangedNotAccepted_C 004070191612642640
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.b2bRsp_C 004070191616246240
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.dValidNotAccepted_C 004070191612602600
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_dataChangedNotAccepted_C 0040701916176760
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_errorChangedNotAccepted_C 0040701916123230
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916135350
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916142420
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916153530
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916171710
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.b2bRsp_C 00407019161189118910
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.dValidNotAccepted_C 00407019161113311330
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_dataChangedNotAccepted_C 004070191613173170
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_errorChangedNotAccepted_C 004070191611241240
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916172720
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sinkChangedNotAccepted_C 004070191611471470
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sizeChangedNotAccepted_C 004070191611061060
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sourceChangedNotAccepted_C 004070191611641640
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.b2bRsp_C 004070191618468460
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C 004070191612582580
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C 004070191611011010
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C 0040701916138380
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916146460
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916153530
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916163630
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916193930
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C 004070191619269260
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C 004070191613653650
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C 0040701916177770
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C 0040701916128280
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916124240
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916137370
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916148480
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916165650
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C 0055493147713057130570
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C 00554931477183218320
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C 005549314773883880
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C 005549314771211210
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C 005549314771461460
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C 005549314771891890
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C 005549314772032030
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C 005549314772952950
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C 0051964430111628116280
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C 00519644301166116610
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C 005196443013853850
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C 005196443011581580
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C 005196443011241240
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C 005196443011981980
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C 005196443011961960
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C 005196443012942940
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C 0040701916179201792010
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C 0040701916113612136120
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C 00407019161375337530
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C 00407019161133113310
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C 004070191613753750
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C 00407019161191519150
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C 004070191615705700
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C 004070191618598590
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C 004070191616216210
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C 004070191612502500
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C 0040701916166660
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C 0040701916128280
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0040701916120200
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0040701916135350
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0040701916142420
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0040701916157570
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C 00530187920950495040
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C 00530187920106610660
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C 005301879205395390
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C 005301879202172170
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C 005301879201551550
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C 005301879202772770
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C 005301879202232230
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C 005301879203253250
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C 004070191611516331516330
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C 00407019161305003050017
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C 00407019161314883148817
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C 00407019161273512735117
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C 00407019161209232092317
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C 00407019161208312083117
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C 00407019161160991609917
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C 0040701916126295262950
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C 004070191618198858198850
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C 00407019161143956143956617
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C 004070191611346381346380
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C 00407019161277602776017
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C 00407019161288602886017
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C 00407019161246792467917
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C 00407019161192091920917
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C 00407019161190291902917
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C 00407019161154341543417
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C 0040701916130611306110
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C 004070191618216508216500
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C 00407019161162631162631617
Go next page
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%