Toggle Coverage for Module :
prim_count ( parameter Width=2,ResetValue=0,EnableAlertTriggerSVA=0,PossibleActions=5,NumCnt=2 )
Toggle Coverage for Module self-instances :
| Total | Covered | Percent |
| Totals |
7 |
7 |
100.00 |
| Total Bits |
18 |
18 |
100.00 |
| Total Bits 0->1 |
9 |
9 |
100.00 |
| Total Bits 1->0 |
9 |
9 |
100.00 |
| | | |
| Ports |
7 |
7 |
100.00 |
| Port Bits |
18 |
18 |
100.00 |
| Port Bits 0->1 |
9 |
9 |
100.00 |
| Port Bits 1->0 |
9 |
9 |
100.00 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[1:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
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] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| cnt_after_commit_o[1:0] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
Toggle Coverage for Module :
prim_count ( parameter Width=16,ResetValue=0,EnableAlertTriggerSVA=0,PossibleActions=10,NumCnt=2 + Width=16,ResetValue=0,EnableAlertTriggerSVA=0,PossibleActions=15,NumCnt=2 )
Toggle Coverage for Module self-instances :
| Total | Covered | Percent |
| Totals |
9 |
9 |
100.00 |
| Total Bits |
108 |
108 |
100.00 |
| Total Bits 0->1 |
54 |
54 |
100.00 |
| Total Bits 1->0 |
54 |
54 |
100.00 |
| | | |
| Ports |
9 |
9 |
100.00 |
| Port Bits |
108 |
108 |
100.00 |
| Port Bits 0->1 |
54 |
54 |
100.00 |
| Port Bits 1->0 |
54 |
54 |
100.00 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T1,T3,T10 |
Yes |
T1,T3,T10 |
INPUT |
| set_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
INPUT |
| set_cnt_i[15:0] |
Yes |
Yes |
T1,T3,T4 |
Yes |
T1,T3,T4 |
INPUT |
| incr_en_i |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[15:0] |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
OUTPUT |
| cnt_after_commit_o[15:0] |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
Toggle Coverage for Module :
prim_count ( parameter Width=32,ResetValue=0,EnableAlertTriggerSVA=0,PossibleActions=7,NumCnt=2 )
Toggle Coverage for Module self-instances :
| Total | Covered | Percent |
| Totals |
8 |
6 |
75.00 |
| Total Bits |
140 |
52 |
37.14 |
| Total Bits 0->1 |
70 |
26 |
37.14 |
| Total Bits 1->0 |
70 |
26 |
37.14 |
| | | |
| Ports |
8 |
6 |
75.00 |
| Port Bits |
140 |
52 |
37.14 |
| Port Bits 0->1 |
70 |
26 |
37.14 |
| Port Bits 1->0 |
70 |
26 |
37.14 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
INPUT |
| set_i |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
INPUT |
| set_cnt_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T2,T3,T10 |
Yes |
T2,T3,T10 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[9:0] |
Yes |
Yes |
*T2,T3,*T10 |
Yes |
T2,T3,T10 |
OUTPUT |
| cnt_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[9:0] |
Yes |
Yes |
*T2,T3,*T10 |
Yes |
T2,T3,T10 |
OUTPUT |
| cnt_after_commit_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[0].u_esc_timer.u_prim_count
| Total | Covered | Percent |
| Totals |
8 |
6 |
75.00 |
| Total Bits |
140 |
52 |
37.14 |
| Total Bits 0->1 |
70 |
26 |
37.14 |
| Total Bits 1->0 |
70 |
26 |
37.14 |
| | | |
| Ports |
8 |
6 |
75.00 |
| Port Bits |
140 |
52 |
37.14 |
| Port Bits 0->1 |
70 |
26 |
37.14 |
| Port Bits 1->0 |
70 |
26 |
37.14 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T2,T10,T11 |
Yes |
T2,T10,T11 |
INPUT |
| set_i |
Yes |
Yes |
T2,T10,T11 |
Yes |
T2,T10,T11 |
INPUT |
| set_cnt_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T2,T10,T11 |
Yes |
T2,T10,T11 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[9:0] |
Yes |
Yes |
*T2,*T10,*T11 |
Yes |
T2,T10,T11 |
OUTPUT |
| cnt_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[9:0] |
Yes |
Yes |
*T2,*T10,*T11 |
Yes |
T2,T10,T11 |
OUTPUT |
| cnt_after_commit_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[1].u_esc_timer.u_prim_count
| Total | Covered | Percent |
| Totals |
8 |
6 |
75.00 |
| Total Bits |
140 |
52 |
37.14 |
| Total Bits 0->1 |
70 |
26 |
37.14 |
| Total Bits 1->0 |
70 |
26 |
37.14 |
| | | |
| Ports |
8 |
6 |
75.00 |
| Port Bits |
140 |
52 |
37.14 |
| Port Bits 0->1 |
70 |
26 |
37.14 |
| Port Bits 1->0 |
70 |
26 |
37.14 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T3,T11,T12 |
Yes |
T3,T11,T12 |
INPUT |
| set_i |
Yes |
Yes |
T3,T11,T12 |
Yes |
T3,T11,T12 |
INPUT |
| set_cnt_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T3,T11,T12 |
Yes |
T3,T11,T12 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[9:0] |
Yes |
Yes |
T3,*T11,T12 |
Yes |
T3,T11,T12 |
OUTPUT |
| cnt_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[9:0] |
Yes |
Yes |
T3,*T11,T12 |
Yes |
T3,T11,T12 |
OUTPUT |
| cnt_after_commit_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[2].u_esc_timer.u_prim_count
| Total | Covered | Percent |
| Totals |
8 |
6 |
75.00 |
| Total Bits |
140 |
52 |
37.14 |
| Total Bits 0->1 |
70 |
26 |
37.14 |
| Total Bits 1->0 |
70 |
26 |
37.14 |
| | | |
| Ports |
8 |
6 |
75.00 |
| Port Bits |
140 |
52 |
37.14 |
| Port Bits 0->1 |
70 |
26 |
37.14 |
| Port Bits 1->0 |
70 |
26 |
37.14 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T12,T13,T6 |
Yes |
T12,T13,T6 |
INPUT |
| set_i |
Yes |
Yes |
T12,T13,T6 |
Yes |
T12,T13,T6 |
INPUT |
| set_cnt_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T12,T13,T6 |
Yes |
T12,T13,T6 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[9:0] |
Yes |
Yes |
T12,*T13,*T6 |
Yes |
T12,T13,T6 |
OUTPUT |
| cnt_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[9:0] |
Yes |
Yes |
T12,*T13,*T6 |
Yes |
T12,T13,T6 |
OUTPUT |
| cnt_after_commit_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[3].u_esc_timer.u_prim_count
| Total | Covered | Percent |
| Totals |
8 |
6 |
75.00 |
| Total Bits |
140 |
52 |
37.14 |
| Total Bits 0->1 |
70 |
26 |
37.14 |
| Total Bits 1->0 |
70 |
26 |
37.14 |
| | | |
| Ports |
8 |
6 |
75.00 |
| Port Bits |
140 |
52 |
37.14 |
| Port Bits 0->1 |
70 |
26 |
37.14 |
| Port Bits 1->0 |
70 |
26 |
37.14 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T11,T12,T13 |
Yes |
T11,T12,T13 |
INPUT |
| set_i |
Yes |
Yes |
T11,T12,T13 |
Yes |
T11,T12,T13 |
INPUT |
| set_cnt_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T11,T12,T13 |
Yes |
T11,T12,T13 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[31:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[9:0] |
Yes |
Yes |
T11,*T12,*T13 |
Yes |
T11,T12,T13 |
OUTPUT |
| cnt_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[9:0] |
Yes |
Yes |
T11,*T12,*T13 |
Yes |
T11,T12,T13 |
OUTPUT |
| cnt_after_commit_o[31:10] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[2].u_accu.u_prim_count
| Total | Covered | Percent |
| Totals |
7 |
5 |
71.43 |
| Total Bits |
74 |
62 |
83.78 |
| Total Bits 0->1 |
37 |
31 |
83.78 |
| Total Bits 1->0 |
37 |
31 |
83.78 |
| | | |
| Ports |
7 |
5 |
71.43 |
| Port Bits |
74 |
62 |
83.78 |
| Port Bits 0->1 |
37 |
31 |
83.78 |
| Port Bits 1->0 |
37 |
31 |
83.78 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T1,T3,T13 |
Yes |
T1,T3,T13 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T12,T13,T6 |
Yes |
T12,T13,T6 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[12:0] |
Yes |
Yes |
*T12,*T13,*T6 |
Yes |
T12,T13,T6 |
OUTPUT |
| cnt_o[15:13] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[12:0] |
Yes |
Yes |
*T12,*T13,*T6 |
Yes |
T12,T13,T6 |
OUTPUT |
| cnt_after_commit_o[15:13] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[0].u_accu.u_prim_count
| Total | Covered | Percent |
| Totals |
7 |
5 |
71.43 |
| Total Bits |
74 |
66 |
89.19 |
| Total Bits 0->1 |
37 |
33 |
89.19 |
| Total Bits 1->0 |
37 |
33 |
89.19 |
| | | |
| Ports |
7 |
5 |
71.43 |
| Port Bits |
74 |
66 |
89.19 |
| Port Bits 0->1 |
37 |
33 |
89.19 |
| Port Bits 1->0 |
37 |
33 |
89.19 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T1,T3,T10 |
Yes |
T1,T3,T10 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T2,T10,T11 |
Yes |
T2,T10,T11 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[13:0] |
Yes |
Yes |
*T2,*T10,*T11 |
Yes |
T2,T10,T11 |
OUTPUT |
| cnt_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[13:0] |
Yes |
Yes |
*T2,*T10,*T11 |
Yes |
T2,T10,T11 |
OUTPUT |
| cnt_after_commit_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[1].u_accu.u_prim_count
| Total | Covered | Percent |
| Totals |
7 |
5 |
71.43 |
| Total Bits |
74 |
66 |
89.19 |
| Total Bits 0->1 |
37 |
33 |
89.19 |
| Total Bits 1->0 |
37 |
33 |
89.19 |
| | | |
| Ports |
7 |
5 |
71.43 |
| Port Bits |
74 |
66 |
89.19 |
| Port Bits 0->1 |
37 |
33 |
89.19 |
| Port Bits 1->0 |
37 |
33 |
89.19 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T1,T3,T11 |
Yes |
T1,T3,T11 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T3,T11,T12 |
Yes |
T3,T11,T12 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[13:0] |
Yes |
Yes |
*T3,*T11,*T12 |
Yes |
T3,T11,T12 |
OUTPUT |
| cnt_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[13:0] |
Yes |
Yes |
*T3,*T11,*T12 |
Yes |
T3,T11,T12 |
OUTPUT |
| cnt_after_commit_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.gen_classes[3].u_accu.u_prim_count
| Total | Covered | Percent |
| Totals |
7 |
5 |
71.43 |
| Total Bits |
74 |
66 |
89.19 |
| Total Bits 0->1 |
37 |
33 |
89.19 |
| Total Bits 1->0 |
37 |
33 |
89.19 |
| | | |
| Ports |
7 |
5 |
71.43 |
| Port Bits |
74 |
66 |
89.19 |
| Port Bits 0->1 |
37 |
33 |
89.19 |
| Port Bits 1->0 |
37 |
33 |
89.19 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T1,T3,T10 |
Yes |
T1,T3,T10 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T11,T12,T13 |
Yes |
T11,T12,T13 |
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[13:0] |
Yes |
Yes |
*T11,*T12,*T13 |
Yes |
T11,T12,T13 |
OUTPUT |
| cnt_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| cnt_after_commit_o[13:0] |
Yes |
Yes |
*T11,*T12,*T13 |
Yes |
T11,T12,T13 |
OUTPUT |
| cnt_after_commit_o[15:14] |
No |
No |
|
No |
|
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.u_ping_timer.u_prim_count_esc_cnt
| Total | Covered | Percent |
| Totals |
7 |
7 |
100.00 |
| Total Bits |
18 |
18 |
100.00 |
| Total Bits 0->1 |
9 |
9 |
100.00 |
| Total Bits 1->0 |
9 |
9 |
100.00 |
| | | |
| Ports |
7 |
7 |
100.00 |
| Port Bits |
18 |
18 |
100.00 |
| Port Bits 0->1 |
9 |
9 |
100.00 |
| Port Bits 1->0 |
9 |
9 |
100.00 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
INPUT |
| set_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_cnt_i[1:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| incr_en_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
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] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| cnt_after_commit_o[1:0] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |
Toggle Coverage for Instance : tb.dut.u_ping_timer.u_prim_count_cnt
| Total | Covered | Percent |
| Totals |
7 |
7 |
100.00 |
| Total Bits |
104 |
104 |
100.00 |
| Total Bits 0->1 |
52 |
52 |
100.00 |
| Total Bits 1->0 |
52 |
52 |
100.00 |
| | | |
| Ports |
7 |
7 |
100.00 |
| Port Bits |
104 |
104 |
100.00 |
| Port Bits 0->1 |
52 |
52 |
100.00 |
| Port Bits 1->0 |
52 |
52 |
100.00 |
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
| clk_i |
Yes |
Yes |
T1,T2,T3 |
Yes |
T1,T2,T3 |
INPUT |
| rst_ni |
Yes |
Yes |
T4,T5,T6 |
Yes |
T1,T2,T3 |
INPUT |
| clr_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| set_i |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
INPUT |
| set_cnt_i[15:0] |
Yes |
Yes |
T1,T3,T4 |
Yes |
T1,T3,T4 |
INPUT |
| incr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| decr_en_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| step_i[15:0] |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| commit_i |
Unreachable |
Unreachable |
|
Unreachable |
|
INPUT |
| cnt_o[15:0] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| cnt_after_commit_o[15:0] |
Yes |
Yes |
T3,T4,T5 |
Yes |
T3,T4,T5 |
OUTPUT |
| err_o |
Yes |
Yes |
T7,T8,T9 |
Yes |
T7,T8,T9 |
OUTPUT |