data forward violation when custom xpulp instruction, cv.bclrr followed by fp instructions
Created by: dd-baoshan
Issue similar to data forward violation when custom xpulp instruction, cv.bsetr followed by fp instructions · Issue #869 (closed)
Information as following Simulation shows below Imperas error messages which related to bclrr xpulp instruction.
From tracer log, we can see that the data forward rule is violated whereby the fmin rd is not reflecting correctly on cv.bclrr rs2
Component:RTL
Steps to Reproduce
- cv32e40p git hash : 7e131050
- Users need to checkout below core-v-verif to replicate the issue. The reproduce steps as followings.
2.1) git clone --branch cv32e40p/bsm-github_cv32e40p_Issue_0912 https://github.com/XavierAubert/core-v-verif.git sandbox 2.2) cd sandbox/cv32e40p/sim/uvmt 2.3)make gen_corev-dv TEST=corev_rand_fp_instr_data_fwd_test CFG=pulp_fpu_zfinx_2cyclat SIMULATOR=vsim SEED=1046126087 TEST_CFG_FILE=floating_pt_instr_zfinx_en COREV=1 USE_ISS=YES 2.4) make test TEST=corev_rand_fp_instr_data_fwd_test CFG=pulp_fpu_zfinx_2cyclat SIMULATOR=vsim SEED=1046126087 TEST_CFG_FILE=floating_pt_instr_zfinx_en USE_ISS=YES