Toggle Coverage for Module : 
prim_count ( parameter Width=8,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
42 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
21 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
21 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
42 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
21 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
21 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[7:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[7:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[7:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[7:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=2,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
18 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
9 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
9 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
18 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
9 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
9 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[1:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[1:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[1:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[1:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=3,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
22 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
11 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
11 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
22 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
11 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
11 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[2:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[2:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[2:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=40,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
8 | 
0 | 
0.00   | 
| Total Bits | 
250 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
125 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
125 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
8 | 
0 | 
0.00   | 
| Port Bits | 
250 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
125 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
125 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_cnt_i[39:0] | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| incr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| decr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| step_i[39:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[39:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[39:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=4,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
26 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
13 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
13 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
26 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
13 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
13 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[3:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[3:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[3:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[3:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=6,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
34 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
17 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
17 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
34 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
17 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
17 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[5:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[5:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[5:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[5:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=5,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
30 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
15 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
15 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
30 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
15 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
15 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i[4:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i[4:0] | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o[4:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o[4:0] | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
Toggle Coverage for Module : 
prim_count ( parameter Width=1,ResetValue=0,EnableAlertTriggerSVA=1,PossibleActions=15,NumCnt=2 ) 
Toggle Coverage for Module self-instances : 
 | Total | Covered | Percent | 
| Totals | 
7 | 
0 | 
0.00   | 
| Total Bits | 
14 | 
0 | 
0.00   | 
| Total Bits 0->1 | 
7 | 
0 | 
0.00   | 
| Total Bits 1->0 | 
7 | 
0 | 
0.00   | 
 |  |  |  | 
| Ports | 
7 | 
0 | 
0.00   | 
| Port Bits | 
14 | 
0 | 
0.00   | 
| Port Bits 0->1 | 
7 | 
0 | 
0.00   | 
| Port Bits 1->0 | 
7 | 
0 | 
0.00   | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| rst_ni | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clr_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| set_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| set_cnt_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| incr_en_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| decr_en_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| step_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| commit_i | 
Unreachable | 
Unreachable | 
 | 
Unreachable | 
 | 
INPUT | 
| cnt_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| cnt_after_commit_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT | 
| err_o | 
No | 
No | 
 | 
No | 
 | 
OUTPUT |