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

FMUL.S instructions set underflow flag of fflags wrongly #729

Closed
salaheddinhetalani opened this issue Sep 27, 2022 · 1 comment
Closed

FMUL.S instructions set underflow flag of fflags wrongly #729

salaheddinhetalani opened this issue Sep 27, 2022 · 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

@salaheddinhetalani
Copy link

Issue Description

FMUL.S instructions set underflow flag "UF" of fflags wrongly.

Component

Component:RTL

RISC-V Specification

The Zfinx extension adds all of the instructions that the F extension adds, except for the transfer instructions FLW, FSW, FMV.W.X, FMV.X.W, C.FLW[SP], and C.FSW[SP].

The Zfinx variants of these F-extension instructions have the same semantics, except that whenever such an instruction would have accessed an f register, it instead accesses the x register with the same number.

Steps to Reproduce

As shown below, the following sequence of instructions happens:

fmul.s x15, x12, x8, RUP

The instruction fmul.s is decoded at t##0 and executed updating the integer register file at t##1 while setting the underflow flag UF of fflags CSR wrongly.

Bug_12

Top Level Parameters

cv32e40p_wrapper #(
    .PULP_XPULP       (0),
    .PULP_CLUSTER     (0),
    .FPU              (1),
    .PULP_ZFINX       (1),
    .NUM_MHPMCOUNTERS (1)
)

Git Hash: d0d1c25
Flist: cv32e40p_fpu_manifest.flist
VCD: bug_12.vcd

Product: OneSpin 360 DV-Verify
App: Processor Verification App
Tool's version: 2022.3_1
@pascalgouedo pascalgouedo added Component:RTL For issues in the RTL (e.g. for files in the rtl directory) PARAM:FPU Issue depends on the FPU parameter labels Nov 9, 2022
@pascalgouedo pascalgouedo added the Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system label Mar 23, 2023
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 16, 2023
Issues openhwgroup#726 and openhwgroup#729 correction.
6933aaf 
Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 16, 2023
Issues openhwgroup#726 and openhwgroup#729 correction.
fcaaf84 
Signed-off-by: Pascal Gouedo <[email protected]>
@pascalgouedo pascalgouedo mentioned this issue Aug 21, 2023
Merged
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 21, 2023
Issues openhwgroup#726 and openhwgroup#729 correction.
53ce0f8 
Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 22, 2023
Issues openhwgroup#726 and openhwgroup#729 correction.
7db67d7 
Signed-off-by: Pascal Gouedo <[email protected]>
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 29, 2023
Issues openhwgroup#726 and openhwgroup#729 correction.
072d191 
Signed-off-by: Pascal Gouedo <[email protected]>
@pascalgouedo pascalgouedo mentioned this issue Aug 30, 2023
Merged
pascalgouedo pushed a commit to pascalgouedo/cv32e40p that referenced this issue Aug 30, 2023
CVFPU 0.8.1 vendorized for bugs correction
f3a904f 
- Fix Underflow flag for MUL and DIV/SQRT operations (openhwgroup#94 openhwgroup#726 openhwgroup#729)
- Fix for Float to Int conversion (openhwgroup#97 openhwgroup#83 openhwgroup#727)
- Fixed unnecessary trailing semicolon (openhwgroup#99)

Signed-off-by: Pascal Gouedo <[email protected]>
@pascalgouedo pascalgouedo mentioned this issue Aug 30, 2023
Merged
@pascalgouedo
Copy link

Resolved with PR #860

@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
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
2 participants
@salaheddinhetalani @pascalgouedo