Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : kmac_app
SCORELINECONDTOGGLEFSMBRANCHASSERT
80.04 90.99 84.93 37.78 86.52 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_app_intf 80.04 90.99 84.93 37.78 86.52 100.00



Module Instance : tb.dut.u_app_intf

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
80.04 90.99 84.93 37.78 86.52 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
81.00 91.14 87.72 37.78 88.35 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.24 96.27 93.33 100.00 100.00 93.85 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_appid_arb 95.05 87.50 92.68 100.00 100.00
u_prim_buf_state_err_check 100.00 100.00
u_prim_buf_state_kmac_sel 100.00 100.00
u_prim_buf_state_output_sel 100.00 100.00
u_prim_buf_state_output_valid 100.00 100.00
u_state_regs 100.00 100.00 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : kmac_app
Line No.TotalCoveredPercent
TOTAL22220290.99
ALWAYS2906583.33
ALWAYS30400
ALWAYS30444100.00
ALWAYS32966100.00
ALWAYS34833100.00
CONT_ASSIGN37211100.00
CONT_ASSIGN37311100.00
ALWAYS37633100.00
ALWAYS38533100.00
ALWAYS388100.00
ALWAYS393957882.11
CONT_ASSIGN65311100.00
ALWAYS65933100.00
ALWAYS6821818100.00
ALWAYS72655100.00
CONT_ASSIGN74611100.00
CONT_ASSIGN75711100.00
CONT_ASSIGN76811100.00
ALWAYS7901313100.00
ALWAYS81566100.00
ALWAYS84333100.00
ALWAYS8532020100.00
ALWAYS9048787.50
ALWAYS9331616100.00
ALWAYS96033100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
290 2 2
291 1 2
292 2 2
MISSING_ELSE
304 1 1
305 1 1
306 1 1
316 1 1
329 2 2
330 2 2
331 2 2
MISSING_ELSE
348 1 1
349 1 1
350 1 1
372 1 1
373 1 1
376 2 2
377 1 1
385 3 3
388 0 1
393 1 1
395 1 1
398 1 1
399 1 1
402 1 1
405 1 1
408 1 1
409 1 1
411 1 1
413 1 1
414 1 1
417 1 1
418 1 1
420 1 1
422 1 1
423 1 1
426 1 1
427 1 1
428 1 1
430 1 1
432 1 1
437 1 1
444 0 1
446 0 1
450 1 1
453 1 1
458 1 1
459 1 1
460 1 1
461 1 1
463 1 1
466 1 1
471 1 1
473 1 1
474 1 1
476 1 1
481 1 1
482 1 1
486 1 1
488 1 1
489 1 1
491 1 1
493 1 1
498 1 1
500 1 1
501 1 1
503 1 1
504 1 1
506 1 1
511 1 1
515 1 1
516 1 1
517 1 1
522 1 1
525 1 1
532 1 1
536 1 1
542 1 1
543 1 1
550 0 1
553 1 1
558 0 1
564 0 1
567 0 1
568 0 1
576 1 1
579 1 1
580 1 1
MISSING_ELSE
586 0 1
587 0 1
590 0 1
593 0 1
594 0 1
==> MISSING_ELSE
599 1 1
601 1 1
602 1 1
603 1 1
604 1 1
605 1 1
607 1 1
608 0 1
MISSING_ELSE
MISSING_ELSE
615 0 1
616 0 1
617 0 1
618 0 1
623 1 1
624 1 1
625 1 1
626 1 1
627 1 1
639 1 1
640 1 1
MISSING_ELSE
644 1 1
646 1 1
647 1 1
MISSING_ELSE
MISSING_ELSE
653 1 1
659 1 1
660 1 1
662 1 1
682 1 1
683 1 1
685 1 1
686 1 1
687 1 1
689 1 1
692 1 1
693 1 1
695 1 1
696 1 1
698 1 1
703 1 1
704 1 1
705 1 1
709 1 1
710 1 1
711 1 1
712 1 1
726 1 1
728 1 1
730 1 1
735 1 1
737 1 1
MISSING_ELSE
746 1 1
757 1 1
768 1 1
790 1 1
791 1 1
792 1 1
794 1 1
795 1 1
798 1 1
799 1 1
800 1 1
801 1 1
802 1 1
803 1 1
804 1 1
805 1 1
MISSING_ELSE
MISSING_ELSE
815 1 1
816 1 1
817 1 1
820 1 1
823 1 1
825 1 1
MISSING_ELSE
843 1 1
844 1 1
845 1 1
853 1 1
854 1 1
855 1 1
856 1 1
860 1 1
862 1 1
865 1 1
866 1 1
867 1 1
868 1 1
872 1 1
876 1 1
878 1 1
879 1 1
880 1 1
881 1 1
MISSING_ELSE
885 1 1
886 1 1
888 1 1
891 1 1
MISSING_ELSE
904 1 1
906 1 1
909 1 1
910 1 1
911 1 1
912 0 1
914 1 1
MISSING_ELSE
921 1 1
933 1 1
934 1 1
935 1 1
936 1 1
937 1 1
939 1 1
940 1 1
941 1 1
942 1 1
943 1 1
944 1 1
946 1 1
947 1 1
948 1 1
949 1 1
950 1 1
MISSING_ELSE
960 1 1
961 1 1
962 1 1


