Line Coverage for Module :
prim_generic_clock_mux2
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Module :
prim_generic_clock_mux2
| Total | Covered | Percent |
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
2147483647 |
2147483647 |
0 |
0 |
selKnown1 |
2147483647 |
2147483647 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
1154 |
1153 |
0 |
0 |
T2 |
589538 |
466838 |
0 |
0 |
T3 |
3 |
0 |
0 |
0 |
T5 |
332015 |
286984 |
0 |
0 |
T6 |
145 |
2 |
0 |
0 |
T9 |
1592024 |
1442301 |
0 |
0 |
T10 |
45049 |
41763 |
0 |
0 |
T16 |
1561924 |
1216969 |
0 |
0 |
T17 |
155900 |
124697 |
0 |
0 |
T18 |
2007587 |
1593410 |
0 |
0 |
T19 |
1922362 |
1509701 |
0 |
0 |
T20 |
8426 |
12168 |
0 |
0 |
T21 |
9144 |
9143 |
0 |
0 |
T22 |
643538 |
514382 |
0 |
0 |
T49 |
1 |
0 |
0 |
0 |
T64 |
1 |
0 |
0 |
0 |
T65 |
2 |
1 |
0 |
0 |
T66 |
547 |
0 |
0 |
0 |
T73 |
63 |
0 |
0 |
0 |
T76 |
0 |
3 |
0 |
0 |
T98 |
0 |
1 |
0 |
0 |
T99 |
0 |
1 |
0 |
0 |
T102 |
12 |
0 |
0 |
0 |
T109 |
0 |
20 |
0 |
0 |
T110 |
0 |
20 |
0 |
0 |
T138 |
21 |
0 |
0 |
0 |
T152 |
0 |
2 |
0 |
0 |
T153 |
0 |
1 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
1264 |
1263 |
0 |
0 |
T2 |
221453 |
221452 |
0 |
0 |
T3 |
2384 |
2383 |
0 |
0 |
T4 |
662 |
661 |
0 |
0 |
T5 |
197047 |
197045 |
0 |
0 |
T6 |
3 |
2 |
0 |
0 |
T9 |
1143370 |
1143369 |
0 |
0 |
T10 |
35320 |
35317 |
0 |
0 |
T16 |
527086 |
527084 |
0 |
0 |
T17 |
46567 |
46564 |
0 |
0 |
T18 |
413697 |
413695 |
0 |
0 |
T19 |
411074 |
411072 |
0 |
0 |
T20 |
3745 |
3744 |
0 |
0 |
T22 |
789606 |
789603 |
0 |
0 |
T64 |
1 |
0 |
0 |
0 |
T65 |
1 |
0 |
0 |
0 |
T76 |
0 |
3 |
0 |
0 |
T109 |
0 |
20 |
0 |
0 |
T110 |
0 |
20 |
0 |
0 |
T152 |
0 |
2 |
0 |
0 |
T154 |
0 |
2 |
0 |
0 |
T155 |
0 |
2 |
0 |
0 |
T156 |
0 |
3 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T2,T5 |
Assert Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
346089440 |
346088035 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
346089440 |
346088035 |
0 |
0 |
T2 |
118977 |
118976 |
0 |
0 |
T5 |
44962 |
44961 |
0 |
0 |
T9 |
148130 |
148130 |
0 |
0 |
T10 |
2878 |
2877 |
0 |
0 |
T16 |
344642 |
344641 |
0 |
0 |
T17 |
31168 |
31167 |
0 |
0 |
T18 |
413697 |
413696 |
0 |
0 |
T19 |
411073 |
411072 |
0 |
0 |
T20 |
3745 |
3744 |
0 |
0 |
T22 |
128596 |
128595 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
346090658 |
346089086 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
346090658 |
346089086 |
0 |
0 |
T2 |
118977 |
118976 |
0 |
0 |
T3 |
1 |
0 |
0 |
0 |
T5 |
44962 |
44961 |
0 |
0 |
T9 |
148130 |
148130 |
0 |
0 |
T10 |
2879 |
2878 |
0 |
0 |
T16 |
344642 |
344641 |
0 |
0 |
T17 |
31169 |
31168 |
0 |
0 |
T18 |
413697 |
413696 |
0 |
0 |
T19 |
411074 |
411073 |
0 |
0 |
T20 |
0 |
3745 |
0 |
0 |
T22 |
128597 |
128596 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T5,T9 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T5,T9 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
567331 |
565759 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
567331 |
565759 |
0 |
0 |
T2 |
3719 |
3718 |
0 |
0 |
T3 |
1 |
0 |
0 |
0 |
T5 |
64 |
63 |
0 |
0 |
T9 |
1401 |
1400 |
0 |
0 |
T10 |
401 |
400 |
0 |
0 |
T16 |
307 |
306 |
0 |
0 |
T17 |
15 |
14 |
0 |
0 |
T18 |
474 |
473 |
0 |
0 |
T19 |
1582 |
1581 |
0 |
0 |
T20 |
0 |
468 |
0 |
0 |
T21 |
0 |
4572 |
0 |
0 |
T22 |
1 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T5,T9 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T2,T5,T9 |
Assert Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
565759 |
564520 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
565759 |
564520 |
0 |
0 |
T2 |
3718 |
3717 |
0 |
0 |
T5 |
63 |
62 |
0 |
0 |
T9 |
1400 |
1399 |
0 |
0 |
T10 |
400 |
399 |
0 |
0 |
T16 |
306 |
305 |
0 |
0 |
T17 |
14 |
13 |
0 |
0 |
T18 |
473 |
472 |
0 |
0 |
T19 |
1581 |
1580 |
0 |
0 |
T20 |
468 |
467 |
0 |
0 |
T21 |
4572 |
4571 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_tx_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
1785 |
213 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1785 |
213 |
0 |
0 |
T6 |
0 |
2 |
0 |
0 |
T9 |
2 |
1 |
0 |
0 |
T10 |
1 |
0 |
0 |
0 |
T16 |
1 |
0 |
0 |
0 |
T17 |
1 |
0 |
0 |
0 |
T18 |
1 |
0 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T22 |
1 |
0 |
0 |
0 |
T56 |
2 |
1 |
0 |
0 |
T57 |
1 |
0 |
0 |
0 |
T66 |
1 |
0 |
0 |
0 |
T76 |
0 |
3 |
0 |
0 |
T96 |
0 |
1 |
0 |
0 |
T97 |
0 |
1 |
0 |
0 |
T152 |
0 |
2 |
0 |
0 |
T157 |
0 |
1 |
0 |
0 |
T158 |
0 |
1 |
0 |
0 |
T159 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_rx_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
1783 |
211 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1783 |
211 |
0 |
0 |
T6 |
3 |
2 |
0 |
0 |
T9 |
2 |
1 |
0 |
0 |
T10 |
1 |
0 |
0 |
0 |
T16 |
1 |
0 |
0 |
0 |
T17 |
1 |
0 |
0 |
0 |
T18 |
1 |
0 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T22 |
1 |
0 |
0 |
0 |
T64 |
1 |
0 |
0 |
0 |
T65 |
2 |
1 |
0 |
0 |
T76 |
0 |
3 |
0 |
0 |
T98 |
0 |
1 |
0 |
0 |
T99 |
0 |
1 |
0 |
0 |
T109 |
0 |
20 |
0 |
0 |
T110 |
0 |
20 |
0 |
0 |
T152 |
0 |
2 |
0 |
0 |
T153 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T9,T22,T66 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T9,T22,T66 |
Assert Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
105241 |
104808 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
105241 |
104808 |
0 |
0 |
T6 |
142 |
141 |
0 |
0 |
T9 |
176 |
175 |
0 |
0 |
T22 |
554 |
553 |
0 |
0 |
T24 |
217 |
216 |
0 |
0 |
T66 |
547 |
546 |
0 |
0 |
T73 |
62 |
61 |
0 |
0 |
T100 |
100 |
99 |
0 |
0 |
T101 |
14 |
13 |
0 |
0 |
T102 |
7 |
6 |
0 |
0 |
T138 |
12 |
11 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T9,T22,T66 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T9,T22,T66 |
Assert Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
104223 |
103790 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
104223 |
103790 |
0 |
0 |
T6 |
139 |
138 |
0 |
0 |
T9 |
170 |
169 |
0 |
0 |
T22 |
554 |
553 |
0 |
0 |
T24 |
217 |
216 |
0 |
0 |
T66 |
519 |
518 |
0 |
0 |
T73 |
62 |
61 |
0 |
0 |
T100 |
100 |
99 |
0 |
0 |
T101 |
14 |
13 |
0 |
0 |
T102 |
7 |
6 |
0 |
0 |
T138 |
12 |
11 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T2,T5 |
Assert Coverage for Instance : tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
1512729737 |
1512728307 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1512729737 |
1512728307 |
0 |
0 |
T1 |
1154 |
1153 |
0 |
0 |
T2 |
102475 |
102475 |
0 |
0 |
T5 |
151978 |
151977 |
0 |
0 |
T9 |
995112 |
995112 |
0 |
0 |
T10 |
32337 |
32336 |
0 |
0 |
T16 |
182436 |
182436 |
0 |
0 |
T17 |
31168 |
31167 |
0 |
0 |
T18 |
351377 |
351377 |
0 |
0 |
T19 |
273323 |
273323 |
0 |
0 |
T22 |
128596 |
128595 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 4 | 44.44 |
Logical | 9 | 4 | 44.44 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T2,T5 |
Assert Coverage for Instance : tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
61637 |
60350 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
61637 |
60350 |
0 |
0 |
T9 |
13 |
12 |
0 |
0 |
T10 |
1 |
0 |
0 |
0 |
T11 |
0 |
19 |
0 |
0 |
T12 |
0 |
9 |
0 |
0 |
T13 |
0 |
29 |
0 |
0 |
T14 |
0 |
7 |
0 |
0 |
T16 |
1 |
0 |
0 |
0 |
T17 |
14 |
13 |
0 |
0 |
T18 |
1 |
0 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T23 |
0 |
33 |
0 |
0 |
T26 |
0 |
33 |
0 |
0 |
T49 |
1 |
0 |
0 |
0 |
T73 |
1 |
0 |
0 |
0 |
T102 |
5 |
4 |
0 |
0 |
T138 |
9 |
8 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 5 | 55.56 |
Logical | 9 | 5 | 55.56 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T5,T9 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T5,T9 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T5,T9 |
1 | 1 | Covered | T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
346090075 |
346088503 |
0 |
0 |
selKnown1 |
346088860 |
346087478 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
346090075 |
346088503 |
0 |
0 |
T2 |
118977 |
118976 |
0 |
0 |
T3 |
1 |
0 |
0 |
0 |
T5 |
44961 |
44960 |
0 |
0 |
T9 |
148130 |
148129 |
0 |
0 |
T10 |
2874 |
2873 |
0 |
0 |
T16 |
344641 |
344640 |
0 |
0 |
T17 |
31169 |
31168 |
0 |
0 |
T18 |
413697 |
413696 |
0 |
0 |
T19 |
411073 |
411072 |
0 |
0 |
T20 |
0 |
3744 |
0 |
0 |
T22 |
128597 |
128596 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
346088860 |
346087478 |
0 |
0 |
T2 |
118977 |
118976 |
0 |
0 |
T5 |
44961 |
44960 |
0 |
0 |
T9 |
148129 |
148129 |
0 |
0 |
T10 |
2873 |
2872 |
0 |
0 |
T16 |
344641 |
344640 |
0 |
0 |
T17 |
31168 |
31167 |
0 |
0 |
T18 |
413696 |
413695 |
0 |
0 |
T19 |
411073 |
411072 |
0 |
0 |
T20 |
3745 |
3744 |
0 |
0 |
T22 |
128596 |
128595 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T22,T17,T23 |
1 | 0 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T22,T17,T23 |
Assert Coverage for Instance : tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
346089440 |
346088035 |
0 |
0 |
selKnown1 |
1866834928 |
1866833356 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
346089440 |
346088035 |
0 |
0 |
T2 |
118977 |
118976 |
0 |
0 |
T5 |
44962 |
44961 |
0 |
0 |
T9 |
148130 |
148130 |
0 |
0 |
T10 |
2878 |
2877 |
0 |
0 |
T16 |
344642 |
344641 |
0 |
0 |
T17 |
31168 |
31167 |
0 |
0 |
T18 |
413697 |
413696 |
0 |
0 |
T19 |
411073 |
411072 |
0 |
0 |
T20 |
3745 |
3744 |
0 |
0 |
T22 |
128596 |
128595 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1866834928 |
1866833356 |
0 |
0 |
T1 |
1264 |
1263 |
0 |
0 |
T2 |
102476 |
102476 |
0 |
0 |
T3 |
2384 |
2383 |
0 |
0 |
T4 |
662 |
661 |
0 |
0 |
T5 |
152086 |
152085 |
0 |
0 |
T9 |
995239 |
995239 |
0 |
0 |
T10 |
32446 |
32445 |
0 |
0 |
T16 |
182444 |
182444 |
0 |
0 |
T17 |
15398 |
15397 |
0 |
0 |
T22 |
661009 |
661008 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
TOTAL | | 1 | 1 | 100.00 |
CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T9,T17,T102 |
1 | 0 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T6,T152,T76 |
1 | 1 | Covered | T1,T2,T5 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T5,T9 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T9,T17,T102 |
Assert Coverage for Instance : tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
565759 |
564520 |
0 |
0 |
selKnown1 |
1736 |
164 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
565759 |
564520 |
0 |
0 |
T2 |
3718 |
3717 |
0 |
0 |
T5 |
63 |
62 |
0 |
0 |
T9 |
1400 |
1399 |
0 |
0 |
T10 |
400 |
399 |
0 |
0 |
T16 |
306 |
305 |
0 |
0 |
T17 |
14 |
13 |
0 |
0 |
T18 |
473 |
472 |
0 |
0 |
T19 |
1581 |
1580 |
0 |
0 |
T20 |
468 |
467 |
0 |
0 |
T21 |
4572 |
4571 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1736 |
164 |
0 |
0 |
T6 |
3 |
2 |
0 |
0 |
T9 |
2 |
1 |
0 |
0 |
T10 |
1 |
0 |
0 |
0 |
T16 |
1 |
0 |
0 |
0 |
T17 |
1 |
0 |
0 |
0 |
T18 |
1 |
0 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T22 |
1 |
0 |
0 |
0 |
T64 |
1 |
0 |
0 |
0 |
T65 |
1 |
0 |
0 |
0 |
T76 |
0 |
3 |
0 |
0 |
T109 |
0 |
20 |
0 |
0 |
T110 |
0 |
20 |
0 |
0 |
T152 |
0 |
2 |
0 |
0 |
T154 |
0 |
2 |
0 |
0 |
T155 |
0 |
2 |
0 |
0 |
T156 |
0 |
3 |
0 |
0 |
T160 |
0 |
2 |
0 |
0 |