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

Module : hmac
SCORELINECONDTOGGLEFSMBRANCHASSERT
84.40 95.83 82.39 100.00 40.00 88.17 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 84.88 95.83 85.29 100.00 40.00 88.17 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
84.88 95.83 85.29 100.00 40.00 88.17 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.67 95.60 93.53 100.00 76.32 91.06 99.49


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 100.00 100.00
hmac_csr_assert 100.00 100.00
intr_hw_fifo_empty 100.00 100.00 100.00 100.00 100.00
intr_hw_hmac_done 100.00 100.00 100.00 100.00 100.00
intr_hw_hmac_err 100.00 100.00 100.00 100.00 100.00
tlul_assert_device 100.00 100.00 100.00 100.00
u_hmac 93.46 95.45 90.16 100.00 88.24
u_msg_fifo 100.00 100.00 100.00 100.00 100.00
u_packer 100.00 100.00 100.00 100.00 100.00
u_prim_sha2_512 88.39 96.75 91.64 76.00 89.18
u_reg 98.21 94.86 97.48 100.00 98.72 100.00
u_tlul_adapter 88.61 94.06 87.26 80.25 92.86

Line Coverage for Module : hmac
Line No.TotalCoveredPercent
TOTAL19218495.83
CONT_ASSIGN13511100.00
CONT_ASSIGN13611100.00
CONT_ASSIGN13711100.00
CONT_ASSIGN13811100.00
ALWAYS15015960.00
ALWAYS19233100.00
CONT_ASSIGN19911100.00
CONT_ASSIGN20011100.00
ALWAYS20477100.00
ALWAYS21933100.00
ALWAYS2311919100.00
CONT_ASSIGN27711100.00
CONT_ASSIGN28211100.00
CONT_ASSIGN28311100.00
CONT_ASSIGN28511100.00
ALWAYS28744100.00
CONT_ASSIGN29911100.00
ALWAYS30233100.00
CONT_ASSIGN30611100.00
ALWAYS30866100.00
CONT_ASSIGN32111100.00
CONT_ASSIGN32211100.00
CONT_ASSIGN32311100.00
CONT_ASSIGN32511100.00
CONT_ASSIGN32611100.00
CONT_ASSIGN32711100.00
CONT_ASSIGN32811100.00
CONT_ASSIGN32911100.00
CONT_ASSIGN33011100.00
CONT_ASSIGN33111100.00
CONT_ASSIGN33311100.00
CONT_ASSIGN33411100.00
CONT_ASSIGN33511100.00
CONT_ASSIGN33611100.00
CONT_ASSIGN33911100.00
CONT_ASSIGN34011100.00
CONT_ASSIGN34511100.00
CONT_ASSIGN34611100.00
CONT_ASSIGN34711100.00
CONT_ASSIGN34811100.00
ALWAYS35166100.00
ALWAYS36144100.00
ALWAYS40066100.00
CONT_ASSIGN44911100.00
CONT_ASSIGN45611100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46611100.00
ALWAYS46955100.00
CONT_ASSIGN51011100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51911100.00
CONT_ASSIGN52411100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52711100.00
CONT_ASSIGN52811100.00
CONT_ASSIGN52911100.00
ALWAYS53388100.00
CONT_ASSIGN60711100.00
ALWAYS61233100.00
ALWAYS62033100.00
ALWAYS62510880.00
CONT_ASSIGN64211100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN65011100.00
CONT_ASSIGN65111100.00
CONT_ASSIGN76111100.00
CONT_ASSIGN79011100.00
CONT_ASSIGN79111100.00
CONT_ASSIGN79211100.00
CONT_ASSIGN79711100.00
CONT_ASSIGN80211100.00
ALWAYS80566100.00
CONT_ASSIGN82111100.00
ALWAYS82677100.00
CONT_ASSIGN86811100.00
CONT_ASSIGN87211100.00
ALWAYS87433100.00
CONT_ASSIGN88011100.00
ALWAYS90266100.00
ALWAYS90966100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_hmac_0.1/rtl/hmac.sv' or '../src/lowrisc_ip_hmac_0.1/rtl/hmac.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
135 1 1
136 1 1
137 1 1
138 1 1
150 1 1
151 1 1
153 1 1
155 1 1
157 1 1
158 1 1
160 0 1
MISSING_ELSE
165 1 1
166 1 1
167 1 1
MISSING_ELSE
172 0 1
176 0 1
==> MISSING_ELSE
181 0 1
182 0 1
183 0 1
==> MISSING_ELSE
192 1 1
193 1 1
195 1 1
199 1 1
200 1 1
204 1 1
205 1 1
206 1 1
207 1 1
209 1 1
210 1 1
212 1 1
MISSING_ELSE
MISSING_ELSE
219 2 2
220 1 1
231 1 1
232 1 1
234 1 1
236 1 1
240 1 1
242 1 1
243 1 1
244 1 1
246 1 1
249 1 1
252 1 1
MISSING_ELSE
256 1 1
257 1 1
261 1 1
262 1 1
266 1 1
267 1 1
270 1 1
271 1 1
277 1 1
282 1 1
283 1 1
285 1 1
287 1 1
288 1 1
289 1 1
290 1 1
299 1 1
302 2 2
303 1 1
306 1 1
308 1 1
309 1 1
310 1 1
311 1 1
312 1 1
313 1 1
321 1 1
322 1 1
323 1 1
325 1 1
326 1 1
327 1 1
328 1 1
329 1 1
330 1 1
331 1 1
333 1 1
334 1 1
335 1 1
336 1 1
339 1 1
340 1 1
345 1 1
346 1 1
347 1 1
348 1 1
351 1 1
352 1 1
353 1 1
354 1 1
355 1 1
356 1 1
MISSING_ELSE
361 1 1
362 1 1
393 1 1
394 1 1
MISSING_ELSE
400 1 1
401 1 1
402 1 1
403 1 1
404 1 1
405 1 1
MISSING_ELSE
449 1 1
456 1 1
464 1 1
466 1 1
469 1 1
470 1 1
471 1 1
473 1 1
474 1 1
510 1 1
513 1 1
519 1 1
524 1 1
525 1 1
527 1 1
528 1 1
529 1 1
533 1 1
534 1 1
535 1 1
537 1 1
538 1 1
540 1 1
541 1 1
==> MISSING_ELSE
544 1 1
607 1 1
612 1 1
613 1 1
614 1 1
620 2 2
621 1 1
625 1 1
626 1 1
627 1 1
628 0 1
MISSING_ELSE
630 1 1
631 0 1
MISSING_ELSE
MISSING_ELSE
635 1 1
636 1 1
637 1 1
638 1 1
MISSING_ELSE
642 1 1
643 1 1
650 1 1
651 1 1
761 1 1
790 1 1
791 1 1
792 1 1
797 1 1
802 1 1
805 1 1
806 1 1
807 1 1
808 1 1
809 1 1
MISSING_ELSE
813 1 1
821 1 1
826 1 1
827 1 1
830 1 1
834 1 1
838 1 1
842 1 1
846 1 1
868 1 1
872 1 1
874 1 1
875 1 1
877 1 1
880 1 1
902 2 2
903 2 2
904 2 2
MISSING_ELSE
909 2 2
910 2 2
911 2 2
MISSING_ELSE


