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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1600
Category 01600


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1600
Severity 01600


Summary for Assertions
NUMBERPERCENT
Total Number16100.00
Uncovered00.00
Success16100.00
Failure00.00
Incomplete00.00
Without Attempts00.00


Detail Report for Assertions

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[0].dut.SupportedNumPhysRounds0_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[0].dut.SupportedNumPhysRounds1_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[0].dut.SupportedNumRounds_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[0].dut.SupportedWidths_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[1].dut.SupportedNumPhysRounds0_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[1].dut.SupportedNumPhysRounds1_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[1].dut.SupportedNumRounds_A 00424200
prim_present_tb.gen_encrypt_decrypt[0].gen_duts[1].dut.SupportedWidths_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[0].dut.SupportedNumPhysRounds0_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[0].dut.SupportedNumPhysRounds1_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[0].dut.SupportedNumRounds_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[0].dut.SupportedWidths_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[1].dut.SupportedNumPhysRounds0_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[1].dut.SupportedNumPhysRounds1_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[1].dut.SupportedNumRounds_A 00424200
prim_present_tb.gen_encrypt_decrypt[1].gen_duts[1].dut.SupportedWidths_A 00424200

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%