Line Coverage for Module : 
prim_clock_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Module : 
prim_clock_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T1,T2 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T1,T2 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T2,T3 | 
FSM Coverage for Module : 
prim_clock_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Module : 
prim_clock_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T5,T1,T2 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Module : 
prim_clock_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
248150957 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4025 | 
4025 | 
0 | 
0 | 
| T1 | 
5 | 
5 | 
0 | 
0 | 
| T5 | 
5 | 
5 | 
0 | 
0 | 
| T6 | 
5 | 
5 | 
0 | 
0 | 
| T7 | 
5 | 
5 | 
0 | 
0 | 
| T8 | 
5 | 
5 | 
0 | 
0 | 
| T9 | 
5 | 
5 | 
0 | 
0 | 
| T26 | 
5 | 
5 | 
0 | 
0 | 
| T27 | 
5 | 
5 | 
0 | 
0 | 
| T28 | 
5 | 
5 | 
0 | 
0 | 
| T29 | 
5 | 
5 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4025 | 
4025 | 
0 | 
0 | 
| T1 | 
5 | 
5 | 
0 | 
0 | 
| T5 | 
5 | 
5 | 
0 | 
0 | 
| T6 | 
5 | 
5 | 
0 | 
0 | 
| T7 | 
5 | 
5 | 
0 | 
0 | 
| T8 | 
5 | 
5 | 
0 | 
0 | 
| T9 | 
5 | 
5 | 
0 | 
0 | 
| T26 | 
5 | 
5 | 
0 | 
0 | 
| T27 | 
5 | 
5 | 
0 | 
0 | 
| T28 | 
5 | 
5 | 
0 | 
0 | 
| T29 | 
5 | 
5 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_io_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_io_meas.u_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T1,T2,T3 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T12,T15 | 
FSM Coverage for Instance : tb.dut.u_io_meas.u_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Instance : tb.dut.u_io_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Instance : tb.dut.u_io_meas.u_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
73939315 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_io_div2_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_io_div2_meas.u_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T1,T2 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T1,T2 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T3,T12,T14 | 
FSM Coverage for Instance : tb.dut.u_io_div2_meas.u_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Instance : tb.dut.u_io_div2_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T5,T1,T2 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Instance : tb.dut.u_io_div2_meas.u_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
36083857 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_io_div4_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_io_div4_meas.u_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T1,T2,T3 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T2,T12,T13 | 
FSM Coverage for Instance : tb.dut.u_io_div4_meas.u_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Instance : tb.dut.u_io_div4_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Instance : tb.dut.u_io_div4_meas.u_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
18041556 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_main_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_main_meas.u_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T2,T12 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T1,T2,T12 | 
| 1 | 0 | Covered | T1,T2,T3 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T2,T14,T16 | 
FSM Coverage for Instance : tb.dut.u_main_meas.u_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Instance : tb.dut.u_main_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T1,T2,T12 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Instance : tb.dut.u_main_meas.u_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
81077742 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_usb_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 32 | 32 | 100.00 | 
| ALWAYS | 88 | 3 | 3 | 100.00 | 
| ALWAYS | 100 | 12 | 12 | 100.00 | 
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 | 
| ALWAYS | 183 | 13 | 13 | 100.00 | 
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 88 | 
1 | 
1 | 
| 89 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 103 | 
1 | 
1 | 
| 106 | 
1 | 
1 | 
| 107 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 112 | 
1 | 
1 | 
| 113 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 118 | 
1 | 
1 | 
| 119 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 125 | 
1 | 
1 | 
| 126 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 163 | 
1 | 
1 | 
| 183 | 
1 | 
1 | 
| 184 | 
1 | 
1 | 
| 185 | 
1 | 
1 | 
| 186 | 
1 | 
1 | 
| 187 | 
1 | 
1 | 
| 188 | 
1 | 
1 | 
| 189 | 
1 | 
1 | 
| 190 | 
1 | 
1 | 
| 191 | 
1 | 
1 | 
| 192 | 
1 | 
1 | 
| 193 | 
1 | 
1 | 
| 194 | 
1 | 
1 | 
| 195 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 199 | 
1 | 
1 | 
| 200 | 
1 | 
1 | 
| 201 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_usb_meas.u_meas
 | Total | Covered | Percent | 
