Skip to content

Add more constraints to cover corner cases in CC

Created by: AyoubJalali

Adding constraint to generate illegal RV32Zcb instruction (illegal func3 & func2), also generate RV64zcb instruction, to improve CC

Merge request reports

Loading