From 0919335590e265cca0acba9664707b20de51659e Mon Sep 17 00:00:00 2001
From: Flavien Solt <flsolt@ethz.ch>
Date: Mon, 10 Oct 2022 10:07:25 +0200
Subject: [PATCH] Add FuseSoC core files

---
 hardfloat_8086-SSE.core  | 45 ++++++++++++++++++++++++++++++++++++
 hardfloat_ARM-VFPv2.core | 50 ++++++++++++++++++++++++++++++++++++++++
 hardfloat_RISCV.core     | 45 ++++++++++++++++++++++++++++++++++++
 3 files changed, 140 insertions(+)
 create mode 100644 hardfloat_8086-SSE.core
 create mode 100644 hardfloat_ARM-VFPv2.core
 create mode 100644 hardfloat_RISCV.core

diff --git a/hardfloat_8086-SSE.core b/hardfloat_8086-SSE.core
new file mode 100644
index 0000000..deae412
--- /dev/null
+++ b/hardfloat_8086-SSE.core
@@ -0,0 +1,45 @@
+CAPI=2:
+
+name: ::hardfloat_8086_sse:0-r1
+description: HardFloat specialized for 8086-SSE
+
+filesets:
+  source:
+    files:
+      - source/addRecFN.v
+      - source/bsg_hardfloat_pkg.v
+      - source/compareRecFN.v
+      - source/divSqrtRecFN_small.v
+      - source/fNToRecFN.v
+      - source/HardFloat_consts.vi: {is_include_file : true}
+      - source/HardFloat_localFuncs.vi: {is_include_file : true}
+      - source/HardFloat_primitives.v
+      - source/HardFloat_rawFN.v
+      - source/iNToRecFN.v
+      - source/isSigNaNRecFN.v
+      - source/mulAddRecFN.v
+      - source/mulRecFN.v
+      - source/recFNToFN.v
+      - source/recFNToIN.v
+      - source/recFNToRecFN.v
+      - source/8086-SSE/HardFloat_specialize.vi: {is_include_file : true}
+      - source/8086-SSE/HardFloat_specialize.v
+    file_type: systemVerilogSource
+
+targets:
+  default:
+    filesets: [source]
+
+  # Example lint target
+  lint_compareRecFN:
+    default_tool: verilator
+    filesets: [source]
+    tools:
+      verilator: 
+        mode: lint-only
+        verilator_options:
+          - -Wwarn-lint
+          - -Wwarn-style
+          - -Wno-WIDTH
+          - -Wno-DECLFILENAME
+    toplevel: compareRecFN
diff --git a/hardfloat_ARM-VFPv2.core b/hardfloat_ARM-VFPv2.core
new file mode 100644
index 0000000..017f2bc
--- /dev/null
+++ b/hardfloat_ARM-VFPv2.core
@@ -0,0 +1,50 @@
+CAPI=2:
+
+name: ::hardfloat_arm_vfpv2:0-r1
+description: HardFloat specialized for ARM-VPFv2
+
+filesets:
+  source:
+    files:
+      - source/addRecFN.v
+      - source/bsg_hardfloat_pkg.v
+      - source/compareRecFN.v
+      - source/divSqrtRecFN_small.v
+      - source/fNToRecFN.v
+      - source/HardFloat_consts.vi: {is_include_file : true}
+      - source/HardFloat_localFuncs.vi: {is_include_file : true}
+      - source/HardFloat_primitives.v
+      - source/HardFloat_rawFN.v
+      - source/iNToRecFN.v
+      - source/isSigNaNRecFN.v
+      - source/mulAddRecFN.v
+      - source/mulRecFN.v
+      - source/recFNToFN.v
+      - source/recFNToIN.v
+      - source/recFNToRecFN.v
+      - source/ARM-VFPv2/HardFloat_specialize.vi: {is_include_file : true}
+      - source/ARM-VFPv2/HardFloat_specialize.v
+    file_type: systemVerilogSource
+
+targets:
+  default:
+    filesets: [source]
+
+  # Example lint target
+  lint_compareRecFN:
+    default_tool: verilator
+    filesets: [source]
+    tools:
+      verilator: 
+        mode: lint-only
+        verilator_options:
+          - -Wwarn-lint
+          - -Wwarn-style
+          - -Wno-WIDTH
+          - -Wno-DECLFILENAME
+    toplevel: compareRecFN
+
+provider :
+  name : github
+  user : bsg-external
+  repo : HardFloat
diff --git a/hardfloat_RISCV.core b/hardfloat_RISCV.core
new file mode 100644
index 0000000..636b3e9
--- /dev/null
+++ b/hardfloat_RISCV.core
@@ -0,0 +1,45 @@
+CAPI=2:
+
+name: ::hardfloat_riscv:0-r1
+description: HardFloat specialized for RISCV
+
+filesets:
+  source:
+    files:
+      - source/addRecFN.v
+      - source/bsg_hardfloat_pkg.v
+      - source/compareRecFN.v
+      - source/divSqrtRecFN_small.v
+      - source/fNToRecFN.v
+      - source/HardFloat_consts.vi: {is_include_file : true}
+      - source/HardFloat_localFuncs.vi: {is_include_file : true}
+      - source/HardFloat_primitives.v
+      - source/HardFloat_rawFN.v
+      - source/iNToRecFN.v
+      - source/isSigNaNRecFN.v
+      - source/mulAddRecFN.v
+      - source/mulRecFN.v
+      - source/recFNToFN.v
+      - source/recFNToIN.v
+      - source/recFNToRecFN.v
+      - source/RISCV/HardFloat_specialize.vi: {is_include_file : true}
+      - source/RISCV/HardFloat_specialize.v
+    file_type: systemVerilogSource
+
+targets:
+  default:
+    filesets: [source]
+
+  # Example lint target
+  lint_compareRecFN:
+    default_tool: verilator
+    filesets: [source]
+    tools:
+      verilator: 
+        mode: lint-only
+        verilator_options:
+          - -Wwarn-lint
+          - -Wwarn-style
+          - -Wno-WIDTH
+          - -Wno-DECLFILENAME
+    toplevel: compareRecFN