Merge pull request #2094 from ThalesSiliconSecurity/covxif

CVXIF : Filter exception cross if exc=0
This commit is contained in:
André Sintzoff 2023-08-01 13:46:42 +02:00 committed by GitHub
commit e664b3f174
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -166,6 +166,7 @@ covergroup cg_result(
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};
ignore_bins IGN_BINS = binsof(cp_exc) intersect{0}; //if exc=0 that means no exception
}
endgroup: cg_result