Cond Coverage for Module : kmac_app
TotalCoveredPercent
Conditions736284.93
Logical736284.93
Non-Logical00
Event00

 LINE       305
 EXPRESSION (i == app_id)
            ------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       306
 EXPRESSION (app_data_ready | fsm_data_ready)
             -------1------   -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT14,T20,T21
10CoveredT17,T18,T19

 LINE       306
 EXPRESSION (app_digest_done | fsm_digest_done_q)
             -------1-------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT14,T20,T21
10CoveredT17,T18,T19

 LINE       306
 EXPRESSION (error_i | fsm_digest_done_q | sparse_fsm_error_o | service_rejected_error)
             ---1---   --------2--------   ---------3--------   -----------4----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010CoveredT4,T5,T6
0100CoveredT14,T20,T21
1000CoveredT22,T23,T24

 LINE       427
 EXPRESSION (sw_cmd_i == CmdStart)
            -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       459
 EXPRESSION (app_i[app_id].valid && app_o[app_id].ready && app_i[app_id].last)
             ---------1---------    ---------2---------    ---------3--------
-1--2--3-StatusTests
011Not Covered
101CoveredT17,T25,T26
110CoveredT17,T18,T19
111CoveredT17,T18,T19

 LINE       460
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------
-1-StatusTests
0CoveredT17,T25,T26
1CoveredT17,T18,T19

 LINE       473
 EXPRESSION (kmac_valid_o && kmac_ready_i)
             ------1-----    ------2-----
-1--2-StatusTests
01Not Covered
10UnreachableT17,T18,T25
11CoveredT17,T18,T19

 LINE       503
 EXPRESSION (sw_cmd_i == CmdDone)
            ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       587
 EXPRESSION (app_i[app_id].valid && app_i[app_id].last)
             ---------1---------    ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       644
 EXPRESSION (st_d != StTerminalError)
            ------------1------------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT1,T2,T3

 LINE       646
 EXPRESSION (keymgr_key_used && ((!keymgr_key_i.valid)))
             -------1-------    -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T17,T18
11CoveredT14,T20,T21

 LINE       653
 EXPRESSION (((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid})) ? 1'b1 : ((st_d == StIdle) ? 1'b0 : err_during_sw_q))
             -----------------------------------1-----------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       653
 SUB-EXPRESSION ((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid}))
                 ---------1--------    -----------------------2-----------------------
