Merge pull request #2072 from ThalesSiliconSecurity/fixco

HOTFIX : Fix a cross in cvxif agent coverage model
This commit is contained in:
JeanRochCoulon 2023-07-22 23:01:36 +02:00 committed by GitHub
commit e96d391890
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -163,7 +163,7 @@ covergroup cg_result(
bins EXCCODE [] = {[0:9],[11:13],15,24}; //Supported Exception code
}
cross_result : cross cp_rd, cp_id, cp_we, cp_exc, cp_exccode {
cross_result : cross cp_id, cp_we, cp_exc, cp_exccode {
illegal_bins ILLEGAL_BINS = binsof(cp_we) intersect{1} &&
binsof(cp_exc) intersect{1};
}