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 |