-1--2-StatusTests
01CoveredT14,T20,T21
10CoveredT1,T2,T3
11Not Covered

 LINE       653
 SUB-EXPRESSION (mux_sel == SelSw)
                ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       653
 SUB-EXPRESSION ((st_d == StIdle) ? 1'b0 : err_during_sw_q)
                 --------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       653
 SUB-EXPRESSION (st_d == StIdle)
                --------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       728
 EXPRESSION ((mux_sel_buf_err_check != SelSw) && sw_valid_i)
             ----------------1---------------    -----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT4,T5,T6

 LINE       728
 SUB-EXPRESSION (mux_sel_buf_err_check != SelSw)
                ----------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       735
 EXPRESSION (app_active_o && (sw_cmd_i != CmdNone))
             ------1-----    ----------2----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT14,T17,T18
11CoveredT27,T28,T29

 LINE       735
 SUB-EXPRESSION (sw_cmd_i != CmdNone)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       865
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------
-1-StatusTests
0CoveredT17,T25,T26
1CoveredT14,T17,T18

 LINE       872
 EXPRESSION (keymgr_key_used && keymgr_key_i.valid)
             -------1-------    ---------2--------
-1--2-StatusTests
01CoveredT30,T31,T32
10CoveredT14,T20,T21
11CoveredT17,T18,T19

 LINE       910
 EXPRESSION (app_id == i)
            ------1------
-1-StatusTests
0CoveredT14,T17,T18
1CoveredT14,T17,T18

 LINE       911
 EXPRESSION (kmac_pkg::AppCfg[i].PrefixMode == 1'b0)
            --------------------1-------------------
-1-StatusTests
0CoveredT14,T17,T18
1Not Covered

 LINE       943
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC) ? 1'b1 : 1'b0)
             ---------------------1---------------------
-1-StatusTests
0CoveredT17,T25,T26
1CoveredT14,T17,T18

 LINE       943
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)
                ---------------------1---------------------
-1-StatusTests
0CoveredT17,T25,T26
1CoveredT14,T17,T18

 LINE       944
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3) ? Sha3 : CShake)
             ---------------------1---------------------
-1-StatusTests
0CoveredT14,T17,T18
1Not Covered

 LINE       944
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)
                ---------------------1---------------------
-1-StatusTests
0CoveredT14,T17,T18
1Not Covered

 LINE       947
 EXPRESSION (st == StIdle)
            -------1------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

FSM Coverage for Module : kmac_app
Summary for FSM :: st
TotalCoveredPercent
States 14 12 85.71 (Not included in score)
Transitions 45 17 37.78
Sequences 0 0

State, Transition and Sequence Details for FSM :: st
statesLine No.CoveredTests
StAppCfg 423 Covered T14,T17,T18
StAppMsg 450 Covered T17,T18,T19
StAppOutLen 461 Covered T17,T18,T19
StAppProcess 463 Covered T17,T18,T19
StAppWait 482 Covered T17,T18,T19
StError 444 Covered T14,T20,T21
StErrorAwaitApp 558 Not Covered
StErrorAwaitSw 553 Covered T14,T20,T21
StErrorServiceRejected 550 Not Covered
StErrorWaitAbsorbed 568 Covered T14,T20,T21
StIdle 432 Covered T1,T2,T3
StKeyMgrErrKeyNotValid 647 Covered T14,T20,T21
StSw 428 Covered T1,T2,T3
StTerminalError 640 Covered T4,T5,T6


