You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
208 lines
7.1 KiB
208 lines
7.1 KiB
{ "details" : [
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.P2",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 143,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.P3",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 144,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.P4",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 145,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.accepto_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 147,
|
|
"finished-count": 678,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.accept_in_round_0_only_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 148,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.validi_and_accepto_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 150,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.accept_off_when_valid_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 151,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valido_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 153,
|
|
"finished-count": 80,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valid_in_last_round_only_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 154,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valido_and_accepti_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 156,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valid_off_when_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 157,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valido_and_not_accepti_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 159,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.valid_stable_when_not_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 160,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_enc@aes_enc(rtl).iterg.psl.data_stable_when_not_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_enc.vhd",
|
|
"line": 161,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.P2",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 144,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.P3",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 145,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assumption",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.P4",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 146,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.accepto_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 148,
|
|
"finished-count": 678,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.accept_in_round_0_only_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 149,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.validi_and_accepto_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 151,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.accept_off_when_valid_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 152,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valido_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 154,
|
|
"finished-count": 80,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valid_in_last_round_only_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 155,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valido_and_accepti_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 157,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valid_off_when_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 158,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "cover",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valido_and_not_accepti_c",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 160,
|
|
"finished-count": 40,
|
|
"started-count": 1218,
|
|
"status": "covered"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.valid_stable_when_not_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 161,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"},
|
|
{ "directive": "assertion",
|
|
"name": ".aes(rtl).i_aes_dec@aes_dec(rtl).iterg.psl.data_stable_when_not_accepted_a",
|
|
"file": "../ext/cryptocores/aes/rtl/vhdl/aes_dec.vhd",
|
|
"line": 162,
|
|
"finished-count": 0,
|
|
"started-count": 1218,
|
|
"status": "passed"}],
|
|
"summary" : {
|
|
"assert": 12,
|
|
"assert-failure": 0,
|
|
"assert-pass": 12,
|
|
"assume": 6,
|
|
"assume-failure": 0,
|
|
"assume-pass": 6,
|
|
"cover": 10,
|
|
"cover-failure": 0,
|
|
"cover-pass": 10}
|
|
}
|