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
01CoveredT20,T21,T22
10CoveredT4,T16,T19

 LINE       306
 EXPRESSION (app_digest_done | fsm_digest_done_q)
             -------1-------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT20,T21,T22
10CoveredT16,T19,T23

 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
0100CoveredT20,T21,T22
1000CoveredT24,T25,T26

 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
101CoveredT16,T19,T27
110CoveredT4,T16,T19
111CoveredT16,T19,T23

 LINE       460
 EXPRESSION (kmac_pkg::AppCfg[app_id].Mode == AppKMAC)
            ---------------------1--------------------
-1-StatusTests
0CoveredT16,T19,T23
1CoveredT16,T19,T23

 LINE       473
 EXPRESSION (kmac_valid_o && kmac_ready_i)
             ------1-----    ------2-----
-1--2-StatusTests
01Not Covered
10UnreachableT16,T19,T25
11CoveredT16,T19,T23

 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
10CoveredT4,T16,T19
11CoveredT20,T21,T22

 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
01CoveredT20,T21,T22
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,T28,T5

 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
10CoveredT4,T16,T19
11CoveredT28,T29,T30

 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
0CoveredT16,T19,T23
1CoveredT4,T16,T19

 LINE       872
 EXPRESSION (keymgr_key_used && keymgr_key_i.valid)
             -------1-------    ---------2--------
-1--2-StatusTests
01CoveredT31,T32,T33
10CoveredT20,T21,T22
11CoveredT4,T16,T19

 LINE       910
 EXPRESSION (app_id == i)
            ------1------
-1-StatusTests
0CoveredT4,T16,T19
1CoveredT4,T16,T19

 LINE       911
 EXPRESSION (kmac_pkg::AppCfg[i].PrefixMode == 1'b0)
            --------------------1-------------------
-1-StatusTests
0CoveredT4,T16,T19
1Not Covered

 LINE       943
 EXPRESSION ((kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC) ? 1'b1 : 1'b0)
             ---------------------1---------------------
-1-StatusTests
0CoveredT16,T19,T23
1CoveredT4,T16,T19

 LINE       943
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppKMAC)
                ---------------------1---------------------
-1-StatusTests
0CoveredT16,T19,T23
1CoveredT4,T16,T19

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

 LINE       944
 SUB-EXPRESSION (kmac_pkg::AppCfg[arb_idx].Mode == AppSHA3)
                ---------------------1---------------------
-1-StatusTests
0CoveredT4,T16,T19
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 T4,T16,T19
StAppMsg 450 Covered T4,T16,T19
StAppOutLen 461 Covered T16,T19,T23
StAppProcess 463 Covered T16,T19,T23
StAppWait 482 Covered T16,T19,T23
StError 444 Covered T20,T21,T22
StErrorAwaitApp 558 Not Covered
StErrorAwaitSw 553 Covered T20,T21,T22
StErrorServiceRejected 550 Not Covered
StErrorWaitAbsorbed 568 Covered T20,T21,T22
StIdle 432 Covered T1,T2,T3
StKeyMgrErrKeyNotValid 647 Covered T20,T21,T22
StSw 428 Covered T1,T2,T3
StTerminalError 640 Covered T4,T5,T6


