Add data folder with extra modules

These modules are required for comparing modules that are generated by
synthesising in different simulators, as they will each synthesise to specific
hardware with assumptions on what is available

1 files changed, 14 insertions, 0 deletions

diff --git a/data/cells_verific.v b/data/cells_verific.v
new file mode 100644
index 0000000..6d0ad2d
--- /dev/null
+++ b/data/cells_verific.v
@@ -0,0 +1,14 @@
+module VERIFIC_FADD (cin, a, b, cout, o);
+  input cin, a, b;
+  output cout, o;
+  assign {cout, o} = cin + a + b;
+endmodule
+
+module VERIFIC_DFFRS (clk, s, r, d, q);
+  input clk, d, s, r;
+  output reg q ;
+  always @(posedge clk, posedge s, posedge r)
+    if (r) q <= 0;
+    else if (s) q <= 1;
+    else q <= d;
+endmodule