Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

FLW, C_CLW, C_FLWSP instructions fail to change MSTATUS.FS to DIRTY state #896

Closed
dd-baoshan opened this issue Oct 25, 2023 · 1 comment
Closed

FLW, C_CLW, C_FLWSP instructions fail to change MSTATUS.FS to DIRTY state #896

dd-baoshan opened this issue Oct 25, 2023 · 1 comment
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) PARAM:FPU Issue depends on the FPU parameter Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@dd-baoshan
Copy link

All flw below have triggered Imperas mismatch error (dut:CLEAN , Imp:DIRTY) -> total 3 UVM errors from FLW

image

image

Component:RTL

Steps to Reproduce

  1. cv32e40p git hash: c520546
  2. core-v-verif git hash: 7769033a675837f2af87609c08ef13cb1ba167a2

cd sandbox/cv32e40p/sim/uvmt

make gen_corev-dv TEST=corev_rand_fp_instr_test CFG=pulp_fpu SIMULATOR=vsim SEED=0 TEST_CFG_FILE=floating_pt_instr_en COREV=1 USE_ISS=YES

make test TEST=corev_rand_fp_instr_test CFG=pulp_fpu SIMULATOR=vsim SEED=0 TEST_CFG_FILE=floating_pt_instr_en USE_ISS=YES
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Oct 25, 2023
Issue openhwgroup#896 correction
f88b1c6 
Signed-off-by: Pascal Gouedo <[email protected]>
@pascalgouedo pascalgouedo mentioned this issue Oct 25, 2023
Merged
@pascalgouedo pascalgouedo added Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system Component:RTL For issues in the RTL (e.g. for files in the rtl directory) labels Oct 25, 2023
@pascalgouedo
Copy link

Corrected with PR #897

@MikeOpenHWGroup MikeOpenHWGroup added the PARAM:FPU Issue depends on the FPU parameter label Oct 25, 2023
@pascalgouedo pascalgouedo added the Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation label Oct 26, 2023
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Nov 6, 2023
Additional correction for issue openhwgroup#896 to manage MSTATUS.FS …
e6f2800 
…write conflict between CSRW and FLW.

Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Nov 6, 2023
Issue openhwgroup#896 correction
a091ea3 
Signed-off-by: Pascal Gouedo <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) PARAM:FPU Issue depends on the FPU parameter Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@pascalgouedo @MikeOpenHWGroup @dd-baoshan