Skip to content
Merged
Show file tree
Hide file tree
Changes from 17 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions coverpoints/coverage/RISCV_coverage_base_init.svh
Original file line number Diff line number Diff line change
Expand Up @@ -670,3 +670,7 @@
`cover_info("// Zvkb8 - Enabled");
`include "Zvkb8_coverage_init.svh"
`endif
`ifdef COVER_ZVKG
`cover_info("// Zvkg - Enabled");
`include "Zvkg_coverage_init.svh"
`endif
3 changes: 3 additions & 0 deletions coverpoints/coverage/RISCV_coverage_base_sample.svh
Original file line number Diff line number Diff line change
Expand Up @@ -505,3 +505,6 @@
`ifdef COVER_ZVKB8
zvkb8_sample(hart, issue, ins);
`endif
`ifdef COVER_ZVKG
zvkg_sample(hart, issue, ins);
`endif
3 changes: 3 additions & 0 deletions coverpoints/coverage/RISCV_coverage_config.svh
Original file line number Diff line number Diff line change
Expand Up @@ -506,3 +506,6 @@
`ifdef ZVKB8_COVERAGE
`include "Zvkb8_coverage.svh"
`endif
`ifdef ZVKG_COVERAGE
`include "Zvkg_coverage.svh"
`endif
9 changes: 9 additions & 0 deletions coverpoints/coverage/RISCV_instruction_sample.svh
Original file line number Diff line number Diff line change
Expand Up @@ -2495,6 +2495,15 @@
ins.add_vm(3);
ins.add_v0();
end
"vghsh.vv" : begin
ins.add_vd(0);
ins.add_vs2(1);
ins.add_vs1(2);
end
"vgmul.vv" : begin
ins.add_vd(0);
ins.add_vs2(1);
end
"vid.v" : begin
ins.add_vd(0);
ins.add_vm(1);
Expand Down
Loading
Loading