github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-24 06:07:19 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Merge pull request #2110 from ThalesSiliconSecurity/isacovfix

Browse source 
ISACOV: Ignore OFLOW BIN when check_overflow = 0
This commit is contained in:
André Sintzoff 2023-08-10 11:02:07 +02:00 • committed by GitHub
commit 778a20bf18
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/uvm_agents/uvma_isacov/cov/uvma_isacov_cov_model.sv
View file

@ -549,9 +549,9 @@ covergroup cg_div_special_results(
}
cp_div_arithmetic_overflow : coverpoint instr.rs1_value {
//ignore_bins IGN_OVERFLOW = {[0:$]} with (!check_overflow);
`ifdef UNSUPPORTED_WITH
bins OFLOW = {32'h8000_0000} iff (check_overflow && instr.rs2_value == 32'hffff_ffff); //TODO
ignore_bins IGN_OVERFLOW = cp_div_arithmetic_overflow iff (!check_overflow);
bins OFLOW = {32'h8000_0000} iff (instr.rs2_value == 32'hffff_ffff); //TODO
`else
bins OFLOW = {32'h8000_0000} with (check_overflow) iff (instr.rs2_value == 32'hffff_ffff);
`endif