Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cv32e40p/dev #133

Merged
merged 8 commits into from
Jan 25, 2024
Prev Previous commit
Next Next commit
Sync with master
  • Loading branch information
MikeOpenHWGroup committed Jan 24, 2024
commit 57918495e90f04942eec204aa36500b4fe07d0fd
Original file line number Diff line number Diff line change
@@ -49,23 +49,23 @@ covergroup cg_obi(string name,
option.name = name;

we: coverpoint (trn.access_type) {
ignore_bins IGN_WRITE = {UVMA_OBI_MEMORY_ACCESS_WRITE} with ((item>1) && (!write_enabled));
ignore_bins IGN_READ = {UVMA_OBI_MEMORY_ACCESS_READ} with ((item>1) && (!read_enabled));
ignore_bins IGN_WRITE = {UVMA_OBI_MEMORY_ACCESS_WRITE} with ((item >= 0) && (!write_enabled));
ignore_bins IGN_READ = {UVMA_OBI_MEMORY_ACCESS_READ} with ((item >= 0) && (!read_enabled));
bins WRITE = {UVMA_OBI_MEMORY_ACCESS_WRITE};
bins READ = {UVMA_OBI_MEMORY_ACCESS_READ};
}

memtype: coverpoint (trn.memtype) {
ignore_bins IGN_MEMTYPE = {[0:$]} with ((item>1) && (!is_1p2));
ignore_bins IGN_MEMTYPE = {[0:$]} with ((item >= 0) && (!is_1p2));
}

prot: coverpoint (trn.prot) {
ignore_bins IGN_MEMTYPE = {[0:$]} with ((item>1) && (!is_1p2));
ignore_bins IGN_MEMTYPE = {[0:$]} with ((item >= 0) && (!is_1p2));
ignore_bins IGN_RSVD_PRIV = {3'b100, 3'b101};
}

err: coverpoint (trn.err) {
ignore_bins IGN_ERR = {[0:$]} with ((item>1) && (!is_1p2));
ignore_bins IGN_ERR = {[0:$]} with ((item >=0 ) && (!is_1p2));
}

endgroup : cg_obi