diff options
Diffstat (limited to 'data/cells_verific.v')
-rw-r--r-- | data/cells_verific.v | 14 |
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 |