Skip to content

Commit

Permalink
Merge pull request #494 from coreyqh/InterruptsM
Browse files Browse the repository at this point in the history
Bin renaming and coverpoint dimension fix
  • Loading branch information
davidharrishmc authored Feb 25, 2025
2 parents 033bade + 73c314a commit ed4769f
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions fcov/priv/InterruptsS_coverage.svh
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ covergroup InterruptsS_cg with function sample(ins_t ins);
bins zero = {0};
}
mstatus_mie_one: coverpoint ins.current.csr[12'h300][3] {
bins zero = {1};
bins one = {1};
}
mstatus_mie_rise: coverpoint ins.current.csr[12'h300][3] {
wildcard bins rise = (0 => 1);
Expand All @@ -63,13 +63,13 @@ covergroup InterruptsS_cg with function sample(ins_t ins);
mideleg_mei: coverpoint ins.current.csr[12'h303][11] {
// autofill 0/1
}
mideleg_zeros: coverpoint ins.current.csr[12'h303] {
mideleg_zeros: coverpoint ins.current.csr[12'h303][15:0] {
wildcard bins zeros = {16'b????0?0?0?0?0?0?}; // zeros in every field that is not tied to zero
}
mideleg_ones: coverpoint ins.current.csr[12'h303] {
mideleg_ones: coverpoint ins.current.csr[12'h303][15:0] {
wildcard bins ones = {16'b????1?1?1?1?1?1?}; // ones in every field that is not tied to zero
}
mideleg_ones_zeros: coverpoint ins.current.csr[12'h303] {
mideleg_ones_zeros: coverpoint ins.current.csr[12'h303][15:0] {
wildcard bins ones = {16'b????1?1?1?1?1?1?}; // ones in every field that is not tied to zero
wildcard bins zeros = {16'b????0?0?0?0?0?0?}; // zeros in every field that is not tied to zero
}
Expand Down

0 comments on commit ed4769f

Please sign in to comment.