diff --git a/config/derivlist.txt b/config/derivlist.txt
index 32768a3af..75e9a3256 100644
--- a/config/derivlist.txt
+++ b/config/derivlist.txt
@@ -518,6 +518,10 @@ deriv fh_rv32gc rv32gc
 MISA    (32'h00000104 |  1 << 5 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0)
 ZFH_SUPPORTED   1
 
+deriv fd_rv32gc rv32gc
+MISA    (32'h00000104 |  1 << 5 | 1 << 3 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0)
+ZFH_SUPPORTED   0
+
 deriv fdh_rv32gc rv32gc
 MISA    (32'h00000104 |  1 << 5 | 1 << 3 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0)
 ZFH_SUPPORTED   1
@@ -555,7 +559,10 @@ ZFH_SUPPORTED   1
 deriv f_ieee_rv32gc f_rv32gc
 IEEE754     1
 
-deriv fh_ieee_v32gc fh_rv32gc
+deriv fh_ieee_rv32gc fh_rv32gc
+IEEE754     1
+
+deriv fd_ieee_rv32gc fd_rv32gc
 IEEE754     1
 
 deriv fdh_ieee_rv32gc fdh_rv32gc