Cond Coverage for Module : hmac
TotalCoveredPercent
Conditions17614582.39
Logical17614582.39
Non-Logical00
Event00

 LINE       240
 EXPRESSION (digest_size == SHA2_256)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       244
 EXPRESSION ((digest_size == SHA2_384) || (digest_size == SHA2_512))
             ------------1------------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       244
 SUB-EXPRESSION (digest_size == SHA2_384)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T5,T6

 LINE       244
 SUB-EXPRESSION (digest_size == SHA2_512)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       246
 EXPRESSION (reg2hw.digest[(2 * i)].qe ? prim_sha2_pkg::conv_endian32(reg2hw.digest[(2 * i)].q, digest_swap) : digest[i][63:32])
             ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1Not Covered

 LINE       249
 EXPRESSION (reg2hw.digest[((2 * i) + 1)].qe ? prim_sha2_pkg::conv_endian32(reg2hw.digest[((2 * i) + 1)].q, digest_swap) : digest[i][31:0])
             ---------------1---------------
-1-StatusTests
0CoveredT2,T4,T5
1Not Covered

 LINE       252
 EXPRESSION (reg2hw.digest[(2 * i)].qe | reg2hw.digest[((2 * i) + 1)].qe)
             ------------1------------   ---------------2---------------
-1--2-StatusTests
00CoveredT2,T4,T5
01Not Covered
10Not Covered

 LINE       256
 EXPRESSION (digest_size_started_q == SHA2_256)
            -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       262
 EXPRESSION ((digest_size_started_q == SHA2_384) || (digest_size_started_q == SHA2_512))
             -----------------1-----------------    -----------------2-----------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       262
 SUB-EXPRESSION (digest_size_started_q == SHA2_384)
                -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T5,T6

 LINE       262
 SUB-EXPRESSION (digest_size_started_q == SHA2_512)
                -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       299
 EXPRESSION (hash_start_or_continue ? digest_size : digest_size_started_q)
             -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       333
 EXPRESSION (reg2hw.cmd.hash_start.qe & reg2hw.cmd.hash_start.q)
             ------------1-----------   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       334
 EXPRESSION (reg2hw.cmd.hash_stop.qe & reg2hw.cmd.hash_stop.q)
             -----------1-----------   -----------2----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       335
 EXPRESSION (reg2hw.cmd.hash_continue.qe & reg2hw.cmd.hash_continue.q)
             -------------1-------------   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       336
 EXPRESSION (reg2hw.cmd.hash_process.qe & reg2hw.cmd.hash_process.q)
             -------------1------------   ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       345
 EXPRESSION (reg_hash_start & sha_en & ((~cfg_block)) & ((~invalid_config)))
             -------1------   ---2--   -------3------   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011CoveredT16,T17,T18
1101CoveredT15,T17,T18
1110CoveredT2,T4,T5
1111CoveredT1,T2,T3

 LINE       346
 EXPRESSION (reg_hash_continue & sha_en & ((~cfg_block)) & ((~invalid_config)))
             --------1--------   ---2--   -------3------   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       347
 EXPRESSION (reg_hash_process & sha_en & cfg_block & ((~invalid_config)))
             --------1-------   ---2--   ----3----   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011Not Covered
1101Not Covered
1110Not Covered
1111CoveredT1,T2,T3

 LINE       348
 EXPRESSION (hash_start | hash_continue)
             -----1----   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       355
 EXPRESSION (reg_hash_done || reg_hash_stop)
             ------1------    ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       393
 EXPRESSION (((!cfg_block)) && reg2hw.cfg.hmac_en.qe)
             -------1------    ----------2----------
-1--2-StatusTests
01CoveredT1,T3,T8
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       449
 EXPRESSION (fifo_empty_q & ((~fifo_empty)))
             ------1-----   -------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       456
 EXPRESSION 
 Number  Term
      1  fifo_full ? 1'b1 : (fifo_empty_negedge ? 1'b0 : ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q)))
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION (fifo_empty_negedge ? 1'b0 : ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q))
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q)
                 -------------------------------------1------------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION (reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop)
                 -------1------    --------2--------    --------3-------    ------4------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010CoveredT1,T2,T3
0100Not Covered
1000CoveredT1,T2,T3

 LINE       464
 EXPRESSION (((~msg_allowed)) || ((~fifo_full_seen_q)))
             --------1-------    ----------2----------