| Conditions | 15 | 15 | 100.00 | 
| Logical | 15 | 15 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       186
 EXPRESSION (((!cnt_en)) && ((|cnt)))
             -----1-----    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T7,T8,T9 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       199
 EXPRESSION (valid & ((|cnt)))
             --1--   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T6,T1 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T6,T1 | 
 LINE       200
 EXPRESSION (valid_o & ((cnt > max_cnt) | cnt_ovfl))
             ---1---   --------------2-------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T5,T1,T2 | 
 LINE       200
 SUB-EXPRESSION ((cnt > max_cnt) | cnt_ovfl)
                 -------1-------   ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T7,T8,T9 | 
| 0 | 1 | Covered | T5,T1,T2 | 
| 1 | 0 | Covered | T5,T1,T2 | 
 LINE       201
 EXPRESSION (valid_o & (cnt < min_cnt))
             ---1---   -------2-------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T7,T8,T9 | 
| 1 | 0 | Covered | T5,T6,T1 | 
| 1 | 1 | Covered | T1,T2,T12 | 
FSM Coverage for Instance : tb.dut.u_usb_meas.u_meas
Summary for FSM :: state_q
 | Total | Covered | Percent |  | 
| States | 
4 | 
4 | 
100.00 | 
(Not included in score) | 
| Transitions | 
4 | 
4 | 
100.00 | 
 | 
| Sequences | 
0 | 
0 | 
 | 
 | 
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests | 
| StDisable | 
126 | 
Covered | 
T7,T8,T9 | 
| StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
| StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| transitions | Line No. | Covered | Tests | 
| StDisable->StEnabling | 
107 | 
Covered | 
T5,T6,T1 | 
| StDisabling->StDisable | 
126 | 
Covered | 
T5,T6,T1 | 
| StEnable->StDisabling | 
120 | 
Covered | 
T5,T6,T1 | 
| StEnabling->StEnable | 
113 | 
Covered | 
T5,T6,T1 | 
Branch Coverage for Instance : tb.dut.u_usb_meas.u_meas
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
16 | 
16 | 
100.00 | 
| IF | 
88 | 
2 | 
2 | 
100.00 | 
| CASE | 
103 | 
8 | 
8 | 
100.00 | 
| IF | 
183 | 
6 | 
6 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv' or '../src/lowrisc_prim_measure_0/rtl/prim_clock_meas.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	88	if ((!rst_ni))
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T7,T8,T9 | 
| 0 | 
Covered | 
T7,T8,T9 | 
	LineNo.	Expression
-1-:	103	case (state_q)
-2-:	106	if (en_i)
-3-:	112	if (en_ref_sync)
-4-:	119	if ((!en_i))
-5-:	125	if ((!en_ref_sync))
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| StDisable  | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StDisable  | 
0 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnabling  | 
- | 
0 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
1 | 
- | 
Covered | 
T5,T6,T1 | 
| StEnable  | 
- | 
- | 
0 | 
- | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
1 | 
Covered | 
T5,T6,T1 | 
| StDisabling  | 
- | 
- | 
- | 
0 | 
Covered | 
T5,T6,T1 | 
	LineNo.	Expression
-1-:	183	if ((!rst_ni))
-2-:	186	if (((!cnt_en) && (|cnt)))
-3-:	189	if (valid_o)
-4-:	192	if (cnt_ovfl)
-5-:	194	if (cnt_en)
Branches:
| -1- | -2- | -3- | -4- | -5- | Status | Tests | 
| 1 | 
- | 
- | 
- | 
- | 
Covered | 
T7,T8,T9 | 
| 0 | 
1 | 
- | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
1 | 
- | 
- | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
1 | 
- | 
Covered | 
T5,T1,T2 | 
| 0 | 
0 | 
0 | 
0 | 
1 | 
Covered | 
T5,T6,T1 | 
| 0 | 
0 | 
0 | 
0 | 
0 | 
Covered | 
T7,T8,T9 | 
Assert Coverage for Instance : tb.dut.u_usb_meas.u_meas
Assertion Details
MaxWidth_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
39008487 | 
0 | 
0 | 
0 | 
RefCntVal_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 | 
gen_timeout_assert.ClkRatios_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
805 | 
805 | 
0 | 
0 | 
| T1 | 
1 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
1 | 
0 | 
0 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T26 | 
1 | 
1 | 
0 | 
0 | 
| T27 | 
1 | 
1 | 
0 | 
0 | 
| T28 | 
1 | 
1 | 
0 | 
0 | 
| T29 | 
1 | 
1 | 
0 | 
0 |