Unified Coverage Report

Assertions by Category

	ASSERT	PROPERTIES	SEQUENCES
Total	40	0	0
Category 0	40	0	0

Assertions by Severity

	ASSERT	PROPERTIES	SEQUENCES
Total	40	0	0
Severity 0	40	0	0

Summary for Assertions

	NUMBER	PERCENT
Total Number	40	100.00
Uncovered	0	0.00
Success	40	100.00
Failure	0	0.00
Incomplete	0	0.00
Without Attempts	0	0.00

Detail Report for Assertions

Assertions Success:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[0].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[0].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[1].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[1].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[3].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[3].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[4].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[4].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[0].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[0].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[1].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[1].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[2].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[2].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[3].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[3].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[4].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[4].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[0].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[0].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[1].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[1].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[2].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[2].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[3].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[3].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[1].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[1].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[2].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[2].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut.SupportedWidths_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut.SupportedNumRounds_A	0	0	500	500	0	0
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut.SupportedWidths_A	0	0	500	500	0	0