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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T1,T3,T8 |
1 | 1 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T8 |
1 | 0 | Covered | T4,T1,T2 |
1 | 1 | Covered | T4,T1,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 |
10024 |
40984 |
0 |
0 |
T2 |
3 |
0 |
0 |
0 |
T3 |
10735 |
21701 |
0 |
0 |
T5 |
1 |
0 |
0 |
0 |
T8 |
1180 |
4183 |
0 |
0 |
T9 |
514087 |
856793 |
0 |
0 |
T10 |
22761 |
113784 |
0 |
0 |
T11 |
1 |
0 |
0 |
0 |
T12 |
252645 |
925721 |
0 |
0 |
T13 |
1102359 |
1592998 |
0 |
0 |
T14 |
1423585 |
2136600 |
0 |
0 |
T15 |
31032 |
51702 |
0 |
0 |
T16 |
430 |
4371 |
0 |
0 |
T17 |
1 |
3 |
0 |
0 |
T28 |
0 |
1 |
0 |
0 |
T41 |
2 |
1 |
0 |
0 |
T42 |
3 |
0 |
0 |
0 |
T49 |
1 |
0 |
0 |
0 |
T50 |
1 |
0 |
0 |
0 |
T51 |
1 |
0 |
0 |
0 |
T52 |
1 |
0 |
0 |
0 |
T53 |
1 |
0 |
0 |
0 |
T97 |
0 |
1 |
0 |
0 |
T98 |
0 |
1 |
0 |
0 |
T147 |
0 |
1 |
0 |
0 |
T148 |
0 |
1 |
0 |
0 |
T149 |
0 |
1 |
0 |
0 |
T150 |
0 |
3 |
0 |
0 |
T151 |
0 |
1 |
0 |
0 |
T152 |
0 |
1 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
31036 |
31034 |
0 |
0 |
T2 |
2039 |
2038 |
0 |
0 |
T3 |
11085 |
11083 |
0 |
0 |
T4 |
1093 |
1092 |
0 |
0 |
T8 |
3083 |
3081 |
0 |
0 |
T9 |
291545 |
291544 |
0 |
0 |
T10 |
22753 |
22752 |
0 |
0 |
T12 |
673093 |
673092 |
0 |
0 |
T13 |
490655 |
490654 |
0 |
0 |
T14 |
713031 |
713030 |
0 |
0 |
T15 |
22450 |
22448 |
0 |
0 |
T16 |
417 |
416 |
0 |
0 |
T28 |
2 |
1 |
0 |
0 |
T63 |
0 |
1 |
0 |
0 |
T88 |
0 |
3 |
0 |
0 |
T89 |
0 |
2 |
0 |
0 |
T131 |
1 |
0 |
0 |
0 |
T150 |
0 |
3 |
0 |
0 |
T153 |
0 |
1 |
0 |
0 |
T154 |
0 |
1 |
0 |
0 |
T155 |
0 |
1 |
0 |
0 |
T156 |
0 |
2 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
0 |
0 |
T159 |
1 |
0 |
0 |
0 |
T160 |
1 |
0 |
0 |
0 |
T161 |
1 |
0 |
0 |
0 |
T162 |
1 |
0 |
0 |
0 |
T163 |
1 |
0 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T9,T3 |
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 | T4,T1,T2 |
1 | 1 | Covered | T1,T9,T3 |
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 |
386536807 |
386535371 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
386536807 |
386535371 |
0 |
0 |
T1 |
3059 |
3058 |
0 |
0 |
T3 |
3272 |
3271 |
0 |
0 |
T8 |
385 |
384 |
0 |
0 |
T9 |
171344 |
171343 |
0 |
0 |
T10 |
22753 |
22752 |
0 |
0 |
T12 |
82497 |
82496 |
0 |
0 |
T13 |
367079 |
367078 |
0 |
0 |
T14 |
473954 |
473953 |
0 |
0 |
T15 |
10327 |
10326 |
0 |
0 |
T16 |
417 |
416 |
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,T9,T3 |
0 | 1 | Covered | T4,T1,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,T9,T3 |
1 | 1 | Covered | T4,T1,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 |
386538023 |
386536416 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
386538023 |
386536416 |
0 |
0 |
T1 |
3059 |
3058 |
0 |
0 |
T2 |
1 |
0 |
0 |
0 |
T3 |
3273 |
3272 |
0 |
0 |
T8 |
385 |
384 |
0 |
0 |
T9 |
171345 |
171344 |
0 |
0 |
T10 |
0 |
22753 |
0 |
0 |
T12 |
82498 |
82497 |
0 |
0 |
T13 |
367080 |
367079 |
0 |
0 |
T14 |
473954 |
473953 |
0 |
0 |
T15 |
10328 |
10327 |
0 |
0 |
T16 |
0 |
417 |
0 |
0 |
T42 |
1 |
0 |
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 | T1,T9,T3 |
0 | 1 | Covered | T4,T1,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,T9,T3 |
1 | 1 | Covered | T4,T1,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 |
542912 |
541305 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
542912 |
541305 |
0 |
0 |
T1 |
426 |
425 |
0 |
0 |
T2 |
1 |
0 |
0 |
0 |
T3 |
461 |
460 |
0 |
0 |
T8 |
13 |
12 |
0 |
0 |
T9 |
27 |
26 |
0 |
0 |
T10 |
0 |
8 |
0 |
0 |
T12 |
2577 |
2576 |
0 |
0 |
T13 |
561 |
560 |
0 |
0 |
T14 |
862 |
861 |
0 |
0 |
T15 |
25 |
24 |
0 |
0 |
T16 |
0 |
13 |
0 |
0 |
T42 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T9,T3 |
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 | T4,T1,T2 |
1 | 1 | Covered | T1,T9,T3 |
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 |
541305 |
540042 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
541305 |
540042 |
0 |
0 |
T1 |
425 |
424 |
0 |
0 |
T3 |
460 |
459 |
0 |
0 |
T8 |
12 |
11 |
0 |
0 |
T9 |
26 |
25 |
0 |
0 |
T10 |
8 |
7 |
0 |
0 |
T12 |
2576 |
2575 |
0 |
0 |
T13 |
560 |
559 |
0 |
0 |
T14 |
861 |
860 |
0 |
0 |
T15 |
24 |
23 |
0 |
0 |
T16 |
13 |
12 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,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 | T4,T1,T2 |
1 | 1 | Covered | T4,T1,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 |
1848 |
241 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1848 |
241 |
0 |
0 |
T23 |
1 |
0 |
0 |
0 |
T28 |
0 |
1 |
0 |
0 |
T43 |
1 |
0 |
0 |
0 |
T46 |
1 |
0 |
0 |
0 |
T76 |
0 |
1 |
0 |
0 |
T90 |
1 |
0 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T95 |
0 |
1 |
0 |
0 |
T96 |
0 |
1 |
0 |
0 |
T97 |
1 |
0 |
0 |
0 |
T120 |
1 |
0 |
0 |
0 |
T125 |
1 |
0 |
0 |
0 |
T126 |
1 |
0 |
0 |
0 |
T132 |
1 |
0 |
0 |
0 |
T150 |
0 |
3 |
0 |
0 |
T164 |
0 |
1 |
0 |
0 |
T165 |
0 |
1 |
0 |
0 |
T166 |
0 |
1 |
0 |
0 |
T167 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,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 | T4,T1,T2 |
1 | 1 | Covered | T4,T1,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 |
1846 |
239 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1846 |
239 |
0 |
0 |
T5 |
1 |
0 |
0 |
0 |
T11 |
1 |
0 |
0 |
0 |
T17 |
1 |
0 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T28 |
0 |
1 |
0 |
0 |
T41 |
2 |
1 |
0 |
0 |
T49 |
1 |
0 |
0 |
0 |
T50 |
1 |
0 |
0 |
0 |
T51 |
1 |
0 |
0 |
0 |
T52 |
1 |
0 |
0 |
0 |
T53 |
1 |
0 |
0 |
0 |
T97 |
0 |
1 |
0 |
0 |
T98 |
0 |
1 |
0 |
0 |
T147 |
0 |
1 |
0 |
0 |
T148 |
0 |
1 |
0 |
0 |
T149 |
0 |
1 |
0 |
0 |
T150 |
0 |
3 |
0 |
0 |
T151 |
0 |
1 |
0 |
0 |
T152 |
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 | T4,T1,T2 |
0 | 1 | Covered | T13,T5,T50 |
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 | T4,T1,T2 |
1 | 1 | Covered | T13,T5,T50 |
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 |
123431 |
122976 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
123431 |
122976 |
0 |
0 |
T5 |
399 |
398 |
0 |
0 |
T6 |
405 |
404 |
0 |
0 |
T13 |
94 |
93 |
0 |
0 |
T50 |
278 |
277 |
0 |
0 |
T52 |
476 |
475 |
0 |
0 |
T99 |
6 |
5 |
0 |
0 |
T100 |
85 |
84 |
0 |
0 |
T120 |
646 |
645 |
0 |
0 |
T121 |
690 |
689 |
0 |
0 |
T122 |
25 |
24 |
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 | T4,T1,T2 |
0 | 1 | Covered | T13,T5,T50 |
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 | T4,T1,T2 |
1 | 1 | Covered | T13,T5,T50 |
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 |
122146 |
121691 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
122146 |
121691 |
0 |
0 |
T5 |
399 |
398 |
0 |
0 |
T6 |
405 |
404 |
0 |
0 |
T13 |
92 |
91 |
0 |
0 |
T50 |
278 |
277 |
0 |
0 |
T52 |
476 |
475 |
0 |
0 |
T99 |
6 |
5 |
0 |
0 |
T100 |
84 |
83 |
0 |
0 |
T120 |
646 |
645 |
0 |
0 |
T121 |
690 |
689 |
0 |
0 |
T122 |
25 |
24 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T9,T3 |
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 | T4,T1,T2 |
1 | 1 | Covered | T1,T9,T3 |
Assert Coverage for Instance : tb.dut.u_sram_clk_scan.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
1477438707 |
1477437245 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1477438707 |
1477437245 |
0 |
0 |
T1 |
27908 |
27907 |
0 |
0 |
T3 |
7701 |
7700 |
0 |
0 |
T8 |
2625 |
2624 |
0 |
0 |
T9 |
171344 |
171343 |
0 |
0 |
T10 |
22753 |
22752 |
0 |
0 |
T12 |
590585 |
590585 |
0 |
0 |
T13 |
123566 |
123566 |
0 |
0 |
T14 |
239067 |
239067 |
0 |
0 |
T15 |
10327 |
10326 |
0 |
0 |
T16 |
2682 |
2681 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T9,T3 |
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 | T4,T1,T2 |
1 | 1 | Covered | T1,T9,T3 |
Assert Coverage for Instance : tb.dut.u_sram_rst_scanmux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
78606 |
77293 |
0 |
0 |
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
78606 |
77293 |
0 |
0 |
T3 |
1 |
0 |
0 |
0 |
T5 |
0 |
26 |
0 |
0 |
T6 |
0 |
176 |
0 |
0 |
T7 |
0 |
621 |
0 |
0 |
T8 |
1 |
0 |
0 |
0 |
T9 |
26 |
25 |
0 |
0 |
T10 |
8 |
7 |
0 |
0 |
T11 |
0 |
35 |
0 |
0 |
T12 |
1 |
0 |
0 |
0 |
T15 |
24 |
23 |
0 |
0 |
T16 |
1 |
0 |
0 |
0 |
T17 |
4 |
3 |
0 |
0 |
T19 |
0 |
17 |
0 |
0 |
T40 |
1 |
0 |
0 |
0 |
T41 |
1 |
0 |
0 |
0 |
T137 |
0 |
7 |
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 | T1,T9,T3 |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T9,T3 |
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,T9,T3 |
1 | 1 | Covered | T4,T1,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 |
386537475 |
386535868 |
0 |
0 |
selKnown1 |
386536219 |
386534807 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
386537475 |
386535868 |
0 |
0 |
T1 |
3055 |
3054 |
0 |
0 |
T2 |
1 |
0 |
0 |
0 |
T3 |
3269 |
3268 |
0 |
0 |
T8 |
385 |
384 |
0 |
0 |
T9 |
171345 |
171344 |
0 |
0 |
T10 |
0 |
22753 |
0 |
0 |
T12 |
82497 |
82496 |
0 |
0 |
T13 |
367079 |
367078 |
0 |
0 |
T14 |
473954 |
473953 |
0 |
0 |
T15 |
10328 |
10327 |
0 |
0 |
T16 |
0 |
416 |
0 |
0 |
T42 |
1 |
0 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
386536219 |
386534807 |
0 |
0 |
T1 |
3055 |
3054 |
0 |
0 |
T3 |
3269 |
3268 |
0 |
0 |
T8 |
385 |
384 |
0 |
0 |
T9 |
171344 |
171343 |
0 |
0 |
T10 |
22753 |
22752 |
0 |
0 |
T12 |
82497 |
82496 |
0 |
0 |
T13 |
367079 |
367078 |
0 |
0 |
T14 |
473953 |
473952 |
0 |
0 |
T15 |
10327 |
10326 |
0 |
0 |
T16 |
417 |
416 |
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 | T4,T1,T2 |
0 | 1 | Covered | T9,T15,T10 |
1 | 0 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T1,T3,T8 |
1 | 1 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T8 |
1 | 0 | Covered | T4,T1,T2 |
1 | 1 | Covered | T9,T15,T10 |
Assert Coverage for Instance : tb.dut.u_sram_clk_sel.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
386536807 |
386535371 |
0 |
0 |
selKnown1 |
1929928785 |
1929927178 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
386536807 |
386535371 |
0 |
0 |
T1 |
3059 |
3058 |
0 |
0 |
T3 |
3272 |
3271 |
0 |
0 |
T8 |
385 |
384 |
0 |
0 |
T9 |
171344 |
171343 |
0 |
0 |
T10 |
22753 |
22752 |
0 |
0 |
T12 |
82497 |
82496 |
0 |
0 |
T13 |
367079 |
367078 |
0 |
0 |
T14 |
473954 |
473953 |
0 |
0 |
T15 |
10327 |
10326 |
0 |
0 |
T16 |
417 |
416 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1929928785 |
1929927178 |
0 |
0 |
T1 |
27981 |
27980 |
0 |
0 |
T2 |
2039 |
2038 |
0 |
0 |
T3 |
7816 |
7815 |
0 |
0 |
T4 |
1093 |
1092 |
0 |
0 |
T8 |
2698 |
2697 |
0 |
0 |
T9 |
120201 |
120201 |
0 |
0 |
T12 |
590596 |
590596 |
0 |
0 |
T13 |
123576 |
123576 |
0 |
0 |
T14 |
239078 |
239078 |
0 |
0 |
T15 |
12123 |
12122 |
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 | T4,T1,T2 |
0 | 1 | Covered | T9,T15,T10 |
1 | 0 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T150,T153,T88 |
1 | 1 | Covered | T1,T3,T8 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T3,T8 |
1 | 0 | Covered | T4,T1,T2 |
1 | 1 | Covered | T9,T15,T10 |
Assert Coverage for Instance : tb.dut.u_sram_rst_sel.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
541305 |
540042 |
0 |
0 |
selKnown1 |
1798 |
191 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
541305 |
540042 |
0 |
0 |
T1 |
425 |
424 |
0 |
0 |
T3 |
460 |
459 |
0 |
0 |
T8 |
12 |
11 |
0 |
0 |
T9 |
26 |
25 |
0 |
0 |
T10 |
8 |
7 |
0 |
0 |
T12 |
2576 |
2575 |
0 |
0 |
T13 |
560 |
559 |
0 |
0 |
T14 |
861 |
860 |
0 |
0 |
T15 |
24 |
23 |
0 |
0 |
T16 |
13 |
12 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1798 |
191 |
0 |
0 |
T28 |
2 |
1 |
0 |
0 |
T63 |
0 |
1 |
0 |
0 |
T88 |
0 |
3 |
0 |
0 |
T89 |
0 |
2 |
0 |
0 |
T108 |
0 |
10 |
0 |
0 |
T131 |
1 |
0 |
0 |
0 |
T150 |
0 |
3 |
0 |
0 |
T153 |
0 |
1 |
0 |
0 |
T154 |
0 |
1 |
0 |
0 |
T155 |
0 |
1 |
0 |
0 |
T156 |
0 |
2 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
0 |
0 |
T159 |
1 |
0 |
0 |
0 |
T160 |
1 |
0 |
0 |
0 |
T161 |
1 |
0 |
0 |
0 |
T162 |
1 |
0 |
0 |
0 |
T163 |
1 |
0 |
0 |
0 |
T168 |
1 |
0 |
0 |
0 |