github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-23 21:57:11 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

CSR coverage model : Remove covering S-mode fileds (#2086)

Browse source
This commit is contained in:
Jalali 2024-04-30 15:02:22 +00:00 • committed by GitHub
parent ecee022457
commit de29cfaaad
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 52 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

68
verif/env/uvme/reg/cva6_csr_reg_file.sv vendored
View file

@ -334,19 +334,28 @@ class reg_mie extends csr_reg;
option.name = "csr_mie__read_cg";
option.per_instance = 1;
MEIE: coverpoint data[11:11];
SEIE: coverpoint data[9:9];
SEIE: coverpoint data[9:9] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
UEIE: coverpoint data[8:8] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
MTIE: coverpoint data[7:7];
STIE: coverpoint data[5:5];
STIE: coverpoint data[5:5] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
UTIE: coverpoint data[4:4] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
MSIE: coverpoint data[3:3];
SSIE: coverpoint data[1:1];
SSIE: coverpoint data[1:1] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
USIE: coverpoint data[0:0] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
@ -357,19 +366,28 @@ class reg_mie extends csr_reg;
option.name = "csr_mie.mie__write_cp";
option.per_instance = 1;
MEIE: coverpoint data[11:11];
SEIE: coverpoint data[9:9];
SEIE: coverpoint data[9:9] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
UEIE: coverpoint data[8:8] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
}
MTIE: coverpoint data[7:7];
STIE: coverpoint data[5:5];
STIE: coverpoint data[5:5] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
UTIE: coverpoint data[4:4] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
}
MSIE: coverpoint data[3:3];
SSIE: coverpoint data[1:1];
SSIE: coverpoint data[1:1] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
USIE: coverpoint data[0:0] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
@ -2659,19 +2677,28 @@ class reg_mip extends csr_reg;
option.name = "csr_mip__read_cg";
option.per_instance = 1;
MEIP: coverpoint data[11:11];
SEIP: coverpoint data[9:9];
SEIP: coverpoint data[9:9] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
UEIP: coverpoint data[8:8] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
MTIP: coverpoint data[7:7];
STIP: coverpoint data[5:5];
STIP: coverpoint data[5:5] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
UTIP: coverpoint data[4:4] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
MSIP: coverpoint data[3:3];
SSIP: coverpoint data[1:1];
SSIP: coverpoint data[1:1] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
}
USIP: coverpoint data[0:0] {
bins legal_values[] = {0};
illegal_bins illegal_values = {[0:$]} with (!(item inside {0}));
@ -2681,20 +2708,29 @@ class reg_mip extends csr_reg;
covergroup reg_wr_cg with function sample(uvm_reg_data_t data);
option.name = "csr_mip.mip__write_cp";
option.per_instance = 1;
MEIP: coverpoint data[11:11] {
MEIP: coverpoint data[11:11];
SEIP: coverpoint data[9:9] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
UEIP: coverpoint data[8:8] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
SEIP: coverpoint data[9:9];
UEIP: coverpoint data[8:8];
MTIP: coverpoint data[7:7];
STIP: coverpoint data[5:5];
STIP: coverpoint data[5:5] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
UTIP: coverpoint data[4:4] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
MSIP: coverpoint data[3:3];
SSIP: coverpoint data[1:1];
SSIP: coverpoint data[1:1] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));
}
USIP: coverpoint data[0:0] {
bins legal_values[] = {0};
bins illegal_values[] = {[0:$]} with (!(item inside {0}));