175 lines
17 KiB
Plaintext
175 lines
17 KiB
Plaintext
|
This coverage created by Imperas using Mentor Questa simulator and SystemVerilog UVM coverage from github.com/google/riscv-dv
|
||
|
|
|
||
|
|
Coverpoint add_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint add_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint add_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint add_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint add_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint add_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sub_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint addi_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint addi_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint addi_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint addi_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint addi_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint lui_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lui_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint auipc_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint auipc_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sra_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint sra_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sra_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint sra_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sra_cg::cp_rs2_sign 50.00% 100 Uncovered
|
||
|
|
Coverpoint sra_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sll_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint sll_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sll_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint sll_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sll_cg::cp_rs2_sign 50.00% 100 Uncovered
|
||
|
|
Coverpoint sll_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srl_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint srl_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint srl_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint srl_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srl_cg::cp_rs2_sign 50.00% 100 Uncovered
|
||
|
|
Coverpoint srl_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srai_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint srai_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint srai_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srai_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slli_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint slli_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint slli_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slli_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srli_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint srli_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint srli_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint srli_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xor_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint or_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint and_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xori_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint xori_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint xori_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xori_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint xori_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint ori_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint ori_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint ori_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint ori_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint ori_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint andi_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint andi_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint andi_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint andi_cg::cp_rd_sign 100.00% 100 Covered
|
||
|
|
Coverpoint andi_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_result 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint slt_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_result 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sltu_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slti_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint slti_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint slti_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint slti_cg::cp_result 100.00% 100 Covered
|
||
|
|
Coverpoint slti_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sltiu_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint sltiu_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint sltiu_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sltiu_cg::cp_result 100.00% 100 Covered
|
||
|
|
Coverpoint sltiu_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint beq_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bne_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint blt_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bge_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bltu_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_rs1 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_rs1_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_rs2_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint bgeu_cg::cp_branch_hit 100.00% 100 Covered
|
||
|
|
Coverpoint lb_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint lb_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lb_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint lh_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint lh_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lh_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint lw_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint lw_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lw_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint lbu_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint lbu_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lbu_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint lhu_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint lhu_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint lhu_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sb_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint sb_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sb_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sh_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint sh_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sh_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint sw_cg::cp_rs1 96.87% 100 Uncovered
|
||
|
|
Coverpoint sw_cg::cp_rs2 100.00% 100 Covered
|
||
|
|
Coverpoint sw_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint jal_cg::cp_imm_sign 100.00% 100 Covered
|
||
|
|
Coverpoint jal_cg::cp_rd 100.00% 100 Covered
|
||
|
|
Coverpoint jalr_cg::cp_imm_sign 50.00% 100 Uncovered
|
||
|
|
Coverpoint jalr_cg::cp_rd 96.87% 100 Uncovered
|
||
|
|
Coverpoint jalr_cg::cp_rs1_link 100.00% 100 Covered
|
||
|
|
Coverpoint jalr_cg::cp_rd_link 100.00% 100 Covered
|