transitionsLine No.CoveredTests
StAppCfg->StAppMsg 450 Covered T17,T18,T19
StAppCfg->StError 444 Not Covered
StAppCfg->StKeyMgrErrKeyNotValid 647 Covered T14,T20,T21
StAppCfg->StTerminalError 640 Not Covered
StAppMsg->StAppOutLen 461 Covered T17,T18,T19
StAppMsg->StAppProcess 463 Covered T17,T25,T26
StAppMsg->StKeyMgrErrKeyNotValid 647 Not Covered
StAppMsg->StTerminalError 640 Covered T33,T34,T7
StAppOutLen->StAppProcess 474 Covered T17,T18,T19
StAppOutLen->StKeyMgrErrKeyNotValid 647 Not Covered
StAppOutLen->StTerminalError 640 Not Covered
StAppProcess->StAppWait 482 Covered T17,T18,T19
StAppProcess->StKeyMgrErrKeyNotValid 647 Not Covered
StAppProcess->StTerminalError 640 Not Covered
StAppWait->StIdle 488 Covered T17,T18,T19
StAppWait->StKeyMgrErrKeyNotValid 647 Not Covered
StAppWait->StTerminalError 640 Not Covered
StError->StErrorAwaitApp 558 Not Covered
StError->StErrorAwaitSw 553 Covered T14,T20,T21
StError->StErrorServiceRejected 550 Not Covered
StError->StErrorWaitAbsorbed 568 Not Covered
StError->StKeyMgrErrKeyNotValid 647 Not Covered
StError->StTerminalError 640 Not Covered
StErrorAwaitApp->StErrorWaitAbsorbed 594 Not Covered
StErrorAwaitApp->StKeyMgrErrKeyNotValid 647 Not Covered
StErrorAwaitApp->StTerminalError 640 Not Covered
StErrorAwaitSw->StErrorWaitAbsorbed 580 Covered T14,T20,T21
StErrorAwaitSw->StKeyMgrErrKeyNotValid 647 Not Covered
StErrorAwaitSw->StTerminalError 640 Not Covered
StErrorServiceRejected->StIdle 618 Not Covered
StErrorServiceRejected->StKeyMgrErrKeyNotValid 647 Not Covered
StErrorServiceRejected->StTerminalError 640 Not Covered
StErrorWaitAbsorbed->StIdle 605 Covered T14,T20,T21
StErrorWaitAbsorbed->StKeyMgrErrKeyNotValid 647 Not Covered
StErrorWaitAbsorbed->StTerminalError 640 Not Covered
StIdle->StAppCfg 423 Covered T14,T17,T18
StIdle->StKeyMgrErrKeyNotValid 647 Not Covered
StIdle->StSw 428 Covered T1,T2,T3
StIdle->StTerminalError 640 Covered T10,T11,T12
StKeyMgrErrKeyNotValid->StError 511 Covered T14,T20,T21
StKeyMgrErrKeyNotValid->StTerminalError 640 Not Covered
StSw->StIdle 504 Covered T1,T2,T3
StSw->StKeyMgrErrKeyNotValid 647 Not Covered
StSw->StTerminalError 640 Covered T4,T5,T6
StTerminalError->StKeyMgrErrKeyNotValid 647 Not Covered