transitionsLine No.CoveredTests
StAppCfg->StAppMsg 450 Covered T4,T16,T19
StAppCfg->StError 444 Not Covered
StAppCfg->StKeyMgrErrKeyNotValid 647 Covered T20,T21,T22
StAppCfg->StTerminalError 640 Not Covered
StAppMsg->StAppOutLen 461 Covered T16,T19,T23
StAppMsg->StAppProcess 463 Covered T16,T19,T23
StAppMsg->StKeyMgrErrKeyNotValid 647 Not Covered
StAppMsg->StTerminalError 640 Covered T4,T34,T35
StAppOutLen->StAppProcess 474 Covered T16,T19,T23
StAppOutLen->StKeyMgrErrKeyNotValid 647 Not Covered
StAppOutLen->StTerminalError 640 Not Covered
StAppProcess->StAppWait 482 Covered T16,T19,T23
StAppProcess->StKeyMgrErrKeyNotValid 647 Not Covered
StAppProcess->StTerminalError 640 Not Covered
StAppWait->StIdle 488 Covered T16,T19,T23
StAppWait->StKeyMgrErrKeyNotValid 647 Not Covered
StAppWait->StTerminalError 640 Not Covered
StError->StErrorAwaitApp 558 Not Covered
StError->StErrorAwaitSw 553 Covered T20,T21,T22
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 T20,T21,T22
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 T20,T21,T22
StErrorWaitAbsorbed->StKeyMgrErrKeyNotValid 647 Not Covered
StErrorWaitAbsorbed->StTerminalError 640 Not Covered
StIdle->StAppCfg 423 Covered T4,T16,T19
StIdle->StKeyMgrErrKeyNotValid 647 Not Covered
StIdle->StSw 428 Covered T1,T2,T3
StIdle->StTerminalError 640 Covered T10,T11,T12
StKeyMgrErrKeyNotValid->StError 511 Covered T20,T21,T22
StKeyMgrErrKeyNotValid->StTerminalError 640 Not Covered
StSw->StIdle 504 Covered T1,T2,T3
StSw->StKeyMgrErrKeyNotValid 647 Not Covered
StSw->StTerminalError 640 Covered T5,T6,T7
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 T20,T21,T22
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 T16,T19,T23
0 0 1 Covered T4,T16,T19
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 T4,T16,T19
StIdle 0 1 - - - - - - - - - - - - Covered T1,T2,T3
StIdle 0 0 - - - - - - - - - - - - Covered T1,T2,T3
StAppCfg - - 1 - - - - - - - - - - - Not Covered
StAppCfg - - 0 - - - - - - - - - - - Covered T4,T16,T19
StAppMsg - - - 1 1 - - - - - - - - - Covered T16,T19,T23
StAppMsg - - - 1 0 - - - - - - - - - Covered T16,T19,T23
StAppMsg - - - 0 - - - - - - - - - - Covered T4,T16,T19
StAppOutLen - - - - - 1 - - - - - - - - Covered T16,T19,T23
StAppOutLen - - - - - 0 - - - - - - - - Covered T16,T19,T25
StAppProcess - - - - - - - - - - - - - - Covered T16,T19,T23
StAppWait - - - - - - 1 - - - - - - - Covered T16,T19,T23
StAppWait - - - - - - 0 - - - - - - - Covered T16,T19,T23
StSw - - - - - - - 1 - - - - - - Covered T1,T2,T3
StSw - - - - - - - 0 - - - - - - Covered T1,T2,T3
StKeyMgrErrKeyNotValid - - - - - - - - - - - - - - Covered T20,T21,T22
StError - - - - - - - - 2'b00 - - - - - Covered T20,T21,T22
StError - - - - - - - - 2'b01 1 - - - - Not Covered
StError - - - - - - - - 2'b01 0 - - - - Covered T20,T21,T22
StError - - - - - - - - 2'b10 - - - - - Not Covered
StError - - - - - - - - 2'b11 - - - - - Not Covered
StError - - - - - - - - default - - - - - Not Covered
StErrorAwaitSw - - - - - - - - - - 1 - - - Covered T20,T21,T22
StErrorAwaitSw - - - - - - - - - - 0 - - - Covered T20,T21,T22
StErrorAwaitApp - - - - - - - - - - - 1 - - Not Covered
StErrorAwaitApp - - - - - - - - - - - 0 - - Not Covered
StErrorWaitAbsorbed - - - - - - - - - - - - 1 1 Not Covered
StErrorWaitAbsorbed - - - - - - - - - - - - 1 0 Covered T20,T21,T22
StErrorWaitAbsorbed - - - - - - - - - - - - 0 - Covered T20,T21,T22
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 T20,T21,T22
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 T4,T16,T19
SelOutLen Covered T16,T19,T23
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,T28,T5
0 1 Covered T28,T29,T30
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 T16,T19,T23
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 T16,T19,T23
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 T4,T16,T19
StSw 1 - - Covered T16,T19,T23
StSw 0 - - Covered T1,T2,T3
StSw - 1 1 Covered T15,T16,T19
StSw - 1 0 Covered T19,T23,T36
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 T4,T16,T19
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 T16,T19,T23
0 0 1 1 - - Covered T4,T16,T19
0 0 1 0 - - Covered T16,T19,T23
0 0 1 - 1 - Not Covered
0 0 1 - 0 - Covered T4,T16,T19
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,T28,T5
2'b10 Covered T4,T20,T21
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
T4 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

SideloadKeySameToDigest_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1020 1020 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 435765 435760 0 0
T2 465497 465490 0 0
T3 143736 143736 0 0
T4 2175 1997 0 0
T13 328882 328876 0 0
T14 788779 788772 0 0
T15 145176 145170 0 0
T16 235478 235414 0 0
T17 434926 434919 0 0
T18 134953 134944 0 0



Cover Directives for Properties: Details

NameAttemptsMatchesIncomplete
AppIntfUseDifferentSizeKey_C 2147483647 2762 0


AppIntfUseDifferentSizeKey_C
NameAttemptsMatchesIncomplete
Total 2147483647 2762 0
T16 235478 6 0
T17 434926 0 0
T18 134953 0 0
T19 168882 26 0
T20 85365 9 0
T21 0 6 0
T23 96859 3 0
T24 0 10 0
T25 0 8 0
T26 0 12 0
T36 138831 0 0
T37 654151 0 0
T38 170989 0 0
T39 1142 0 0
T40 0 18 0
T41 0 13 0

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