Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T15,T28,T29 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T15,T28,T29 |
Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T15,T28,T29 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T15,T28,T29 |
Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T3,T15,T6 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T15,T6 |
Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T6 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T6 |
Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |
Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc.u_arb
| Line No. | Total | Covered | Percent |
| TOTAL | | 2 | 2 | 100.00 |
| CONT_ASSIGN | 100 | 0 | 0 | |
| CONT_ASSIGN | 284 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 285 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 300 | 0 | 0 | |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc_arb.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 100 |
|
unreachable |
| 284 |
1 |
1 |
| 285 |
1 |
1 |
| 300 |
|
unreachable |
Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc.u_arb
| Total | Covered | Percent |
| Conditions | 3 | 3 | 100.00 |
| Logical | 3 | 3 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 100
EXPRESSION (dst_update_i & (dst_qs_o != dst_ds_i))
------1----- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T15 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Unreachable | |
LINE 100
SUB-EXPRESSION (dst_qs_o != dst_ds_i)
-----------1----------
| -1- | Status | Tests |
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T3,T15 |