Branch Coverage for Module : kmac_app
Line No.TotalCoveredPercent
Branches 89 77 86.52
TERNARY 653 3 2 66.67
IF 290 4 3 75.00
IF 305 2 2 100.00
IF 329 4 4 100.00
IF 376 2 2 100.00
IF 385 2 2 100.00
CASE 420 32 23 71.88
IF 639 2 2 100.00
IF 644 3 3 100.00
IF 659 2 2 100.00
CASE 689 4 4 100.00
IF 728 3 3 100.00
IF 792 3 3 100.00
IF 817 2 2 100.00
CASE 862 7 7 100.00
CASE 906 3 3 100.00
IF 933 8 7 87.50
CASE 960 3 3 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac_app.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 653 (((mux_sel == SelSw) && (st_d inside {StError, StKeyMgrErrKeyNotValid}))) ? -2-: 653 ((st_d == StIdle)) ?

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 290 if ((!rst_ni)) -2-: 291 if (service_rejected_error_set) -3-: 292 if (service_rejected_error_clr)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Not Covered
0 0 1 Covered T14,T20,T21
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 305 if ((i == app_id))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 329 if ((!rst_ni)) -2-: 330 if (clr_appid) -3-: 331 if (set_appid)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Covered T14,T17,T18
0 0 1 Covered T14,T17,T18
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 376 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 385 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 420 case (st) -2-: 422 if (arb_valid) -3-: 427 if ((sw_cmd_i == CmdStart)) -4-: 437 if (((kmac_pkg::AppCfg[app_id].Mode == AppKMAC) && prim_mubi_pkg::mubi4_test_false_strict(entropy_ready_i))) -5-: 459 if (((app_i[app_id].valid && app_o[app_id].ready) && app_i[app_id].last)) -6-: 460 if ((kmac_pkg::AppCfg[app_id].Mode == AppKMAC)) -7-: 473 if ((kmac_valid_o && kmac_ready_i)) -8-: 486 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i)) -9-: 503 if ((sw_cmd_i == CmdDone)) -10-: 532 case ({err_processed_i, ((app_i[app_id].valid && app_i[app_id].last) || err_during_sw_q)}) -11-: 543 if (service_rejected_error) -12-: 576 if (err_processed_i) -13-: 587 if ((app_i[app_id].valid && app_i[app_id].last)) -14-: 599 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed_i)) -15-: 607 if (err_during_sw_q)

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15-StatusTests
StIdle 1 - - - - - - - - - - - - - Covered T14,T17,T18
StIdle 0 1 - - - - - - - - - - - - Covered T1,T2,T3
StIdle 0 0 - - - - - - - - - - - - Covered T1,T2,T3
StAppCfg - - 1 - - - - - - - - - - - Not Covered
StAppCfg - - 0 - - - - - - - - - - - Covered T14,T17,T18
StAppMsg - - - 1 1 - - - - - - - - - Covered T17,T18,T19
StAppMsg - - - 1 0 - - - - - - - - - Covered T17,T25,T26
StAppMsg - - - 0 - - - - - - - - - - Covered T17,T18,T19
StAppOutLen - - - - - 1 - - - - - - - - Covered T17,T18,T19
StAppOutLen - - - - - 0 - - - - - - - - Covered T17,T18,T25
StAppProcess - - - - - - - - - - - - - - Covered T17,T18,T19
StAppWait - - - - - - 1 - - - - - - - Covered T17,T18,T19
StAppWait - - - - - - 0 - - - - - - - Covered T17,T18,T19
StSw - - - - - - - 1 - - - - - - Covered T1,T2,T3
StSw - - - - - - - 0 - - - - - - Covered T1,T2,T3
StKeyMgrErrKeyNotValid - - - - - - - - - - - - - - Covered T14,T20,T21
StError - - - - - - - - 2'b00 - - - - - Covered T14,T20,T21
StError - - - - - - - - 2'b01 1 - - - - Not Covered
StError - - - - - - - - 2'b01 0 - - - - Covered T14,T20,T21
StError - - - - - - - - 2'b10 - - - - - Not Covered
StError - - - - - - - - 2'b11 - - - - - Not Covered
StError - - - - - - - - default - - - - - Not Covered
StErrorAwaitSw - - - - - - - - - - 1 - - - Covered T14,T20,T21
StErrorAwaitSw - - - - - - - - - - 0 - - - Covered T14,T20,T21
StErrorAwaitApp - - - - - - - - - - - 1 - - Not Covered
StErrorAwaitApp - - - - - - - - - - - 0 - - Not Covered
StErrorWaitAbsorbed - - - - - - - - - - - - 1 1 Not Covered
StErrorWaitAbsorbed - - - - - - - - - - - - 1 0 Covered T14,T20,T21
StErrorWaitAbsorbed - - - - - - - - - - - - 0 - Covered T14,T20,T21
StErrorServiceRejected - - - - - - - - - - - - - - Not Covered
StTerminalError - - - - - - - - - - - - - - Covered T4,T5,T6
default - - - - - - - - - - - - - - Covered T10,T11,T12


LineNo. Expression -1-: 639 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T1,T2,T3


LineNo. Expression -1-: 644 if ((st_d != StTerminalError)) -2-: 646 if ((keymgr_key_used && (!keymgr_key_i.valid)))

Branches:
-1--2-StatusTests
1 1 Covered T14,T20,T21
1 0 Covered T1,T2,T3
0 - Covered T4,T5,T6


LineNo. Expression -1-: 659 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 689 case (mux_sel_buf_kmac)

Branches:
-1-StatusTests
SelApp Covered T17,T18,T19
SelOutLen Covered T17,T18,T19
SelSw Covered T1,T2,T3
default Covered T1,T2,T3


