Line Coverage for Module : 
prim_fifo_sync ( parameter Width=17,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Line Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
|---|
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 1 | 1 | 
| 70 | 1 | 1 | 
| 71 | 1 | 1 | 
| 72 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 81 | 1 | 1 | 
| 82 | 1 | 1 | 
| 100 | 1 | 1 | 
| 101 | 1 | 1 | 
| 108 | 1 | 1 | 
| 111 | 1 | 1 | 
| 112 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 116 | 1 | 1 | 
| 133 | 1 | 1 | 
| 134 | 1 | 1 | 
| 138 | 1 | 1 | 
Line Coverage for Module : 
prim_fifo_sync ( parameter Width=5,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Line Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
|---|
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 1 | 1 | 
| 70 | 1 | 1 | 
| 71 | 1 | 1 | 
| 72 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 81 | 1 | 1 | 
| 82 | 1 | 1 | 
| 100 | 1 | 1 | 
| 101 | 1 | 1 | 
| 108 | 1 | 1 | 
| 111 | 1 | 1 | 
| 112 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 116 | 1 | 1 | 
| 133 | 1 | 1 | 
| 134 | 1 | 1 | 
| 138 | 1 | 1 | 
Line Coverage for Module : 
prim_fifo_sync ( parameter Width=40,Pass=1,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Line Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
|---|
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 1 | 1 | 
| 70 | 1 | 1 | 
| 71 | 1 | 1 | 
| 72 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 81 | 1 | 1 | 
| 82 | 1 | 1 | 
| 100 | 1 | 1 | 
| 101 | 1 | 1 | 
| 108 | 1 | 1 | 
| 111 | 1 | 1 | 
| 112 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 116 | 1 | 1 | 
| 130 | 1 | 1 | 
| 131 | 1 | 1 | 
| 138 | 1 | 1 | 
Line Coverage for Module : 
prim_fifo_sync ( parameter Width=72,Pass=1,Depth=10,OutputZeroIfEmpty=1,Secure=0,DepthW=4,gen_normal_fifo.PtrW=4 ) 
Line Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
|---|
| TOTAL |  | 14 | 14 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 120 | 1 | 1 | 100.00 | 
| ALWAYS | 123 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 1 | 1 | 
| 70 | 1 | 1 | 
| 71 | 1 | 1 | 
| 72 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 81 | 1 | 1 | 
| 82 | 1 | 1 | 
| 100 | 1 | 1 | 
| 101 | 1 | 1 | 
| 120 | 1 | 1 | 
| 123 | 1 | 1 | 
| 124 | 1 | 1 | 
|  |  |  | MISSING_ELSE | 
| 130 | 1 | 1 | 
| 131 | 1 | 1 | 
| 138 | 1 | 1 | 
Line Coverage for Module : 
prim_fifo_sync ( parameter Width=109,Pass=1,Depth=0,OutputZeroIfEmpty=1,Secure=0,DepthW=1 + Width=65,Pass=1,Depth=0,OutputZeroIfEmpty=1,Secure=0,DepthW=1 + Width=108,Pass=1,Depth=0,OutputZeroIfEmpty=1,Secure=0,DepthW=1 ) 
Line Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
|---|
| TOTAL |  | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 44 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 45 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 49 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 53 | 0 | 0 |  | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 44 | 1 | 1 | 
| 45 | 1 | 1 | 
| 48 | 1 | 1 | 
| 49 | 1 | 1 | 
| 53 |  | unreachable | 
Cond Coverage for Module : 
prim_fifo_sync ( parameter Width=5,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Cond Coverage for Module self-instances : 
|  | Total | Covered | Percent | 
|---|
| Conditions | 16 | 10 | 62.50 | 
| Logical | 16 | 10 | 62.50 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (5'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
Cond Coverage for Module : 
prim_fifo_sync ( parameter Width=40,Pass=1,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Cond Coverage for Module self-instances : 
|  | Total | Covered | Percent | 
|---|
| Conditions | 24 | 18 | 75.00 | 
| Logical | 24 | 18 | 75.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T23,T68,T93 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       130
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T3,T4 | 
 LINE       130
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       131
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T23,T68,T93 | 
| 1 | 0 | Covered | T1,T3,T4 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (40'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
Cond Coverage for Module : 
prim_fifo_sync ( parameter Width=17,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Cond Coverage for Module self-instances : 
|  | Total | Covered | Percent | 
|---|
| Conditions | 16 | 11 | 68.75 | 
| Logical | 16 | 11 | 68.75 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (17'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
Cond Coverage for Module : 
prim_fifo_sync ( parameter Width=72,Pass=1,Depth=10,OutputZeroIfEmpty=1,Secure=0,DepthW=4,gen_normal_fifo.PtrW=4 ) 
Cond Coverage for Module self-instances : 
|  | Total | Covered | Percent | 
|---|
| Conditions | 24 | 21 | 87.50 | 
| Logical | 24 | 21 | 87.50 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T23,T41,T25 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T23,T40,T28 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T3,T4 | 
 LINE       130
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T3,T4 | 
 LINE       130
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T4,T15 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       131
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T3,T4 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (72'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
|---|
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Module : 
prim_fifo_sync ( parameter Width=40,Pass=1,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 + Width=72,Pass=1,Depth=10,OutputZeroIfEmpty=1,Secure=0,DepthW=4,gen_normal_fifo.PtrW=4 ) 
Branch Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
| Branches |  | 9 | 9 | 100.00 | 
| TERNARY | 130 | 2 | 2 | 100.00 | 
| TERNARY | 138 | 2 | 2 | 100.00 | 
| IF | 69 | 3 | 3 | 100.00 | 
| IF | 111 | 2 | 2 | 100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	130	((gen_normal_fifo.fifo_empty && wvalid_i)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | Covered | T1,T3,T4 | 
| 0 | Covered | T1,T2,T3 | 
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | Covered | T1,T2,T3 | 
| 0 | Covered | T1,T3,T4 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | - | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 0 | 0 | Covered | T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | Covered | T1,T3,T4 | 
| 0 | Covered | T1,T2,T3 | 
Branch Coverage for Module : 
prim_fifo_sync ( parameter Width=17,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 + Width=5,Pass=0,Depth=1,OutputZeroIfEmpty=1,Secure=0,DepthW=1,gen_normal_fifo.PtrW=1 ) 
Branch Coverage for Module self-instances : 
|  | Line No. | Total | Covered | Percent | 
| Branches |  | 7 | 7 | 100.00 | 
| TERNARY | 138 | 2 | 2 | 100.00 | 
| IF | 69 | 3 | 3 | 100.00 | 
| IF | 111 | 2 | 2 | 100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | Covered | T1,T2,T3 | 
| 0 | Covered | T1,T3,T4 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | - | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 0 | 0 | Covered | T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | Covered | T1,T3,T4 | 
| 0 | Covered | T1,T2,T3 | 
Assert Coverage for Module : 
prim_fifo_sync
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 2147483647 | 1979947002 | 0 | 0 | 
| T1 | 3290625 | 605497 | 0 | 0 | 
| T2 | 22009 | 116 | 0 | 0 | 
| T3 | 215917 | 10267 | 0 | 0 | 
| T4 | 2470260 | 1691689 | 0 | 0 | 
| T5 | 0 | 2778 | 0 | 0 | 
| T14 | 214825 | 10365 | 0 | 0 | 
| T15 | 303745 | 58925 | 0 | 0 | 
| T16 | 3163485 | 185359 | 0 | 0 | 
| T17 | 12530986 | 2133452 | 0 | 0 | 
| T18 | 1261312 | 3596 | 0 | 0 | 
| T19 | 2317484 | 3899126 | 0 | 0 | 
| T20 | 0 | 197405 | 0 | 0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 2147483647 | 2147483647 | 0 | 0 | 
| T1 | 3796875 | 3795645 | 0 | 0 | 
| T2 | 25395 | 24195 | 0 | 0 | 
| T3 | 249135 | 247845 | 0 | 0 | 
| T4 | 2850300 | 2850165 | 0 | 0 | 
| T14 | 247875 | 247020 | 0 | 0 | 
| T15 | 350475 | 349035 | 0 | 0 | 
| T16 | 3650175 | 3648765 | 0 | 0 | 
| T17 | 14458830 | 14458035 | 0 | 0 | 
| T18 | 1455360 | 1454415 | 0 | 0 | 
| T19 | 2674020 | 2673900 | 0 | 0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 2147483647 | 2147483647 | 0 | 0 | 
| T1 | 3796875 | 3795645 | 0 | 0 | 
| T2 | 25395 | 24195 | 0 | 0 | 
| T3 | 249135 | 247845 | 0 | 0 | 
| T4 | 2850300 | 2850165 | 0 | 0 | 
| T14 | 247875 | 247020 | 0 | 0 | 
| T15 | 350475 | 349035 | 0 | 0 | 
| T16 | 3650175 | 3648765 | 0 | 0 | 
| T17 | 14458830 | 14458035 | 0 | 0 | 
| T18 | 1455360 | 1454415 | 0 | 0 | 
| T19 | 2674020 | 2673900 | 0 | 0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 2147483647 | 2147483647 | 0 | 0 | 
| T1 | 3796875 | 3795645 | 0 | 0 | 
| T2 | 25395 | 24195 | 0 | 0 | 
| T3 | 249135 | 247845 | 0 | 0 | 
| T4 | 2850300 | 2850165 | 0 | 0 | 
| T14 | 247875 | 247020 | 0 | 0 | 
| T15 | 350475 | 349035 | 0 | 0 | 
| T16 | 3650175 | 3648765 | 0 | 0 | 
| T17 | 14458830 | 14458035 | 0 | 0 | 
| T18 | 1455360 | 1454415 | 0 | 0 | 
| T19 | 2674020 | 2673900 | 0 | 0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 2147483647 | 294515604 | 0 | 0 | 
| T1 | 1265625 | 146523 | 0 | 0 | 
| T2 | 8465 | 0 | 0 | 0 | 
| T3 | 83045 | 2119 | 0 | 0 | 
| T4 | 950100 | 548190 | 0 | 0 | 
| T5 | 0 | 2556 | 0 | 0 | 
| T14 | 82625 | 2069 | 0 | 0 | 
| T15 | 116825 | 15017 | 0 | 0 | 
| T16 | 1216725 | 46631 | 0 | 0 | 
| T17 | 4819610 | 253508 | 0 | 0 | 
| T18 | 485120 | 0 | 0 | 0 | 
| T19 | 891340 | 411962 | 0 | 0 | 
| T20 | 0 | 114057 | 0 | 0 | 
gen_passthru_fifo.paramCheckPass
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 9352 | 9352 | 0 | 0 | 
| T1 | 8 | 8 | 0 | 0 | 
| T2 | 8 | 8 | 0 | 0 | 
| T3 | 8 | 8 | 0 | 0 | 
| T4 | 8 | 8 | 0 | 0 | 
| T14 | 8 | 8 | 0 | 0 | 
| T15 | 8 | 8 | 0 | 0 | 
| T16 | 8 | 8 | 0 | 0 | 
| T17 | 8 | 8 | 0 | 0 | 
| T18 | 8 | 8 | 0 | 0 | 
| T19 | 8 | 8 | 0 | 0 |