Line Coverage for Module :
kmac
| Line No. | Total | Covered | Percent |
| TOTAL | | 160 | 158 | 98.75 |
| ALWAYS | 346 | 0 | 0 | |
| ALWAYS | 346 | 2 | 2 | 100.00 |
| ALWAYS | 352 | 1 | 0 | 0.00 |
| CONT_ASSIGN | 421 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 422 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 426 | 1 | 1 | 100.00 |
| ALWAYS | 429 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 464 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 465 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 466 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 469 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 473 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 474 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 478 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 481 | 1 | 1 | 100.00 |
| ALWAYS | 488 | 6 | 6 | 100.00 |
| ALWAYS | 501 | 6 | 6 | 100.00 |
| CONT_ASSIGN | 518 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 525 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 528 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 529 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 530 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 532 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 533 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 535 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 537 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 539 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 543 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 545 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 546 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 549 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 550 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 553 | 1 | 1 | 100.00 |
| ALWAYS | 561 | 5 | 5 | 100.00 |
| CONT_ASSIGN | 571 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 577 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 578 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 579 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 587 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 629 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 635 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 643 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 648 | 1 | 1 | 100.00 |
| ALWAYS | 651 | 5 | 5 | 100.00 |
| CONT_ASSIGN | 679 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 684 | 1 | 1 | 100.00 |
| ALWAYS | 687 | 7 | 7 | 100.00 |
| CONT_ASSIGN | 723 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 728 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 735 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 745 | 1 | 1 | 100.00 |
| ALWAYS | 765 | 3 | 3 | 100.00 |
| ALWAYS | 769 | 28 | 28 | 100.00 |
| ALWAYS | 908 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 916 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 916 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 992 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 994 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1029 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1034 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1035 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1037 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1040 | 0 | 0 | |
| ALWAYS | 1161 | 0 | 0 | |
| ALWAYS | 1161 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 1248 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1405 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1412 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1417 | 1 | 1 | 100.00 |
| ALWAYS | 1423 | 6 | 5 | 83.33 |
| CONT_ASSIGN | 1432 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1434 | 1 | 1 | 100.00 |
| ALWAYS | 1446 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 1452 | 1 | 1 | 100.00 |
| ALWAYS | 1475 | 4 | 4 | 100.00 |
| ALWAYS | 1485 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 1496 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1500 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1502 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 346 |
1 |
1 |
| 347 |
1 |
1 |
| 352 |
0 |
1 |
| 421 |
1 |
1 |
| 422 |
1 |
1 |
| 426 |
1 |
1 |
| 429 |
1 |
1 |
| 430 |
1 |
1 |
| 431 |
1 |
1 |
| 432 |
1 |
1 |
| 434 |
1 |
1 |
| 436 |
1 |
1 |
| 440 |
1 |
1 |
| 444 |
1 |
1 |
| 448 |
1 |
1 |
| 464 |
1 |
1 |
| 465 |
1 |
1 |
| 466 |
1 |
1 |
| 469 |
1 |
1 |
| 473 |
1 |
1 |
| 474 |
1 |
1 |
| 478 |
1 |
1 |
| 481 |
1 |
1 |
| 488 |
1 |
1 |
| 489 |
1 |
1 |
| 490 |
1 |
1 |
| 491 |
1 |
1 |
| 492 |
1 |
1 |
| 493 |
1 |
1 |
|
|
|
MISSING_ELSE |
|
|
|
MISSING_ELSE |
| 501 |
1 |
1 |
| 502 |
1 |
1 |
| 503 |
1 |
1 |
| 504 |
1 |
1 |
| 505 |
1 |
1 |
| 506 |
1 |
1 |
|
|
|
MISSING_ELSE |
|
|
|
MISSING_ELSE |
| 518 |
1 |
1 |
| 525 |
1 |
1 |
| 528 |
1 |
1 |
| 529 |
1 |
1 |
| 530 |
1 |
1 |
| 532 |
1 |
1 |
| 533 |
1 |
1 |
| 535 |
1 |
1 |
| 537 |
1 |
1 |
| 539 |
1 |
1 |
| 543 |
1 |
1 |
| 545 |
1 |
1 |
| 546 |
1 |
1 |
| 549 |
1 |
1 |
| 550 |
1 |
1 |
| 553 |
1 |
1 |
| 561 |
1 |
1 |
| 562 |
1 |
1 |
| 563 |
1 |
1 |
| 564 |
1 |
1 |
| 566 |
1 |
1 |
| 571 |
1 |
1 |
| 577 |
1 |
1 |
| 578 |
1 |
1 |
| 579 |
1 |
1 |
| 587 |
1 |
1 |
| 629 |
1 |
1 |
| 635 |
1 |
1 |
| 643 |
1 |
1 |
| 648 |
1 |
1 |
| 651 |
1 |
1 |
| 652 |
1 |
1 |
| 653 |
1 |
1 |
| 655 |
1 |
1 |
| 656 |
1 |
1 |
| 679 |
1 |
1 |
| 684 |
1 |
1 |
| 687 |
1 |
1 |
| 689 |
1 |
1 |
| 694 |
1 |
1 |
| 698 |
1 |
1 |
| 702 |
1 |
1 |
| 706 |
1 |
1 |
| 710 |
1 |
1 |
| 723 |
1 |
1 |
| 728 |
1 |
1 |
| 735 |
1 |
1 |
| 745 |
1 |
1 |
| 765 |
3 |
3 |
| 769 |
1 |
1 |
| 771 |
1 |
1 |
| 772 |
1 |
1 |
| 774 |
1 |
1 |
| 776 |
1 |
1 |
| 778 |
1 |
1 |
| 779 |
1 |
1 |
| 782 |
1 |
1 |
| 785 |
1 |
1 |
| 791 |
1 |
1 |
| 792 |
1 |
1 |
| 794 |
1 |
1 |
| 799 |
1 |
1 |
| 800 |
1 |
1 |
| 801 |
1 |
1 |
| 803 |
1 |
1 |
| 809 |
1 |
1 |
| 814 |
1 |
1 |
| 815 |
1 |
1 |
| 817 |
1 |
1 |
| 819 |
1 |
1 |
| 825 |
1 |
1 |
| 826 |
1 |
1 |
| 828 |
1 |
1 |
| 834 |
1 |
1 |
| 835 |
1 |
1 |
| 847 |
1 |
1 |
| 848 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 908 |
1 |
1 |
| 909 |
1 |
1 |
| 911 |
1 |
1 |
| 916 |
2 |
2 |
| 992 |
1 |
1 |
| 994 |
1 |
1 |
| 1029 |
1 |
1 |
| 1034 |
1 |
1 |
| 1035 |
1 |
1 |
| 1037 |
1 |
1 |
| 1040 |
|
unreachable |
| 1161 |
1 |
1 |
| 1162 |
1 |
1 |
| 1248 |
1 |
1 |
| 1391 |
1 |
1 |
| 1405 |
1 |
1 |
| 1412 |
1 |
1 |
| 1417 |
1 |
1 |
| 1423 |
1 |
1 |
| 1424 |
1 |
1 |
| 1425 |
1 |
1 |
| 1426 |
0 |
1 |
| 1427 |
1 |
1 |
| 1428 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1432 |
1 |
1 |
| 1434 |
1 |
1 |
| 1446 |
1 |
1 |
| 1447 |
1 |
1 |
| 1448 |
1 |
1 |
| 1449 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1452 |
1 |
1 |
| 1475 |
1 |
1 |
| 1476 |
1 |
1 |
| 1477 |
1 |
1 |
| 1479 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 1485 |
1 |
1 |
| 1486 |
1 |
1 |
| 1489 |
1 |
1 |
| 1496 |
1 |
1 |
| 1500 |
1 |
1 |
| 1502 |
6 |
6 |
Cond Coverage for Module :
kmac
| Total | Covered | Percent |
| Conditions | 92 | 89 | 96.74 |
| Logical | 92 | 89 | 96.74 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 426
EXPRESSION (cmd_update ? cmd_q : CmdNone)
-----1----
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 464
EXPRESSION (sha3_fsm == StIdle)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 465
EXPRESSION (sha3_fsm == StAbsorb)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 466
EXPRESSION (sha3_fsm == StSqueeze)
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 478
EXPRESSION (sha3_fsm == StIdle)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 530
EXPRESSION (reg2hw.cmd.entropy_req.q && reg2hw.cmd.entropy_req.qe)
------------1----------- ------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T60,T61,T62 |
LINE 539
EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
-------------1------------ ------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T15,T60,T61 |
LINE 543
EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
-----------------1----------------- ------------------2-----------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T4,T10,T11 |
| 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 550
EXPRESSION (cfg_msg_mask & msg_valid & msg_ready)
------1----- ----2---- ----3----
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | 1 | Covered | T2,T3,T17 |
| 1 | 1 | 0 | Covered | T2,T3,T17 |
| 1 | 1 | 1 | Covered | T2,T3,T17 |
LINE 563
EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
----------1--------- ------------------2------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T29,T31,T84 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 563
SUB-EXPRESSION (sha3_fsm == StIdle)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T1,T2,T3 |
LINE 563
SUB-EXPRESSION (msgfifo_empty || SecIdleAcceptSwMsg)
------1------ ---------2--------
| -1- | -2- | Status | Tests |
| 0 | - | Covered | T2,T3,T17 |
| 1 | - | Covered | T1,T2,T3 |
LINE 571
EXPRESSION (reg2hw.cmd.err_processed.q & reg2hw.cmd.err_processed.qe)
-------------1------------ -------------2-------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T39,T43,T55 |
LINE 629
EXPRESSION (msgfifo_empty_q & ((~msgfifo_empty)))
-------1------- ---------2--------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 635
EXPRESSION (msgfifo_full ? 1'b1 : (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)))
------1-----
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T21,T8 |
LINE 635
SUB-EXPRESSION (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q))
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 635
SUB-EXPRESSION (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 643
EXPRESSION (app_active ? 1'b1 : ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))))
-----1----
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T7,T8 |
LINE 643
SUB-EXPRESSION ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q))))
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T1,T2,T3 |
LINE 643
SUB-EXPRESSION (sha3_fsm != StAbsorb)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T1,T2,T3 |
LINE 643
SUB-EXPRESSION (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))
----------1---------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T17 |
| 1 | Covered | T2,T3,T17 |
LINE 648
EXPRESSION (msgfifo_empty_gate ? 1'b0 : msgfifo_empty)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T3,T21,T9 |
| 1 | Covered | T1,T2,T3 |
LINE 679
EXPRESSION (sha3_err.valid | app_err.valid | entropy_err.valid | errchecker_err.valid)
-------1------ ------2------ --------3-------- ----------4---------
| -1- | -2- | -3- | -4- | Status | Tests |
| 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 0 | 1 | Covered | T21,T22,T23 |
| 0 | 0 | 1 | 0 | Covered | T39,T43,T55 |
| 0 | 1 | 0 | 0 | Covered | T7,T12,T22 |
| 1 | 0 | 0 | 0 | Covered | T9,T15,T16 |
LINE 723
EXPRESSION (sha3_count_error | kmac_entropy_hash_counter_error | key_index_error | msgfifo_counter_error)
--------1------- ---------------2--------------- -------3------- ----------4----------
| -1- | -2- | -3- | -4- | Status | Tests |
| 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 0 | 1 | Covered | T29,T30,T31 |
| 0 | 0 | 1 | 0 | Covered | T29,T30,T31 |
| 0 | 1 | 0 | 0 | Covered | T29,T30,T31 |
| 1 | 0 | 0 | 0 | Covered | T29,T30,T31 |
LINE 735
EXPRESSION (sha3_state_error | kmac_errchk_state_error | kmac_core_state_error | kmac_app_state_error | kmac_entropy_state_error | kmac_state_error)
--------1------- -----------2----------- ----------3---------- ----------4--------- ------------5----------- --------6-------
| -1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
| 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 0 | 0 | 0 | 1 | Covered | T29,T30,T31 |
| 0 | 0 | 0 | 0 | 1 | 0 | Covered | T29,T30,T31 |
| 0 | 0 | 0 | 1 | 0 | 0 | Covered | T29,T30,T31 |
| 0 | 0 | 1 | 0 | 0 | 0 | Covered | T29,T30,T31 |
| 0 | 1 | 0 | 0 | 0 | 0 | Covered | T29,T30,T31 |
| 1 | 0 | 0 | 0 | 0 | 0 | Covered | T29,T30,T31 |
LINE 776
EXPRESSION (kmac_cmd == CmdStart)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 778
EXPRESSION (CShake == app_sha3_mode)
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T2,T3,T34 |
| 1 | Covered | T3,T17,T7 |
LINE 792
EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
-----1-----
| -1- | Status | Tests |
| 0 | Covered | T3,T8,T9 |
| 1 | Covered | T3,T17,T7 |
LINE 1029
EXPRESSION (tlram_req & tlram_we)
----1---- ----2---
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T2,T3,T17 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T2,T3,T17 |
LINE 1162
EXPRESSION (reg_state_valid ? reg_state[i] : 'b0)
-------1-------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T17 |
LINE 1405
SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
-----------------1----------------- ------------------2-----------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T35,T115 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T35,T115 |
LINE 1405
SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
-------------------1------------------- --------------------2-------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T35,T115 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T35,T115 |
LINE 1434
EXPRESSION (shadowed_storage_err | alert_intg_err | sparse_fsm_error | counter_error | control_integrity_error)
----------1--------- -------2------ --------3------- ------4------ -----------5-----------
| -1- | -2- | -3- | -4- | -5- | Status | Tests |
| 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 0 | 0 | 1 | Not Covered | |
| 0 | 0 | 0 | 1 | 0 | Covered | T29,T30,T31 |
| 0 | 0 | 1 | 0 | 0 | Covered | T7,T12,T13 |
| 0 | 1 | 0 | 0 | 0 | Covered | T29,T30,T31 |
| 1 | 0 | 0 | 0 | 0 | Not Covered | |
Toggle Coverage for Module :
kmac
| Total | Covered | Percent |
| Totals |
71 |
71 |
100.00 |
| Total Bits |
6534 |
6534 |
100.00 |
| Total Bits 0->1 |
3267 |
3267 |
100.00 |
| Total Bits 1->0 |
3267 |
3267 |
100.00 |
| | | |
| Ports |
71 |
71 |
100.00 |
| Port Bits |
6534 |
6534 |
100.00 |
| Port Bits 0->1 |
3267 |
3267 |
100.00 |
| Port Bits 1->0 |
3267 |
3267 |
100.00 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T7,T9,T12 |
Yes |
T1,T2,T3 |
INPUT |
| rst_shadowed_ni |
Yes |
Yes |
T7,T9,T12 |
Yes |
T1,T2,T3 |
INPUT |
| clk_edn_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_edn_ni |
Yes |
Yes |
T7,T9,T12 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.d_ready |
Yes |
Yes |
T2,T17,T7 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_user.data_intg[6:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_user.cmd_intg[6:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_user.instr_type[3:0] |
Yes |
Yes |
T1,T39,T43 |
Yes |
T1,T39,T43 |
INPUT |
| tl_i.a_user.rsvd[4:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| tl_i.a_data[31:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_mask[3:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_address[31:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_source[7:0] |
Yes |
Yes |
T1,T3,T17 |
Yes |
T1,T3,T17 |
INPUT |
| tl_i.a_size[1:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_param[2:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| tl_i.a_opcode[2:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_i.a_valid |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| tl_o.a_ready |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| tl_o.d_error |
Yes |
Yes |
T18,T53,T88 |
Yes |
T18,T53,T88 |
OUTPUT |
| tl_o.d_user.data_intg[6:0] |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
OUTPUT |
| tl_o.d_user.rsp_intg[5:0] |
Yes |
Yes |
*T1,*T2,*T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| tl_o.d_user.rsp_intg[6] |
Unreachable |
Unreachable |
|
Unreachable |
|
OUTPUT |
| tl_o.d_data[31:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T2,T3,T17 |
OUTPUT |
| tl_o.d_sink |
Unreachable |
Unreachable |
|
Unreachable |
|
OUTPUT |
| tl_o.d_source[7:0] |
Yes |
Yes |
T2,T3,T17 |
Yes |
T1,T2,T3 |
OUTPUT |
| tl_o.d_size[1:0] |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| tl_o.d_param[2:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
OUTPUT |
| tl_o.d_opcode[0] |
Yes |
Yes |
*T1,*T2,*T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| tl_o.d_opcode[2:1] |
Unreachable |
Unreachable |
|
Unreachable |
|
OUTPUT |
| tl_o.d_valid |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| alert_rx_i[0].ack_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| alert_rx_i[0].ack_p |
Yes |
Yes |
T1,T35,T115 |
Yes |
T1,T35,T115 |
INPUT |
| alert_rx_i[0].ping_n |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| alert_rx_i[0].ping_p |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| alert_rx_i[1].ack_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| alert_rx_i[1].ack_p |
Yes |
Yes |
T1,T35,T7 |
Yes |
T1,T35,T7 |
INPUT |
| alert_rx_i[1].ping_n |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| alert_rx_i[1].ping_p |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| alert_tx_o[0].alert_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| alert_tx_o[0].alert_p |
Yes |
Yes |
T1,T35,T115 |
Yes |
T1,T35,T115 |
OUTPUT |
| alert_tx_o[1].alert_n |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
OUTPUT |
| alert_tx_o[1].alert_p |
Yes |
Yes |
T1,T35,T7 |
Yes |
T1,T35,T7 |
OUTPUT |
| keymgr_key_i.key[0][3:0] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][4] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][5] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][7:6] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][11:8] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][12] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][14:13] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][16:15] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][17] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][18] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][20:19] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][22:21] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][23] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][24] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][31:25] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][33:32] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][36:34] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][37] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][40:38] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][41] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][45:42] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][46] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][49:47] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][50] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][56:51] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][57] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][59:58] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][62:60] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][66:63] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][68:67] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][79:69] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][80] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][82:81] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][83] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][85:84] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][86] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][88:87] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][89] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][91:90] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][94:92] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][97:95] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][99:98] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][108:100] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][109] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][111:110] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][113:112] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][117:114] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][118] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][119] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][120] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][132:121] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][133] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][137:134] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][139:138] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][158:140] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][159] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][163:160] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][165:164] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][170:166] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][171] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][194:172] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][196:195] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][204:197] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][205] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][210:206] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][211] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][213:212] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][214] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][217:215] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][218] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][219] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][220] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][227:221] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][228] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][236:229] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][238:237] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][240:239] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][241] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][243:242] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][244] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][245] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][246] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][253:247] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[0][255:254] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][0] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][1] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][6:2] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][7] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][10:8] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][11] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][13:12] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][14] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][18:15] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][19] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][21:20] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][22] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][28:23] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][31:29] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][32] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][33] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][36:34] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][38:37] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][40:39] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][41] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][43:42] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][44] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][48:45] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][49] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][54:50] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][55] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][58:56] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][59] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][63:60] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][64] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][66:65] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][67] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][69:68] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][70] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][71] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][72] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][78:73] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][82:79] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][90:83] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][92:91] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][97:93] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][99:98] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][102:100] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][103] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][109:104] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][110] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][115:111] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][116] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][117] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][120:118] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][125:121] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][126] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][137:127] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][138] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][143:139] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][144] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][145] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][146] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][155:147] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][156] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][157] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][159:158] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][162:160] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][163] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][167:164] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][168] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][170:169] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][171] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][173:172] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][175:174] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][190:176] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][192:191] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][193] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][194] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][195] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][196] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][210:197] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][211] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][219:212] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][220] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][224:221] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][225] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][226] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][228:227] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][229] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][230] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][233:231] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][235:234] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][236] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][237] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][239:238] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][240] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][242:241] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][243] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][246:244] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][247] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][252:248] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][253] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.key[1][255:254] |
Yes |
Yes |
T21,T8,T9 |
Yes |
T21,T8,T9 |
INPUT |
| keymgr_key_i.valid |
Yes |
Yes |
T3,T21,T8 |
Yes |
T3,T7,T21 |
INPUT |
| app_i[0].last |
Yes |
Yes |
T8,T9,T20 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[0].strb[7:0] |
Yes |
Yes |
T20,T40,T18 |
Yes |
T20,T40,T18 |
INPUT |
| app_i[0].data[63:0] |
Yes |
Yes |
T3,T7,T8 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[0].valid |
Yes |
Yes |
T3,T7,T8 |
Yes |
T3,T7,T8 |
INPUT |
| app_i[1].last |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[1].strb[7:0] |
Yes |
Yes |
T20,T18,T15 |
Yes |
T20,T18,T15 |
INPUT |
| app_i[1].data[63:0] |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[1].valid |
Yes |
Yes |
T3,T7,T8 |
Yes |
T3,T7,T8 |
INPUT |
| app_i[2].last |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[2].strb[7:0] |
Yes |
Yes |
T20,T18,T15 |
Yes |
T20,T18,T15 |
INPUT |
| app_i[2].data[63:0] |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
INPUT |
| app_i[2].valid |
Yes |
Yes |
T3,T7,T8 |
Yes |
T3,T7,T8 |
INPUT |
| app_o[0].error |
Yes |
Yes |
T7,T9,T12 |
Yes |
T7,T9,T12 |
OUTPUT |
| app_o[0].digest_share1[383:0] |
Yes |
Yes |
T8,T9,T20 |
Yes |
T8,T9,T20 |
OUTPUT |
| app_o[0].digest_share0[383:0] |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[0].done |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[0].ready |
Yes |
Yes |
T3,T7,T8 |
Yes |
T3,T7,T8 |
OUTPUT |
| app_o[1].error |
Yes |
Yes |
T9,T13,T15 |
Yes |
T9,T13,T15 |
OUTPUT |
| app_o[1].digest_share1[383:0] |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[1].digest_share0[383:0] |
Yes |
Yes |
T8,T9,T20 |
Yes |
T8,T9,T20 |
OUTPUT |
| app_o[1].done |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[1].ready |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[2].error |
Yes |
Yes |
T9,T15,T16 |
Yes |
T9,T15,T16 |
OUTPUT |
| app_o[2].digest_share1[383:0] |
Yes |
Yes |
T8,T9,T20 |
Yes |
T8,T9,T20 |
OUTPUT |
| app_o[2].digest_share0[383:0] |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[2].done |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| app_o[2].ready |
Yes |
Yes |
T3,T8,T9 |
Yes |
T3,T8,T9 |
OUTPUT |
| entropy_o.edn_req |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
OUTPUT |
| entropy_i.edn_bus[31:0] |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
INPUT |
| entropy_i.edn_fips |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
INPUT |
| entropy_i.edn_ack |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
INPUT |
| lc_escalate_en_i[3:0] |
Yes |
Yes |
T13,T28,T45 |
Yes |
T13,T28,T45 |
INPUT |
| intr_kmac_done_o |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
OUTPUT |
| intr_fifo_empty_o |
Yes |
Yes |
T21,T9,T20 |
Yes |
T21,T9,T20 |
OUTPUT |
| intr_kmac_err_o |
Yes |
Yes |
T7,T21,T39 |
Yes |
T7,T21,T39 |
OUTPUT |
| en_masking_o |
Unreachable |
Unreachable |
|
Unreachable |
|
OUTPUT |
| idle_o[3:0] |
Yes |
Yes |
T2,T3,T17 |
Yes |
T2,T3,T17 |
OUTPUT |
*Tests covering at least one bit in the range
FSM Coverage for Module :
kmac
Summary for FSM :: kmac_st
| Total | Covered | Percent | |
| States |
6 |
6 |
100.00 |
(Not included in score) |
| Transitions |
13 |
13 |
100.00 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: kmac_st
| states | Line No. | Covered | Tests |
| KmacDigest |
817 |
Covered |
T2,T3,T17 |
| KmacIdle |
785 |
Covered |
T1,T2,T3 |
| KmacKeyBlock |
792 |
Covered |
T3,T17,T7 |
| KmacMsgFeed |
782 |
Covered |
T2,T3,T17 |
| KmacPrefix |
779 |
Covered |
T3,T17,T7 |
| KmacTerminalError |
834 |
Covered |
T7,T12,T13 |
| transitions | Line No. | Covered | Tests |
| KmacDigest->KmacIdle |
826 |
Covered |
T2,T3,T17 |
| KmacDigest->KmacTerminalError |
848 |
Covered |
T52,T54 |
| KmacIdle->KmacMsgFeed |
782 |
Covered |
T2,T3,T34 |
| KmacIdle->KmacPrefix |
779 |
Covered |
T3,T17,T7 |
| KmacIdle->KmacTerminalError |
848 |
Covered |
T29,T30,T31 |
| KmacKeyBlock->KmacMsgFeed |
801 |
Covered |
T3,T17,T21 |
| KmacKeyBlock->KmacTerminalError |
848 |
Covered |
T7,T44,T57 |
| KmacMsgFeed->KmacDigest |
817 |
Covered |
T2,T3,T17 |
| KmacMsgFeed->KmacIdle |
814 |
Covered |
T3,T8,T9 |
| KmacMsgFeed->KmacTerminalError |
848 |
Covered |
T12,T56,T116 |
| KmacPrefix->KmacKeyBlock |
792 |
Covered |
T3,T17,T7 |
| KmacPrefix->KmacMsgFeed |
792 |
Covered |
T3,T8,T9 |
| KmacPrefix->KmacTerminalError |
848 |
Covered |
T13,T28,T45 |
Branch Coverage for Module :
kmac
| Line No. | Total | Covered | Percent |
| Branches |
|
68 |
66 |
97.06 |
| TERNARY |
426 |
2 |
2 |
100.00 |
| TERNARY |
635 |
4 |
4 |
100.00 |
| TERNARY |
643 |
4 |
4 |
100.00 |
| TERNARY |
648 |
2 |
2 |
100.00 |
| CASE |
434 |
6 |
5 |
83.33 |
| IF |
488 |
3 |
3 |
100.00 |
| IF |
561 |
3 |
3 |
100.00 |
| IF |
651 |
2 |
2 |
100.00 |
| CASE |
689 |
6 |
6 |
100.00 |
| IF |
765 |
2 |
2 |
100.00 |
| CASE |
774 |
15 |
15 |
100.00 |
| IF |
847 |
2 |
2 |
100.00 |
| TERNARY |
1162 |
2 |
2 |
100.00 |
| IF |
1423 |
4 |
3 |
75.00 |
| IF |
1446 |
3 |
3 |
100.00 |
| IF |
1475 |
3 |
3 |
100.00 |
| IF |
1485 |
2 |
2 |
100.00 |
| IF |
501 |
3 |
3 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 426 (cmd_update) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T3,T17 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 635 (msgfifo_full) ?
-2-: 635 (msgfifo_empty_negedge) ?
-3-: 635 (msgfifo2kmac_process) ?
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T3,T21,T8 |
| 0 |
1 |
- |
Covered |
T2,T3,T17 |
| 0 |
0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 643 (app_active) ?
-2-: 643 ((sha3_fsm != StAbsorb)) ?
-3-: 643 (msgfifo2kmac_process) ?
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T3,T7,T8 |
| 0 |
1 |
- |
Covered |
T1,T2,T3 |
| 0 |
0 |
1 |
Covered |
T2,T3,T17 |
| 0 |
0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 648 (msgfifo_empty_gate) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T3,T21,T9 |
LineNo. Expression
-1-: 434 case (kmac_cmd)
Branches:
| -1- | Status | Tests |
| CmdStart |
Covered |
T2,T3,T17 |
| CmdProcess |
Covered |
T2,T3,T17 |
| CmdManualRun |
Covered |
T3,T21,T8 |
| CmdDone |
Covered |
T2,T3,T17 |
| CmdNone |
Covered |
T1,T2,T3 |
| default |
Not Covered |
|
LineNo. Expression
-1-: 488 if ((!rst_ni))
-2-: 490 if (engine_stable)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T2,T3 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 561 if ((!rst_ni))
-2-: 563 if (((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg)))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T2,T3 |
| 0 |
0 |
Covered |
T2,T3,T17 |
LineNo. Expression
-1-: 651 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 689 case (1'b1)
Branches:
| -1- | Status | Tests |
| app_err.valid |
Covered |
T7,T12,T22 |
| errchecker_err.valid |
Covered |
T21,T22,T23 |
| sha3_err.valid |
Covered |
T9,T15,T16 |
| entropy_err.valid |
Covered |
T39,T43,T55 |
| msgfifo_err.valid |
Covered |
T29,T30,T31 |
| default |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 765 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 774 case (kmac_st)
-2-: 776 if ((kmac_cmd == CmdStart))
-3-: 778 if ((CShake == app_sha3_mode))
-4-: 791 if (sha3_block_processed)
-5-: 792 (app_kmac_en) ?
-6-: 800 if (sha3_block_processed)
-7-: 809 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done)))
-8-: 815 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done)))
-9-: 825 if (prim_mubi_pkg::mubi4_test_true_strict(sha3_done))
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | Status | Tests |
| KmacIdle |
1 |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T3,T17,T7 |
| KmacIdle |
1 |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T2,T3,T34 |
| KmacIdle |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| KmacPrefix |
- |
- |
1 |
1 |
- |
- |
- |
- |
Covered |
T3,T17,T7 |
| KmacPrefix |
- |
- |
1 |
0 |
- |
- |
- |
- |
Covered |
T3,T8,T9 |
| KmacPrefix |
- |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T3,T17,T7 |
| KmacKeyBlock |
- |
- |
- |
- |
1 |
- |
- |
- |
Covered |
T3,T17,T21 |
| KmacKeyBlock |
- |
- |
- |
- |
0 |
- |
- |
- |
Covered |
T3,T17,T7 |
| KmacMsgFeed |
- |
- |
- |
- |
- |
1 |
- |
- |
Covered |
T3,T8,T9 |
| KmacMsgFeed |
- |
- |
- |
- |
- |
0 |
1 |
- |
Covered |
T2,T3,T17 |
| KmacMsgFeed |
- |
- |
- |
- |
- |
0 |
0 |
- |
Covered |
T2,T3,T17 |
| KmacDigest |
- |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T2,T3,T17 |
| KmacDigest |
- |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T2,T3,T17 |
| KmacTerminalError |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T7,T12,T13 |
| default |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T29,T30,T31 |
LineNo. Expression
-1-: 847 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en[0]))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T7,T12,T13 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1162 (reg_state_valid) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T3,T17 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1423 if ((!rst_ni))
-2-: 1425 if (alert_recov_operation)
-3-: 1427 if (err_processed)
Branches:
| -1- | -2- | -3- | Status | Tests |
| 1 |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
- |
Not Covered |
|
| 0 |
0 |
1 |
Covered |
T39,T43,T55 |
| 0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1446 if ((!rst_ni))
-2-: 1448 if (alert_fatal)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T7,T12,T13 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1475 if ((!rst_ni))
-2-: 1477 if (alerts[1])
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T7,T12,T13 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1485 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 501 if ((!rst_ni))
-2-: 503 if (engine_stable)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T2,T3 |
| 0 |
0 |
Covered |
T2,T3,T17 |
Assert Coverage for Module :
kmac
Assertion Details
AlertKnownO_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
CmdSparse_M
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
1254844 |
0 |
0 |
| T2 |
259964 |
7496 |
0 |
0 |
| T3 |
47647 |
46 |
0 |
0 |
| T7 |
2729 |
1 |
0 |
0 |
| T17 |
27156 |
28 |
0 |
0 |
| T21 |
71414 |
189 |
0 |
0 |
| T34 |
716115 |
7480 |
0 |
0 |
| T35 |
1658 |
0 |
0 |
0 |
| T36 |
195911 |
1203 |
0 |
0 |
| T37 |
712891 |
999 |
0 |
0 |
| T38 |
195793 |
1203 |
0 |
0 |
| T39 |
0 |
10 |
0 |
0 |
EnMaskingKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
EntropyReadyLatched_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
332289 |
0 |
0 |
| T2 |
259964 |
2261 |
0 |
0 |
| T3 |
47647 |
13 |
0 |
0 |
| T7 |
2729 |
1 |
0 |
0 |
| T17 |
27156 |
9 |
0 |
0 |
| T21 |
71414 |
24 |
0 |
0 |
| T34 |
716115 |
2268 |
0 |
0 |
| T35 |
1658 |
0 |
0 |
0 |
| T36 |
195911 |
361 |
0 |
0 |
| T37 |
712891 |
302 |
0 |
0 |
| T38 |
195793 |
364 |
0 |
0 |
| T39 |
0 |
7 |
0 |
0 |
EntrySizeRegSameToEntrySizePkg_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1019 |
1019 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
ErrProcessedLatched_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
852 |
0 |
0 |
| T4 |
458696 |
0 |
0 |
0 |
| T5 |
0 |
5 |
0 |
0 |
| T6 |
0 |
3 |
0 |
0 |
| T8 |
920875 |
0 |
0 |
0 |
| T9 |
487025 |
0 |
0 |
0 |
| T12 |
2900 |
0 |
0 |
0 |
| T14 |
0 |
1 |
0 |
0 |
| T20 |
726548 |
0 |
0 |
0 |
| T22 |
281279 |
0 |
0 |
0 |
| T39 |
1373 |
7 |
0 |
0 |
| T40 |
11024 |
0 |
0 |
0 |
| T43 |
2501 |
16 |
0 |
0 |
| T55 |
0 |
10 |
0 |
0 |
| T80 |
22097 |
0 |
0 |
0 |
| T117 |
0 |
18 |
0 |
0 |
| T118 |
0 |
2 |
0 |
0 |
| T119 |
0 |
7 |
0 |
0 |
| T120 |
0 |
15 |
0 |
0 |
FifoEmpty_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
FpvSecCmErrorCheckFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmKeccackFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmKeyIndexCountCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmKmacAppFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmKmacCoreFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmKmacFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmRegWeOnehotCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmRoundCountCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmSHA3FsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmSHA3padFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
FpvSecCmSentMsgCountCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
KmacCmd_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
KmacDone_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
KmacErr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
KmacStKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
NumAlerts2_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1019 |
1019 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
NumEntriesRegSameToNumEntriesPkg_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1019 |
1019 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
PrefixRegSameToPrefixPkg_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1019 |
1019 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
SecretKeyDivideBy32_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1019 |
1019 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
Sha3AbsorbedPulse_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
341602 |
0 |
0 |
| T2 |
259964 |
2337 |
0 |
0 |
| T3 |
47647 |
13 |
0 |
0 |
| T7 |
2729 |
0 |
0 |
0 |
| T8 |
0 |
130 |
0 |
0 |
| T9 |
0 |
269 |
0 |
0 |
| T17 |
27156 |
9 |
0 |
0 |
| T21 |
71414 |
24 |
0 |
0 |
| T34 |
716115 |
2337 |
0 |
0 |
| T35 |
1658 |
0 |
0 |
0 |
| T36 |
195911 |
374 |
0 |
0 |
| T37 |
712891 |
310 |
0 |
0 |
| T38 |
195793 |
374 |
0 |
0 |
TlOAReadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
TlODValidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |
g_testassertion.FpvSecCmEntropyFsmCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
g_testassertion.FpvSecCmHashCountCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
g_testassertion.FpvSecCmMsgFifoRptrCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
g_testassertion.FpvSecCmMsgFifoWptrCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
g_testassertion.FpvSecCmPackerCountCheck_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
80 |
0 |
0 |
| T29 |
436492 |
10 |
0 |
0 |
| T30 |
0 |
20 |
0 |
0 |
| T31 |
0 |
10 |
0 |
0 |
| T84 |
0 |
20 |
0 |
0 |
| T121 |
0 |
20 |
0 |
0 |
| T122 |
193826 |
0 |
0 |
0 |
| T123 |
147224 |
0 |
0 |
0 |
| T124 |
30094 |
0 |
0 |
0 |
| T125 |
197453 |
0 |
0 |
0 |
| T126 |
103231 |
0 |
0 |
0 |
| T127 |
140824 |
0 |
0 |
0 |
| T128 |
234825 |
0 |
0 |
0 |
| T129 |
20484 |
0 |
0 |
0 |
| T130 |
1360 |
0 |
0 |
0 |
u_state_regs_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
2147483647 |
0 |
0 |
| T1 |
1112 |
1013 |
0 |
0 |
| T2 |
259964 |
259964 |
0 |
0 |
| T3 |
47647 |
47566 |
0 |
0 |
| T7 |
2729 |
2538 |
0 |
0 |
| T17 |
27156 |
27068 |
0 |
0 |
| T21 |
71414 |
71361 |
0 |
0 |
| T34 |
716115 |
716108 |
0 |
0 |
| T35 |
1658 |
1580 |
0 |
0 |
| T36 |
195911 |
195904 |
0 |
0 |
| T37 |
712891 |
712885 |
0 |
0 |