Add a double invertor model.
[matthijs/master-project/cλash.git] / Adders.hs
index 748c06fdb73e50158297e887b07939cb57d3865e..ec486e60afdb2e1f276a87a4b2336cd326f4ad84 100644 (file)
--- a/Adders.hs
+++ b/Adders.hs
@@ -14,6 +14,14 @@ show_add f = do print ("Sum:   " ++ (displaysigs s)); print ("Carry: " ++ (displ
 wire :: Bit -> Bit
 wire a = a
 
+-- Not really an adder either, but a slightly more complex example
+inv :: Bit -> Bit
+inv a = hwnot a
+
+-- Not really an adder either, but a slightly more complex example
+invinv :: Bit -> Bit
+invinv a = hwnot (hwnot a)
+
 -- Combinatoric stateless no-carry adder
 -- A -> B -> S
 no_carry_adder :: (Bit, Bit) -> Bit