X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Adders.hs;h=03f04101ff9c72612bea6e4ab5030bc8b9fc2eda;hb=ccb1999bfcce214b8a1de2f052367ac59b83a320;hp=f29927ceac3fd6e0804ade47ca5974ccae5ae333;hpb=844555bd28c13cfe1bcb450960008e81928fe2c5;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Adders.hs b/Adders.hs index f29927c..03f0410 100644 --- a/Adders.hs +++ b/Adders.hs @@ -10,6 +10,22 @@ show_add f = do print ("Sum: " ++ (displaysigs s)); print ("Carry: " ++ (displ b = [Low, Low, Low, High] (s, c) = f (a, b) +-- Not really an adder, but this is nice minimal hardware description +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) + +-- Not really an adder either, but a slightly more complex example +dup :: Bit -> (Bit, Bit) +dup a = (a, a) + -- Combinatoric stateless no-carry adder -- A -> B -> S no_carry_adder :: (Bit, Bit) -> Bit