1 files changed, 72 insertions, 0 deletions
diff --git a/include/hls.h b/include/hls.h
new file mode 100644
index 0000000..61c336b
--- /dev/null
+++ b/include/hls.h
@@ -0,0 +1,72 @@
+#ifndef VERICERT_HLS_H
+#define VERICERT_HLS_H
+
+/*
+ * Divider C implementation for faster frequency division.
+ */
+unsigned divider_fast(unsigned x, unsigned y) {
+    unsigned r0, q0, y0, y1;
+
+    r0 = x;
+    q0 = 0;
+    y0 = y;
+    y1 = y;
+    do {
+        y1 = 2 * y1;
+    } while (y1 <= x);
+    do {
+        y1 /= 2;
+        q0 *= 2;
+        if (r0 >= y1) {
+            r0 -= y1;
+            q0++;
+        }
+    } while ((int)y1 != (int)y0);
+    return q0;
+}
+
+unsigned divider(unsigned x, unsigned y) {
+    unsigned q0, acc;
+    q0 = 0;
+    acc = y;
+
+    while (acc <= x) {
+        q0++;
+        acc += y;
+    }
+
+    return q0;
+}
+
+/*
+ * Signed division operation for faster frequency division.
+ */
+int sdivider(int N, int D) {
+    if (D < 0) {
+        if (N < 0)
+            return divider(-N, -D);
+        else
+            return -divider(N, -D);
+    } else {
+        if (N < 0)
+            return -divider(-N, D);
+        else
+            return divider(N, D);
+    }
+}
+
+int sdivider_fast(int N, int D) {
+    if (D < 0) {
+        if (N < 0)
+            return divider_fast(-N, -D);
+        else
+            return -divider_fast(N, -D);
+    } else {
+        if (N < 0)
+            return -divider_fast(-N, D);
+        else
+            return divider_fast(N, D);
+    }
+}
+
+#endif