LineNo. Expression -1-: 728 if (((mux_sel_buf_err_check != SelSw) && sw_valid_i)) -2-: 735 if ((app_active_o && (sw_cmd_i != CmdNone)))

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T27,T28,T29
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 792 if (((mux_sel_buf_output == SelSw) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i))) -2-: 798 if (keymgr_key_en_i)

Branches:
-1--2-StatusTests
1 1 Covered T3,T17,T18
1 0 Covered T1,T2,T3
0 - Covered T1,T2,T3


LineNo. Expression -1-: 817 if ((((st == StAppWait) && prim_mubi_pkg::mubi4_test_true_strict(absorbed_i)) && lc_ctrl_pkg::lc_tx_test_false_strict(lc_escalate_en_i)))

Branches:
-1-StatusTests
1 Covered T17,T18,T19
0 Covered T1,T2,T3


LineNo. Expression -1-: 862 case (st) -2-: 876 if (keymgr_key_en_i) -3-: 885 if (kmac_en_o) -4-: 886 if ((!keymgr_key_en_i))

Branches:
-1--2--3--4-StatusTests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait - - - Covered T14,T17,T18
StSw 1 - - Covered T3,T17,T18
StSw 0 - - Covered T1,T2,T3
StSw - 1 1 Covered T1,T3,T15
StSw - 1 0 Covered T3,T17,T18
StSw - 0 - Covered T1,T2,T3
default - - - Covered T1,T2,T3


LineNo. Expression -1-: 906 case (st)

Branches:
-1-StatusTests
StAppCfg StAppMsg StAppOutLen StAppProcess StAppWait Covered T14,T17,T18
StSw Covered T1,T2,T3
default Covered T1,T2,T3


LineNo. Expression -1-: 933 if ((!rst_ni)) -2-: 937 if (clr_appid) -3-: 942 if (set_appid) -4-: 943 ((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)) ? -5-: 944 ((kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)) ? -6-: 947 if ((st == StIdle))

Branches:
-1--2--3--4--5--6-StatusTests
1 - - - - - Covered T1,T2,T3
0 1 - - - - Covered T14,T17,T18
0 0 1 1 - - Covered T14,T17,T18
0 0 1 0 - - Covered T17,T25,T26
0 0 1 - 1 - Not Covered
0 0 1 - 0 - Covered T14,T17,T18
0 0 0 - - 1 Covered T1,T2,T3
0 0 0 - - 0 Covered T1,T2,T3


LineNo. Expression -1-: 960 case ({fsm_err.valid, mux_err.valid})

Branches:
-1-StatusTests
2'bz1 Covered T4,T5,T6
2'b10 Covered T14,T4,T20
default Covered T1,T2,T3


Assert Coverage for Module : kmac_app
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 3 3 100.00 3 100.00
Cover properties 1 1 100.00 1 100.00
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AppIntfInRange_A 1020 1020 0 0
SideloadKeySameToDigest_A 1020 1020 0 0
u_state_regs_A 2147483647 2147483647 0 0


AppIntfInRange_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1020 1020 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

SideloadKeySameToDigest_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1020 1020 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 851141 851135 0 0
T2 187212 187205 0 0
T3 128935 128906 0 0
T13 473607 473598 0 0
T14 30745 30683 0 0
T15 16678 16583 0 0
T16 487279 487272 0 0
T17 327601 327536 0 0
T18 13117 13017 0 0
T19 123365 123280 0 0



Cover Directives for Properties: Details

NameAttemptsMatchesIncomplete
AppIntfUseDifferentSizeKey_C 2147483647 2885 0


AppIntfUseDifferentSizeKey_C
NameAttemptsMatchesIncomplete
Total 2147483647 2885 0
T14 30745 4 0
T15 16678 0 0
T16 487279 0 0
T17 327601 9 0
T18 13117 1 0
T19 123365 0 0
T20 0 15 0
T21 0 1 0
T25 973500 8 0
T26 211440 24 0
T27 0 2 0
T35 16265 0 0
T36 138581 0 0
T37 0 23 0
T38 0 4 0

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