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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total4000
Category 04000

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total4000
Severity 04000

Summary for Assertions
NUMBERPERCENT
Total Number40100.00
Uncovered00.00
Success40100.00
Failure00.00
Incomplete00.00
Without Attempts00.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 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[0].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[1].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[1].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[3].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[3].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[4].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[4].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[0].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[0].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[1].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[1].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[2].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[2].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[3].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[3].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[4].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[1].gen_duts[4].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[0].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[0].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[1].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[1].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[2].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[2].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[3].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[3].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[1].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[1].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[2].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[2].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut.SupportedWidths_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut.SupportedNumRounds_A 0050050000
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut.SupportedWidths_A 0050050000