Merge pull request #2077 from ThalesSiliconSecurity/isafix

ISACOV : remove rs2_toggle from c.lw cover group (fix issue #2073)
This commit is contained in:
Mike Thompson 2023-07-28 09:14:32 -04:00 committed by GitHub
commit 99ce43c6c1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1194,7 +1194,6 @@ covergroup cg_cl(
bins RD[] = {[0:31]} iff (instr.rd == instr.rs1);
}
`ISACOV_CP_BITWISE(cp_rs2_toggle, instr.rs2_value, 1)
`ISACOV_CP_BITWISE(cp_rs1_toggle, instr.rs1_value, 1)
`ISACOV_CP_BITWISE_4_0(cp_imm_toggle, instr.get_field_imm(), 1)