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
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETE
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C 004302183033303300
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C 004302183031041040
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C 0043021830339390
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0043021830339390
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0043021830347470
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0043021830369690
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C 0043021830391910
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C 004302183035955950
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C 004302183033773770
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C 004302183031061060
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C 0043021830350500
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C 0043021830335350
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C 0043021830360600
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C 0043021830356560
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C 0043021830386860
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C 00512291373572057200
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C 00512291373150415040
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C 005122913734374370
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C 005122913731451450
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C 005122913731161160
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C 005122913732162160
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C 005122913731641640
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C 005122913732392390
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C 00581369715251525150
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C 00581369715259025900
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C 005813697153543540
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C 005813697151581580
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C 0058136971587870
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C 005813697151591590
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C 005813697151341340
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C 005813697151971970
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C 0043021830360182601820
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C 0043021830315945159450
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C 00430218303514351430
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C 00430218303200420040
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C 004302183035425420
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C 00430218303259125910
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C 004302183038178170
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C 00430218303119411940
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C 004302183038338330
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C 004302183034934930
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C 004302183031601600
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C 0043021830374740
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C 0043021830359590
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C 0043021830378780
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C 0043021830390900
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C 004302183031381380
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C 00509951191221722170
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C 00509951191272627260
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C 005099511916336330
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C 005099511912252250
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C 005099511912342340
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C 005099511913093090
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C 005099511913423420
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C 005099511915205200
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C 004302183031525201525200
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C 00430218303323903239014
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C 00430218303335543355414
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C 00430218303290812908114
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C 00430218303222802228014
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C 00430218303221362213614
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C 00430218303170681706814
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C 0043021830320507205070
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C 004302183036843306843300
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C 00430218303141711141711615
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C 004302183031441381441380
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C 0043021830330236302369
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C 0043021830331379313799
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C 0043021830326784267849
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C 0043021830320868208689
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C 0043021830320749207499
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C 0043021830315092150929
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C 0043021830324662246620
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C 004302183037022357022350
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C 00430218303159285159285620
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.aValidNotAccepted_C 0043021830392244922440
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_addressChangedNotAccepted_C 0043021830321859218599
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_dataChangedNotAccepted_C 0043021830322793227939
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_maskChangedNotAccepted_C 0043021830319672196729
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_opcodeChangedNotAccepted_C 0043021830315071150719
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_sizeChangedNotAccepted_C 0043021830314926149269
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.a_sourceChangedNotAccepted_C 0043021830311465114659
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bReqWithSameAddr_C 0043021830320536205360
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bReq_C 004302183036654636654630
tb.dut.tlul_assert_host_rv_dm__sba.gen_device_cov.b2bSameSource_C 00430218303129616129616620