-1--2-StatusTests
00CoveredT6,T14,T19
01CoveredT1,T2,T3
10CoveredT1,T2,T3

 LINE       466
 EXPRESSION (fifo_empty_gate ? 1'b0 : fifo_empty)
             -------1-------
-1-StatusTests
0CoveredT6,T14,T19
1CoveredT1,T2,T3

 LINE       510
 EXPRESSION (msg_fifo_req & ((~msg_fifo_we)))
             ------1-----   --------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       513
 EXPRESSION (msg_fifo_req & ((~hmac_fifo_wsel)) & packer_ready)
             ------1-----   ---------2---------   ------3-----
-1--2--3-StatusTests
011CoveredT1,T2,T3
101Not Covered
110UnreachableT19,T20,T21
111CoveredT1,T2,T3

 LINE       529
 EXPRESSION ((hmac_fifo_wsel && fifo_wready) ? hmac_fifo_wvalid : reg_fifo_wvalid)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       529
 SUB-EXPRESSION (hmac_fifo_wsel && fifo_wready)
                 -------1------    -----2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T4

 LINE       535
 EXPRESSION (digest_size == SHA2_256)
            ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1CoveredT1,T2,T5

 LINE       538
 EXPRESSION ((digest_size == SHA2_384) || (digest_size == SHA2_512))
             ------------1------------    ------------2------------
-1--2-StatusTests
00Not Covered
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       538
 SUB-EXPRESSION (digest_size == SHA2_384)
                ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1CoveredT2,T5,T6

 LINE       538
 SUB-EXPRESSION (digest_size == SHA2_512)
                ------------1------------
-1-StatusTests
0CoveredT2,T5,T6
1CoveredT2,T4,T5

 LINE       554
 EXPRESSION (fifo_wvalid & sha_en)
             -----1-----   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       607
 EXPRESSION (msg_fifo_req & msg_fifo_we & ((~hmac_fifo_wsel)) & msg_allowed)
             ------1-----   -----2-----   ---------3---------   -----4-----
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011Not Covered
1101Not Covered
1110CoveredT2,T4,T5
1111CoveredT1,T2,T3

 LINE       637
 EXPRESSION (msg_write && sha_en && packer_ready)
             ----1----    ---2--    ------3-----
-1--2--3-StatusTests
011CoveredT1,T2,T3
101Not Covered
110UnreachableT19,T20,T21
111CoveredT1,T2,T3

 LINE       657
 EXPRESSION (msg_write & sha_en)
             ----1----   ---2--
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       657
 EXPRESSION (fifo_wready & ((~hmac_fifo_wsel)))
             -----1-----   ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T4
11CoveredT1,T2,T3

 LINE       761
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT1,T2,T3
11CoveredT22,T23,T24

 LINE       790
 EXPRESSION ((reg_hash_start | reg_hash_continue) & ((~sha_en)))
             ------------------1-----------------   -----2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT16,T17,T18

 LINE       790
 SUB-EXPRESSION (reg_hash_start | reg_hash_continue)
                 -------1------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       791
 EXPRESSION ((reg_hash_start | reg_hash_continue) & cfg_block)
             ------------------1-----------------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT15,T17,T18

 LINE       791
 SUB-EXPRESSION (reg_hash_start | reg_hash_continue)
                 -------1------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       792
 EXPRESSION (msg_fifo_req & ((~msg_allowed)))
             ------1-----   --------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT2,T4,T5

 LINE       797
 EXPRESSION ((digest_size == SHA2_None) | ((key_length == Key_None) && hmac_en) | ((key_length == Key_1024) && (digest_size == SHA2_256) && hmac_en))
             -------------1------------   ------------------2------------------   ---------------------------------3--------------------------------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT5,T7,T9
010CoveredT2,T5,T7
100CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION (digest_size == SHA2_None)
                -------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION ((key_length == Key_None) && hmac_en)
                 ------------1-----------    ---2---
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT2,T5,T7

 LINE       797
 SUB-EXPRESSION (key_length == Key_None)
                ------------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION ((key_length == Key_1024) && (digest_size == SHA2_256) && hmac_en)
                 ------------1-----------    ------------2------------    ---3---
-1--2--3-StatusTests
011CoveredT1,T2,T5
101CoveredT2,T4,T5
110CoveredT5,T6,T25
111CoveredT5,T7,T9

 LINE       797
 SUB-EXPRESSION (key_length == Key_1024)
                ------------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       797
 SUB-EXPRESSION (digest_size == SHA2_256)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       802
 EXPRESSION ((reg_hash_start || reg_hash_continue) & invalid_config)
             ------------------1------------------   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT2,T4,T5

 LINE       802
 SUB-EXPRESSION (reg_hash_start || reg_hash_continue)
                 -------1------    --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       821
 EXPRESSION 
 Number  Term
      1  ((~reg2hw.intr_state.hmac_err.q)) & 
      2  (hash_start_sha_disabled | update_seckey_inprocess | hash_start_active | msg_push_not_allowed | invalid_config_atstart))
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       821
 SUB-EXPRESSION (hash_start_sha_disabled | update_seckey_inprocess | hash_start_active | msg_push_not_allowed | invalid_config_atstart)
                 -----------1-----------   -----------2-----------   --------3--------   ----------4---------   -----------5----------
-1--2--3--4--5-StatusTests
00000CoveredT1,T2,T3
00001CoveredT2,T4,T5
00010CoveredT2,T4,T5
00100CoveredT15,T17,T18
01000CoveredT1,T3,T26
10000CoveredT16,T17,T18

 LINE       868
 EXPRESSION (((!reg_fifo_wvalid)) && ((!fifo_rvalid)) && hmac_core_idle && sha_core_idle)
             ----------1---------    --------2-------    -------3------    ------4------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101CoveredT1,T2,T4
1110CoveredT2,T3,T5
1111CoveredT1,T2,T3

Toggle Coverage for Module : hmac
TotalCoveredPercent
Totals 30 30 100.00
Total Bits 346 346 100.00
Total Bits 0->1 173 173 100.00
Total Bits 1->0 173 173 100.00

