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