Unified Coverage Report :: Assertions

Assertions

dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category

	ASSERT	PROPERTIES	SEQUENCES
Total	1028	0	10
Category 0	1028	0	10

Assertions by Severity

	ASSERT	PROPERTIES	SEQUENCES
Total	1028	0	10
Severity 0	1028	0	10

Summary for Assertions

	NUMBER	PERCENT
Total Number	1028	100.00
Uncovered	6	0.58
Success	1022	99.42
Failure	0	0.00
Incomplete	1	0.10
Without Attempts	0	0.00

Summary for Cover Sequences

	NUMBER	PERCENT
Total Number	10	100.00
Uncovered	0	0.00
All Matches	10	100.00
First Matches	10	100.00

Go previous page

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	1291986092	3734	3734	0
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	1291986092	4093	4093	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C	0	0	1291986092	3592	3592	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C	0	0	1291986092	12614	12614	0
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C	0	0	1291986092	91989	91989	843

Cover Sequences First Matches:

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE	SRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C	0	0	1291986092	1439214	1439214	0
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C	0	0	1291986092	2721	2721	0
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C	0	0	1291986092	6425	6425	0
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C	0	0	1291986092	4743	4743	0
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	1291986092	5913	5913	0
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	1291986092	3734	3734	0
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	1291986092	4093	4093	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C	0	0	1291986092	3592	3592	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C	0	0	1291986092	12614	12614	0
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C	0	0	1291986092	91989	91989	843