Ports 30 30 100.00
Port Bits 346 346 100.00
Port Bits 0->1 173 173 100.00
Port Bits 1->0 173 173 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T17,T21,T27 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T2,T4 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,T5,T26 Yes T1,T5,T26 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,T2,T3 Yes T1,T2,T3 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 T10,T13,T28 Yes T10,T13,T28 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 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 T1,T2,T3 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T1,T2,T3 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 T22,T23,T24 Yes T22,T23,T24 INPUT
alert_rx_i[0].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].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 T22,T23,T24 Yes T22,T23,T24 OUTPUT
intr_hmac_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_fifo_empty_o Yes Yes T6,T14,T17 Yes T6,T14,T17 OUTPUT
intr_hmac_err_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
idle_o[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT

*Tests covering at least one bit in the range

FSM Coverage for Module : hmac
Summary for FSM :: done_state_q
TotalCoveredPercent
States 4 2 50.00 (Not included in score)
Transitions 5 2 40.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: done_state_q
statesLine No.CoveredTests
DoneAwaitCmd 167 Covered T1,T2,T3
DoneAwaitHashComplete 176 Not Covered
DoneAwaitHashDone 157 Covered T1,T2,T3
DoneAwaitMessageComplete 160 Not Covered


transitionsLine No.CoveredTests
DoneAwaitCmd->DoneAwaitHashDone 157 Covered T1,T2,T3
DoneAwaitCmd->DoneAwaitMessageComplete 160 Not Covered
DoneAwaitHashComplete->DoneAwaitCmd 183 Not Covered
DoneAwaitHashDone->DoneAwaitCmd 167 Covered T1,T2,T3
DoneAwaitMessageComplete->DoneAwaitHashComplete 176 Not Covered



Branch Coverage for Module : hmac
Line No.TotalCoveredPercent
Branches 93 82 88.17
TERNARY 299 2 2 100.00
TERNARY 456 4 4 100.00
TERNARY 466 2 2 100.00
TERNARY 529 2 2 100.00
CASE 153 10 4 40.00
IF 192 2 2 100.00
IF 205 3 3 100.00
IF 219 2 2 100.00
IF 240 6 4 66.67
IF 256 3 3 100.00
CASE 287 4 4 100.00
IF 302 2 2 100.00
CASE 308 6 6 100.00
IF 351 4 4 100.00
IF 361 3 3 100.00
IF 400 4 4 100.00
IF 469 2 2 100.00
IF 533 4 3 75.00
IF 620 2 2 100.00
IF 626 5 3 60.00
IF 635 3 3 100.00
IF 806 2 2 100.00
CASE 827 6 6 100.00
IF 874 2 2 100.00
IF 902 4 4 100.00
IF 909 4 4 100.00

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

LineNo. Expression -1-: 299 (hash_start_or_continue) ?

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


LineNo. Expression -1-: 456 (fifo_full) ? -2-: 456 (fifo_empty_negedge) ? -3-: 456 ((((reg_hash_start || reg_hash_continue) || reg_hash_process) || reg_hash_stop)) ?

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


LineNo. Expression -1-: 466 (fifo_empty_gate) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T6,T14,T19


LineNo. Expression -1-: 529 ((hmac_fifo_wsel && fifo_wready)) ?

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


LineNo. Expression -1-: 153 case (done_state_q) -2-: 155 if (sha_hash_process) -3-: 158 if (reg_hash_stop) -4-: 165 if (reg_hash_done) -5-: 172 if (digest_on_blk) -6-: 181 if ((!hash_running))

Branches:
-1--2--3--4--5--6-StatusTests
DoneAwaitCmd 1 - - - - Covered T1,T2,T3
DoneAwaitCmd 0 1 - - - Not Covered
DoneAwaitCmd 0 0 - - - Covered T1,T2,T3
DoneAwaitHashDone - - 1 - - Covered T1,T2,T3
DoneAwaitHashDone - - 0 - - Covered T1,T2,T3
DoneAwaitMessageComplete - - - 1 - Not Covered
DoneAwaitMessageComplete - - - 0 - Not Covered
DoneAwaitHashComplete - - - - 1 Not Covered
DoneAwaitHashComplete - - - - 0 Not Covered
default - - - - - Not Covered


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

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


LineNo. Expression -1-: 205 if (wipe_secret) -2-: 207 if ((!cfg_block))

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


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

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


LineNo. Expression -1-: 240 if ((digest_size == SHA2_256)) -2-: 244 if (((digest_size == SHA2_384) || (digest_size == SHA2_512))) -3-: 246 (reg2hw.digest[(2 * i)].qe) ? -4-: 249 (reg2hw.digest[((2 * i) + 1)].qe) ?

Branches:
-1--2--3--4-StatusTests
1 - - - Covered T1,T2,T3
0 1 1 - Not Covered
0 1 0 - Covered T2,T4,T5
0 1 - 1 Not Covered
0 1 - 0 Covered T2,T4,T5
0 0 - - Covered T1,T2,T3


LineNo. Expression -1-: 256 if ((digest_size_started_q == SHA2_256)) -2-: 262 if (((digest_size_started_q == SHA2_384) || (digest_size_started_q == SHA2_512)))

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


LineNo. Expression -1-: 287 case (digest_size_supplied)

Branches:
-1-StatusTests
SHA2_256 Covered T1,T2,T3
SHA2_384 Covered T2,T5,T6
SHA2_512 Covered T2,T4,T5
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 308 case (key_length_supplied)

Branches:
-1-StatusTests
Key_128 Covered T2,T5,T6
Key_256 Covered T1,T2,T3
Key_384 Covered T2,T5,T6
Key_512 Covered T2,T4,T5
Key_1024 Covered T2,T4,T5
default Covered T1,T2,T3


LineNo. Expression -1-: 351 if ((!rst_ni)) -2-: 353 if (hash_start_or_continue) -3-: 355 if ((reg_hash_done || reg_hash_stop))

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


LineNo. Expression -1-: 361 if ((!rst_ni)) -2-: 393 if (((!cfg_block) && reg2hw.cfg.hmac_en.qe))

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


LineNo. Expression -1-: 400 if ((!rst_ni)) -2-: 402 if (hash_start_or_continue) -3-: 404 if (packer_flush_done)

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


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

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


LineNo. Expression -1-: 533 if (hmac_fifo_wsel) -2-: 535 if ((digest_size == SHA2_256)) -3-: 538 if (((digest_size == SHA2_384) || (digest_size == SHA2_512)))

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


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

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


LineNo. Expression -1-: 626 if ((!cfg_block)) -2-: 627 if (reg2hw.msg_length_lower.qe) -3-: 630 if (reg2hw.msg_length_upper.qe)

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


LineNo. Expression -1-: 635 if (hash_start) -2-: 637 if (((msg_write && sha_en) && packer_ready))

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


LineNo. Expression -1-: 806 if (cfg_block)

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


LineNo. Expression -1-: 827 case (1'b1)

Branches:
-1-StatusTests
invalid_config_atstart Covered T2,T4,T5
hash_start_sha_disabled Covered T16,T17,T18
hash_start_active Covered T15,T17,T18
msg_push_not_allowed Covered T2,T4,T5
update_seckey_inprocess Covered T1,T3,T26
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 902 if ((!rst_ni)) -2-: 903 if (hash_process) -3-: 904 if (reg_hash_done)

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


LineNo. Expression -1-: 909 if ((!rst_ni)) -2-: 910 if (hash_start_or_continue) -3-: 911 if (hash_process)

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


Assert Coverage for Module : hmac
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 13 13 100.00 13 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 13 13 100.00 13 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 327703873 327638868 0 0
FpvSecCmRegWeOnehotCheck_A 327703873 90 0 0
IntrFifoEmptyOKnown 327703873 327638868 0 0
IntrHmacDoneOKnown 327703873 327638868 0 0
TlOAReadyKnown 327703873 327638868 0 0
TlODValidKnown 327703873 327638868 0 0
ValidHashProcessAssert 327703873 29095 0 0
ValidHmacEnConditionAssert 327703873 8342 0 0
ValidWriteAssert 327703873 20040914 0 0
gen_assert_wmask_bytealign[0].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[1].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[2].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[3].unnamed$$_0 327703873 20040914 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 90 0 0
T31 8614 30 0 0
T32 0 10 0 0
T33 0 20 0 0
T34 0 10 0 0
T35 0 20 0 0
T36 121009 0 0 0
T37 584867 0 0 0
T38 144549 0 0 0
T39 932045 0 0 0
T40 332726 0 0 0
T41 996754 0 0 0
T42 761 0 0 0
T43 995637 0 0 0
T44 1199 0 0 0

IntrFifoEmptyOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

IntrHmacDoneOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

TlOAReadyKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

TlODValidKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

ValidHashProcessAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 29095 0 0
T1 7832 4 0 0
T2 505599 29 0 0
T3 769413 194 0 0
T4 54582 3 0 0
T5 380841 26 0 0
T6 33639 14 0 0
T7 405367 25 0 0
T8 394654 194 0 0
T26 3050 4 0 0
T30 5749 4 0 0

ValidHmacEnConditionAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 8342 0 0
T1 7832 1 0 0
T2 505599 20 0 0
T3 769413 0 0 0
T4 54582 1 0 0
T5 380841 26 0 0
T6 33639 6 0 0
T7 405367 1 0 0
T8 394654 0 0 0
T9 0 1 0 0
T26 3050 1 0 0
T30 5749 1 0 0
T45 0 16 0 0

ValidWriteAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[0].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[1].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[2].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[3].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

Line Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
TOTAL19218495.83
CONT_ASSIGN13511100.00
CONT_ASSIGN13611100.00
CONT_ASSIGN13711100.00
CONT_ASSIGN13811100.00
ALWAYS15015960.00
ALWAYS19233100.00
CONT_ASSIGN19911100.00
CONT_ASSIGN20011100.00
ALWAYS20477100.00
ALWAYS21933100.00
ALWAYS2311919100.00
CONT_ASSIGN27711100.00
CONT_ASSIGN28211100.00
CONT_ASSIGN28311100.00
CONT_ASSIGN28511100.00
ALWAYS28744100.00
CONT_ASSIGN29911100.00
ALWAYS30233100.00
CONT_ASSIGN30611100.00
ALWAYS30866100.00
CONT_ASSIGN32111100.00
CONT_ASSIGN32211100.00
CONT_ASSIGN32311100.00
CONT_ASSIGN32511100.00
CONT_ASSIGN32611100.00
CONT_ASSIGN32711100.00
CONT_ASSIGN32811100.00
CONT_ASSIGN32911100.00
CONT_ASSIGN33011100.00
CONT_ASSIGN33111100.00
CONT_ASSIGN33311100.00
CONT_ASSIGN33411100.00
CONT_ASSIGN33511100.00
CONT_ASSIGN33611100.00
CONT_ASSIGN33911100.00
CONT_ASSIGN34011100.00
CONT_ASSIGN34511100.00
CONT_ASSIGN34611100.00
CONT_ASSIGN34711100.00
CONT_ASSIGN34811100.00
ALWAYS35166100.00
ALWAYS36144100.00
ALWAYS40066100.00
CONT_ASSIGN44911100.00
CONT_ASSIGN45611100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46611100.00
ALWAYS46955100.00
CONT_ASSIGN51011100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51911100.00
CONT_ASSIGN52411100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52711100.00
CONT_ASSIGN52811100.00
CONT_ASSIGN52911100.00
ALWAYS53388100.00
CONT_ASSIGN60711100.00
ALWAYS61233100.00
ALWAYS62033100.00
ALWAYS62510880.00
CONT_ASSIGN64211100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN65011100.00
CONT_ASSIGN65111100.00
CONT_ASSIGN76111100.00
CONT_ASSIGN79011100.00
CONT_ASSIGN79111100.00
CONT_ASSIGN79211100.00
CONT_ASSIGN79711100.00
CONT_ASSIGN80211100.00
ALWAYS80566100.00
CONT_ASSIGN82111100.00
ALWAYS82677100.00
CONT_ASSIGN86811100.00
CONT_ASSIGN87211100.00
ALWAYS87433100.00
CONT_ASSIGN88011100.00
ALWAYS90266100.00
ALWAYS90966100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_hmac_0.1/rtl/hmac.sv' or '../src/lowrisc_ip_hmac_0.1/rtl/hmac.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
135 1 1
136 1 1
137 1 1
138 1 1
150 1 1
151 1 1
153 1 1
155 1 1
157 1 1
158 1 1
160 0 1
MISSING_ELSE
165 1 1
166 1 1
167 1 1
MISSING_ELSE
172 0 1
176 0 1
==> MISSING_ELSE
181 0 1
182 0 1
183 0 1
==> MISSING_ELSE
192 1 1
193 1 1
195 1 1
199 1 1
200 1 1
204 1 1
205 1 1
206 1 1
207 1 1
209 1 1
210 1 1
212 1 1
MISSING_ELSE
MISSING_ELSE
219 2 2
220 1 1
231 1 1
232 1 1
234 1 1
236 1 1
240 1 1
242 1 1
243 1 1
244 1 1
246 1 1
249 1 1
252 1 1
MISSING_ELSE
256 1 1
257 1 1
261 1 1
262 1 1
266 1 1
267 1 1
270 1 1
271 1 1
277 1 1
282 1 1
283 1 1
285 1 1
287 1 1
288 1 1
289 1 1
290 1 1
299 1 1
302 2 2
303 1 1
306 1 1
308 1 1
309 1 1
310 1 1
311 1 1
312 1 1
313 1 1
321 1 1
322 1 1
323 1 1
325 1 1
326 1 1
327 1 1
328 1 1
329 1 1
330 1 1
331 1 1
333 1 1
334 1 1
335 1 1
336 1 1
339 1 1
340 1 1
345 1 1
346 1 1
347 1 1
348 1 1
351 1 1
352 1 1
353 1 1
354 1 1
355 1 1
356 1 1
MISSING_ELSE
361 1 1
362 1 1
393 1 1
394 1 1
MISSING_ELSE
400 1 1
401 1 1
402 1 1
403 1 1
404 1 1
405 1 1
MISSING_ELSE
449 1 1
456 1 1
464 1 1
466 1 1
469 1 1
470 1 1
471 1 1
473 1 1
474 1 1
510 1 1
513 1 1
519 1 1
524 1 1
525 1 1
527 1 1
528 1 1
529 1 1
533 1 1
534 1 1
535 1 1
537 1 1
538 1 1
540 1 1
541 1 1
==> MISSING_ELSE
544 1 1
607 1 1
612 1 1
613 1 1
614 1 1
620 2 2
621 1 1
625 1 1
626 1 1
627 1 1
628 0 1
MISSING_ELSE
630 1 1
631 0 1
MISSING_ELSE
MISSING_ELSE
635 1 1
636 1 1
637 1 1
638 1 1
MISSING_ELSE
642 1 1
643 1 1
650 1 1
651 1 1
761 1 1
790 1 1
791 1 1
792 1 1
797 1 1
802 1 1
805 1 1
806 1 1
807 1 1
808 1 1
809 1 1
MISSING_ELSE
813 1 1
821 1 1
826 1 1
827 1 1
830 1 1
834 1 1
838 1 1
842 1 1
846 1 1
868 1 1
872 1 1
874 1 1
875 1 1
877 1 1
880 1 1
902 2 2
903 2 2
904 2 2
MISSING_ELSE
909 2 2
910 2 2
911 2 2
MISSING_ELSE


Cond Coverage for Instance : tb.dut
TotalCoveredPercent
Conditions17014585.29
Logical17014585.29
Non-Logical00
Event00

 LINE       240
 EXPRESSION (digest_size == SHA2_256)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       244
 EXPRESSION ((digest_size == SHA2_384) || (digest_size == SHA2_512))
             ------------1------------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       244
 SUB-EXPRESSION (digest_size == SHA2_384)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T5,T6

 LINE       244
 SUB-EXPRESSION (digest_size == SHA2_512)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       246
 EXPRESSION (reg2hw.digest[(2 * i)].qe ? prim_sha2_pkg::conv_endian32(reg2hw.digest[(2 * i)].q, digest_swap) : digest[i][63:32])
             ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1Not Covered

 LINE       249
 EXPRESSION (reg2hw.digest[((2 * i) + 1)].qe ? prim_sha2_pkg::conv_endian32(reg2hw.digest[((2 * i) + 1)].q, digest_swap) : digest[i][31:0])
             ---------------1---------------
-1-StatusTests
0CoveredT2,T4,T5
1Not Covered

 LINE       252
 EXPRESSION (reg2hw.digest[(2 * i)].qe | reg2hw.digest[((2 * i) + 1)].qe)
             ------------1------------   ---------------2---------------
-1--2-StatusTests
00CoveredT2,T4,T5
01Not Covered
10Not Covered

 LINE       256
 EXPRESSION (digest_size_started_q == SHA2_256)
            -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       262
 EXPRESSION ((digest_size_started_q == SHA2_384) || (digest_size_started_q == SHA2_512))
             -----------------1-----------------    -----------------2-----------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       262
 SUB-EXPRESSION (digest_size_started_q == SHA2_384)
                -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T5,T6

 LINE       262
 SUB-EXPRESSION (digest_size_started_q == SHA2_512)
                -----------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       299
 EXPRESSION (hash_start_or_continue ? digest_size : digest_size_started_q)
             -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       333
 EXPRESSION (reg2hw.cmd.hash_start.qe & reg2hw.cmd.hash_start.q)
             ------------1-----------   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       334
 EXPRESSION (reg2hw.cmd.hash_stop.qe & reg2hw.cmd.hash_stop.q)
             -----------1-----------   -----------2----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       335
 EXPRESSION (reg2hw.cmd.hash_continue.qe & reg2hw.cmd.hash_continue.q)
             -------------1-------------   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Not Covered

 LINE       336
 EXPRESSION (reg2hw.cmd.hash_process.qe & reg2hw.cmd.hash_process.q)
             -------------1------------   ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       345
 EXPRESSION (reg_hash_start & sha_en & ((~cfg_block)) & ((~invalid_config)))
             -------1------   ---2--   -------3------   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011CoveredT16,T17,T18
1101CoveredT15,T17,T18
1110CoveredT2,T4,T5
1111CoveredT1,T2,T3

 LINE       346
 EXPRESSION (reg_hash_continue & sha_en & ((~cfg_block)) & ((~invalid_config)))
             --------1--------   ---2--   -------3------   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       347
 EXPRESSION (reg_hash_process & sha_en & cfg_block & ((~invalid_config)))
             --------1-------   ---2--   ----3----   ---------4---------
-1--2--3--4-StatusTests
0111CoveredT1,T2,T3
1011Not Covered
1101Not Covered
1110Not Covered
1111CoveredT1,T2,T3

 LINE       348
 EXPRESSION (hash_start | hash_continue)
             -----1----   ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       355
 EXPRESSION (reg_hash_done || reg_hash_stop)
             ------1------    ------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       393
 EXPRESSION (((!cfg_block)) && reg2hw.cfg.hmac_en.qe)
             -------1------    ----------2----------
-1--2-StatusTests
01CoveredT1,T3,T8
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       449
 EXPRESSION (fifo_empty_q & ((~fifo_empty)))
             ------1-----   -------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       456
 EXPRESSION 
 Number  Term
      1  fifo_full ? 1'b1 : (fifo_empty_negedge ? 1'b0 : ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q)))
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION (fifo_empty_negedge ? 1'b0 : ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q))
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION ((reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop) ? 1'b0 : fifo_full_seen_q)
                 -------------------------------------1------------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       456
 SUB-EXPRESSION (reg_hash_start || reg_hash_continue || reg_hash_process || reg_hash_stop)
                 -------1------    --------2--------    --------3-------    ------4------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010CoveredT1,T2,T3
0100Not Covered
1000CoveredT1,T2,T3

 LINE       464
 EXPRESSION (((~msg_allowed)) || ((~fifo_full_seen_q)))
             --------1-------    ----------2----------
-1--2-StatusTests
00CoveredT6,T14,T19
01CoveredT1,T2,T3
10CoveredT1,T2,T3

 LINE       466
 EXPRESSION (fifo_empty_gate ? 1'b0 : fifo_empty)
             -------1-------
-1-StatusTests
0CoveredT6,T14,T19
1CoveredT1,T2,T3

 LINE       510
 EXPRESSION (msg_fifo_req & ((~msg_fifo_we)))
             ------1-----   --------2-------
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11Excluded VC_COV_UNR

 LINE       513
 EXPRESSION (msg_fifo_req & ((~hmac_fifo_wsel)) & packer_ready)
             ------1-----   ---------2---------   ------3-----
-1--2--3-StatusTests
011CoveredT1,T2,T3
101Not Covered
110UnreachableT19,T20,T21
111CoveredT1,T2,T3

 LINE       529
 EXPRESSION ((hmac_fifo_wsel && fifo_wready) ? hmac_fifo_wvalid : reg_fifo_wvalid)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       529
 SUB-EXPRESSION (hmac_fifo_wsel && fifo_wready)
                 -------1------    -----2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T4

 LINE       535
 EXPRESSION (digest_size == SHA2_256)
            ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1CoveredT1,T2,T5

 LINE       538
 EXPRESSION ((digest_size == SHA2_384) || (digest_size == SHA2_512))
             ------------1------------    ------------2------------
-1--2-StatusTests
00Not Covered
01CoveredT2,T4,T5
10CoveredT2,T5,T6

 LINE       538
 SUB-EXPRESSION (digest_size == SHA2_384)
                ------------1------------
-1-StatusTests
0CoveredT2,T4,T5
1CoveredT2,T5,T6

 LINE       538
 SUB-EXPRESSION (digest_size == SHA2_512)
                ------------1------------
-1-StatusTests
0CoveredT2,T5,T6
1CoveredT2,T4,T5

 LINE       554
 EXPRESSION (fifo_wvalid & sha_en)
             -----1-----   ---2--
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

 LINE       607
 EXPRESSION (msg_fifo_req & msg_fifo_we & ((~hmac_fifo_wsel)) & msg_allowed)
             ------1-----   -----2-----   ---------3---------   -----4-----
-1--2--3--4-StatusTestsExclude Annotation
0111CoveredT1,T2,T3
1011Excluded VC_COV_UNR
1101Excluded VC_COV_UNR
1110CoveredT2,T4,T5
1111CoveredT1,T2,T3

 LINE       637
 EXPRESSION (msg_write && sha_en && packer_ready)
             ----1----    ---2--    ------3-----
-1--2--3-StatusTests
011CoveredT1,T2,T3
101Not Covered
110UnreachableT19,T20,T21
111CoveredT1,T2,T3

 LINE       657
 EXPRESSION (msg_write & sha_en)
             ----1----   ---2--
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

 LINE       657
 EXPRESSION (fifo_wready & ((~hmac_fifo_wsel)))
             -----1-----   ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T4
11CoveredT1,T2,T3

 LINE       761
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01CoveredT22,T23,T24
10CoveredT1,T2,T3
11CoveredT22,T23,T24

 LINE       790
 EXPRESSION ((reg_hash_start | reg_hash_continue) & ((~sha_en)))
             ------------------1-----------------   -----2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT16,T17,T18

 LINE       790
 SUB-EXPRESSION (reg_hash_start | reg_hash_continue)
                 -------1------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       791
 EXPRESSION ((reg_hash_start | reg_hash_continue) & cfg_block)
             ------------------1-----------------   ----2----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT15,T17,T18

 LINE       791
 SUB-EXPRESSION (reg_hash_start | reg_hash_continue)
                 -------1------   --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       792
 EXPRESSION (msg_fifo_req & ((~msg_allowed)))
             ------1-----   --------2-------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT2,T4,T5

 LINE       797
 EXPRESSION ((digest_size == SHA2_None) | ((key_length == Key_None) && hmac_en) | ((key_length == Key_1024) && (digest_size == SHA2_256) && hmac_en))
             -------------1------------   ------------------2------------------   ---------------------------------3--------------------------------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT5,T7,T9
010CoveredT2,T5,T7
100CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION (digest_size == SHA2_None)
                -------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION ((key_length == Key_None) && hmac_en)
                 ------------1-----------    ---2---
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT2,T5,T7

 LINE       797
 SUB-EXPRESSION (key_length == Key_None)
                ------------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       797
 SUB-EXPRESSION ((key_length == Key_1024) && (digest_size == SHA2_256) && hmac_en)
                 ------------1-----------    ------------2------------    ---3---
-1--2--3-StatusTests
011CoveredT1,T2,T5
101CoveredT2,T4,T5
110CoveredT5,T6,T25
111CoveredT5,T7,T9

 LINE       797
 SUB-EXPRESSION (key_length == Key_1024)
                ------------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       797
 SUB-EXPRESSION (digest_size == SHA2_256)
                ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       802
 EXPRESSION ((reg_hash_start || reg_hash_continue) & invalid_config)
             ------------------1------------------   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT2,T4,T5

 LINE       802
 SUB-EXPRESSION (reg_hash_start || reg_hash_continue)
                 -------1------    --------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       821
 EXPRESSION 
 Number  Term
      1  ((~reg2hw.intr_state.hmac_err.q)) & 
      2  (hash_start_sha_disabled | update_seckey_inprocess | hash_start_active | msg_push_not_allowed | invalid_config_atstart))
-1--2-StatusTests
01CoveredT2,T4,T5
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       821
 SUB-EXPRESSION (hash_start_sha_disabled | update_seckey_inprocess | hash_start_active | msg_push_not_allowed | invalid_config_atstart)
                 -----------1-----------   -----------2-----------   --------3--------   ----------4---------   -----------5----------
-1--2--3--4--5-StatusTests
00000CoveredT1,T2,T3
00001CoveredT2,T4,T5
00010CoveredT2,T4,T5
00100CoveredT15,T17,T18
01000CoveredT1,T3,T26
10000CoveredT16,T17,T18

 LINE       868
 EXPRESSION (((!reg_fifo_wvalid)) && ((!fifo_rvalid)) && hmac_core_idle && sha_core_idle)
             ----------1---------    --------2-------    -------3------    ------4------
-1--2--3--4-StatusTestsExclude Annotation
0111Excluded VC_COV_UNR
1011Not Covered
1101CoveredT1,T2,T4
1110CoveredT2,T3,T5
1111CoveredT1,T2,T3

Toggle Coverage for Instance : tb.dut
TotalCoveredPercent
Totals 30 30 100.00
Total Bits 346 346 100.00
Total Bits 0->1 173 173 100.00
Total Bits 1->0 173 173 100.00

Ports 30 30 100.00
Port Bits 346 346 100.00
Port Bits 0->1 173 173 100.00
Port Bits 1->0 173 173 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T17,T21,T27 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T2,T4 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,T5,T26 Yes T1,T5,T26 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,T2,T3 Yes T1,T2,T3 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 T10,T13,T28 Yes T10,T13,T28 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 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 T1,T2,T3 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T1,T2,T3 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 T22,T23,T24 Yes T22,T23,T24 INPUT
alert_rx_i[0].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].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 T22,T23,T24 Yes T22,T23,T24 OUTPUT
intr_hmac_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_fifo_empty_o Yes Yes T6,T14,T17 Yes T6,T14,T17 OUTPUT
intr_hmac_err_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
idle_o[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT

*Tests covering at least one bit in the range

FSM Coverage for Instance : tb.dut
Summary for FSM :: done_state_q
TotalCoveredPercent
States 4 2 50.00 (Not included in score)
Transitions 5 2 40.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: done_state_q
statesLine No.CoveredTests
DoneAwaitCmd 167 Covered T1,T2,T3
DoneAwaitHashComplete 176 Not Covered
DoneAwaitHashDone 157 Covered T1,T2,T3
DoneAwaitMessageComplete 160 Not Covered


transitionsLine No.CoveredTests
DoneAwaitCmd->DoneAwaitHashDone 157 Covered T1,T2,T3
DoneAwaitCmd->DoneAwaitMessageComplete 160 Not Covered
DoneAwaitHashComplete->DoneAwaitCmd 183 Not Covered
DoneAwaitHashDone->DoneAwaitCmd 167 Covered T1,T2,T3
DoneAwaitMessageComplete->DoneAwaitHashComplete 176 Not Covered



Branch Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
Branches 93 82 88.17
TERNARY 299 2 2 100.00
TERNARY 456 4 4 100.00
TERNARY 466 2 2 100.00
TERNARY 529 2 2 100.00
CASE 153 10 4 40.00
IF 192 2 2 100.00
IF 205 3 3 100.00
IF 219 2 2 100.00
IF 240 6 4 66.67
IF 256 3 3 100.00
CASE 287 4 4 100.00
IF 302 2 2 100.00
CASE 308 6 6 100.00
IF 351 4 4 100.00
IF 361 3 3 100.00
IF 400 4 4 100.00
IF 469 2 2 100.00
IF 533 4 3 75.00
IF 620 2 2 100.00
IF 626 5 3 60.00
IF 635 3 3 100.00
IF 806 2 2 100.00
CASE 827 6 6 100.00
IF 874 2 2 100.00
IF 902 4 4 100.00
IF 909 4 4 100.00

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

LineNo. Expression -1-: 299 (hash_start_or_continue) ?

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


LineNo. Expression -1-: 456 (fifo_full) ? -2-: 456 (fifo_empty_negedge) ? -3-: 456 ((((reg_hash_start || reg_hash_continue) || reg_hash_process) || reg_hash_stop)) ?

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


LineNo. Expression -1-: 466 (fifo_empty_gate) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T6,T14,T19


LineNo. Expression -1-: 529 ((hmac_fifo_wsel && fifo_wready)) ?

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


LineNo. Expression -1-: 153 case (done_state_q) -2-: 155 if (sha_hash_process) -3-: 158 if (reg_hash_stop) -4-: 165 if (reg_hash_done) -5-: 172 if (digest_on_blk) -6-: 181 if ((!hash_running))

Branches:
-1--2--3--4--5--6-StatusTests
DoneAwaitCmd 1 - - - - Covered T1,T2,T3
DoneAwaitCmd 0 1 - - - Not Covered
DoneAwaitCmd 0 0 - - - Covered T1,T2,T3
DoneAwaitHashDone - - 1 - - Covered T1,T2,T3
DoneAwaitHashDone - - 0 - - Covered T1,T2,T3
DoneAwaitMessageComplete - - - 1 - Not Covered
DoneAwaitMessageComplete - - - 0 - Not Covered
DoneAwaitHashComplete - - - - 1 Not Covered
DoneAwaitHashComplete - - - - 0 Not Covered
default - - - - - Not Covered


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

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


LineNo. Expression -1-: 205 if (wipe_secret) -2-: 207 if ((!cfg_block))

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


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

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


LineNo. Expression -1-: 240 if ((digest_size == SHA2_256)) -2-: 244 if (((digest_size == SHA2_384) || (digest_size == SHA2_512))) -3-: 246 (reg2hw.digest[(2 * i)].qe) ? -4-: 249 (reg2hw.digest[((2 * i) + 1)].qe) ?

Branches:
-1--2--3--4-StatusTests
1 - - - Covered T1,T2,T3
0 1 1 - Not Covered
0 1 0 - Covered T2,T4,T5
0 1 - 1 Not Covered
0 1 - 0 Covered T2,T4,T5
0 0 - - Covered T1,T2,T3


LineNo. Expression -1-: 256 if ((digest_size_started_q == SHA2_256)) -2-: 262 if (((digest_size_started_q == SHA2_384) || (digest_size_started_q == SHA2_512)))

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


LineNo. Expression -1-: 287 case (digest_size_supplied)

Branches:
-1-StatusTests
SHA2_256 Covered T1,T2,T3
SHA2_384 Covered T2,T5,T6
SHA2_512 Covered T2,T4,T5
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 308 case (key_length_supplied)

Branches:
-1-StatusTests
Key_128 Covered T2,T5,T6
Key_256 Covered T1,T2,T3
Key_384 Covered T2,T5,T6
Key_512 Covered T2,T4,T5
Key_1024 Covered T2,T4,T5
default Covered T1,T2,T3


LineNo. Expression -1-: 351 if ((!rst_ni)) -2-: 353 if (hash_start_or_continue) -3-: 355 if ((reg_hash_done || reg_hash_stop))

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


LineNo. Expression -1-: 361 if ((!rst_ni)) -2-: 393 if (((!cfg_block) && reg2hw.cfg.hmac_en.qe))

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


LineNo. Expression -1-: 400 if ((!rst_ni)) -2-: 402 if (hash_start_or_continue) -3-: 404 if (packer_flush_done)

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


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

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


LineNo. Expression -1-: 533 if (hmac_fifo_wsel) -2-: 535 if ((digest_size == SHA2_256)) -3-: 538 if (((digest_size == SHA2_384) || (digest_size == SHA2_512)))

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


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

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


LineNo. Expression -1-: 626 if ((!cfg_block)) -2-: 627 if (reg2hw.msg_length_lower.qe) -3-: 630 if (reg2hw.msg_length_upper.qe)

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


LineNo. Expression -1-: 635 if (hash_start) -2-: 637 if (((msg_write && sha_en) && packer_ready))

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


LineNo. Expression -1-: 806 if (cfg_block)

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


LineNo. Expression -1-: 827 case (1'b1)

Branches:
-1-StatusTests
invalid_config_atstart Covered T2,T4,T5
hash_start_sha_disabled Covered T16,T17,T18
hash_start_active Covered T15,T17,T18
msg_push_not_allowed Covered T2,T4,T5
update_seckey_inprocess Covered T1,T3,T26
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 902 if ((!rst_ni)) -2-: 903 if (hash_process) -3-: 904 if (reg_hash_done)

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


LineNo. Expression -1-: 909 if ((!rst_ni)) -2-: 910 if (hash_start_or_continue) -3-: 911 if (hash_process)

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


Assert Coverage for Instance : tb.dut
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 13 13 100.00 13 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 13 13 100.00 13 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 327703873 327638868 0 0
FpvSecCmRegWeOnehotCheck_A 327703873 90 0 0
IntrFifoEmptyOKnown 327703873 327638868 0 0
IntrHmacDoneOKnown 327703873 327638868 0 0
TlOAReadyKnown 327703873 327638868 0 0
TlODValidKnown 327703873 327638868 0 0
ValidHashProcessAssert 327703873 29095 0 0
ValidHmacEnConditionAssert 327703873 8342 0 0
ValidWriteAssert 327703873 20040914 0 0
gen_assert_wmask_bytealign[0].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[1].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[2].unnamed$$_0 327703873 20040914 0 0
gen_assert_wmask_bytealign[3].unnamed$$_0 327703873 20040914 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 90 0 0
T31 8614 30 0 0
T32 0 10 0 0
T33 0 20 0 0
T34 0 10 0 0
T35 0 20 0 0
T36 121009 0 0 0
T37 584867 0 0 0
T38 144549 0 0 0
T39 932045 0 0 0
T40 332726 0 0 0
T41 996754 0 0 0
T42 761 0 0 0
T43 995637 0 0 0
T44 1199 0 0 0

IntrFifoEmptyOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

IntrHmacDoneOKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

TlOAReadyKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

TlODValidKnown
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 327638868 0 0
T1 7832 7737 0 0
T2 505599 505501 0 0
T3 769413 769344 0 0
T4 54582 54527 0 0
T5 380841 380790 0 0
T6 33639 33587 0 0
T7 405367 405288 0 0
T8 394654 394647 0 0
T26 3050 2954 0 0
T30 5749 5683 0 0

ValidHashProcessAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 29095 0 0
T1 7832 4 0 0
T2 505599 29 0 0
T3 769413 194 0 0
T4 54582 3 0 0
T5 380841 26 0 0
T6 33639 14 0 0
T7 405367 25 0 0
T8 394654 194 0 0
T26 3050 4 0 0
T30 5749 4 0 0

ValidHmacEnConditionAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 8342 0 0
T1 7832 1 0 0
T2 505599 20 0 0
T3 769413 0 0 0
T4 54582 1 0 0
T5 380841 26 0 0
T6 33639 6 0 0
T7 405367 1 0 0
T8 394654 0 0 0
T9 0 1 0 0
T26 3050 1 0 0
T30 5749 1 0 0
T45 0 16 0 0

ValidWriteAssert
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[0].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[1].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[2].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

gen_assert_wmask_bytealign[3].unnamed$$_0
NameAttemptsReal SuccessesFailuresIncomplete
Total 327703873 20040914 0 0
T1 7832 54 0 0
T2 505599 27446 0 0
T3 769413 73921 0 0
T4 54582 1874 0 0
T5 380841 26790 0 0
T6 33639 7082 0 0
T7 405367 77681 0 0
T8 394654 74279 0 0
T26 3050 50 0 0
T30 5749 48 0 0

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