Coverage Summary Report, Instance-Based

Top Level SummaryLegend and Help


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv

Coverage Summary Report, Instance-Based

Overall Overall Covered Block Expression Toggle FSM State FSM Transition Assertion CoverGroup CoverGroup Covered name
83.03% 62.89% (200/318) 90.32% (28/31) 100.00% (8/8) 58.78% (164/279) n/a n/a n/a n/a n/a ros_double_I


Uncovered Block Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv
Number of uncovered blocks: 3 of 31
Number of unreachable blocks: 0
Count  Block Line  Kind                 Origin Source Code                    
------------------------------------------------------------------------------
0      8     135   a case item of       123    rounding_result = 1'b0;        
0      16    168   a case item of       144    begin                          
0      25    207   a case item of       183    begin                          

Uncovered Expression Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv
Number of uncovered expressions: 0 of 8
Number of unreachable expressions: 0
index  | grade         | line   | expression                                         
-------------------------------------------------------------------------------------


Uncovered Toggle Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv
Number of uncovered signal bits: 115 of 279
Number of unreachable signal bits: 0
Number of signal bits partially toggled(rise): 0 of 279
Number of signal bits partially toggled(fall): 0 of 279
Hit(Full)  Hit(Rise)  Hit(Fall)  Signal                    
-----------------------------------------------------------
0          0          0          divide_by_zero            
0          0          0          calculated_result[62]     
0          0          0          calculated_result[61]     
0          0          0          calculated_result[60]     
0          0          0          calculated_result[59]     
0          0          0          calculated_result[58]     
0          0          0          calculated_result[57]     
0          0          0          calculated_result[56]     
0          0          0          calculated_result[55]     
0          0          0          calculated_result[54]     
0          0          0          calculated_result[53]     
0          0          0          calculated_result[52]     
0          0          0          calculated_result[51]     
0          0          0          calculated_result[50]     
0          0          0          calculated_result[49]     
0          0          0          calculated_result[48]     
0          0          0          calculated_result[47]     
0          0          0          calculated_result[46]     
0          0          0          calculated_result[45]     
0          0          0          calculated_result[44]     
0          0          0          calculated_result[43]     
0          0          0          calculated_result[42]     
0          0          0          calculated_result[41]     
0          0          0          calculated_result[40]     
0          0          0          calculated_result[39]     
0          0          0          calculated_result[38]     
0          0          0          calculated_result[37]     
0          0          0          calculated_result[36]     
0          0          0          calculated_result[35]     
0          0          0          calculated_result[34]     
0          0          0          calculated_result[33]     
0          0          0          calculated_result[32]     
0          0          0          calculated_result[31]     
0          0          0          calculated_result[30]     
0          0          0          calculated_result[29]     
0          0          0          calculated_result[28]     
0          0          0          calculated_result[27]     
0          0          0          calculated_result[26]     
0          0          0          calculated_result[25]     
0          0          0          calculated_result[24]     
0          0          0          calculated_result[23]     
0          0          0          calculated_result[22]     
0          0          0          calculated_result[21]     
0          0          0          calculated_result[20]     
0          0          0          calculated_result[19]     
0          0          0          calculated_result[18]     
0          0          0          calculated_result[17]     
0          0          0          calculated_result[16]     
0          0          0          calculated_result[15]     
0          0          0          calculated_result[14]     
0          0          0          calculated_result[13]     
0          0          0          calculated_result[12]     
0          0          0          calculated_result[11]     
0          0          0          calculated_result[10]     
0          0          0          calculated_result[9]      
0          0          0          calculated_result[8]      
0          0          0          calculated_result[7]      
0          0          0          calculated_result[6]      
0          0          0          calculated_result[5]      
0          0          0          calculated_result[4]      
0          0          0          calculated_result[3]      
0          0          0          calculated_result[2]      
0          0          0          calculated_result[1]      
0          0          0          calculated_result[0]      
0          0          0          special_val_result[50]    
0          0          0          special_val_result[49]    
0          0          0          special_val_result[48]    
0          0          0          special_val_result[47]    
0          0          0          special_val_result[46]    
0          0          0          special_val_result[45]    
0          0          0          special_val_result[44]    
0          0          0          special_val_result[43]    
0          0          0          special_val_result[42]    
0          0          0          special_val_result[41]    
0          0          0          special_val_result[40]    
0          0          0          special_val_result[39]    
0          0          0          special_val_result[38]    
0          0          0          special_val_result[37]    
0          0          0          special_val_result[36]    
0          0          0          special_val_result[35]    
0          0          0          special_val_result[34]    
0          0          0          special_val_result[33]    
0          0          0          special_val_result[32]    
0          0          0          special_val_result[31]    
0          0          0          special_val_result[30]    
0          0          0          special_val_result[29]    
0          0          0          special_val_result[28]    
0          0          0          special_val_result[27]    
0          0          0          special_val_result[26]    
0          0          0          special_val_result[25]    
0          0          0          special_val_result[24]    
0          0          0          special_val_result[23]    
0          0          0          special_val_result[22]    
0          0          0          special_val_result[21]    
0          0          0          special_val_result[20]    
0          0          0          special_val_result[19]    
0          0          0          special_val_result[18]    
0          0          0          special_val_result[17]    
0          0          0          special_val_result[16]    
0          0          0          special_val_result[15]    
0          0          0          special_val_result[14]    
0          0          0          special_val_result[13]    
0          0          0          special_val_result[12]    
0          0          0          special_val_result[11]    
0          0          0          special_val_result[10]    
0          0          0          special_val_result[9]     
0          0          0          special_val_result[8]     
0          0          0          special_val_result[7]     
0          0          0          special_val_result[6]     
0          0          0          special_val_result[5]     
0          0          0          special_val_result[4]     
0          0          0          special_val_result[3]     
0          0          0          special_val_result[2]     
0          0          0          special_val_result[1]     
0          0          0          special_val_result[0]     

Uncovered Fsm Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv

0 items found

Uncovered Assertion Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv
Number of uncovered assertions: 0 of 0
Finished Failed Assertion                      Line  Source Code                    
------------------------------------------------------------------------------------

0 items found

Uncovered CoverGroup Detail Report, Instance Based

To Top


Instance name: tb_top.fma_top_I.ros_double_I
Type name: rounding_overflow_signhandling
File name: /home/mfertig/riscv2/riscv_FPU/modules/fma/rounding_overflow_signhandling.sv
Number of uncovered cover bins: 0 of 0

0 items found