chalmers-lava2000-1.4.1: Hardware description EDSL

Safe Haskell	None

Lava.Arithmetic

Documentation

halfAdd :: (Signal Bool, Signal Bool) -> (Signal Bool, Signal Bool)Source

fullAdd :: (Signal Bool, (Signal Bool, Signal Bool)) -> (Signal Bool, Signal Bool)Source

bitAdder :: (Signal Bool, [Signal Bool]) -> ([Signal Bool], Signal Bool)Source

adder :: (Signal Bool, ([Signal Bool], [Signal Bool])) -> ([Signal Bool], Signal Bool)Source

binAdder :: ([Signal Bool], [Signal Bool]) -> [Signal Bool]Source

bitMulti :: (Signal Bool, [Signal Bool]) -> [Signal Bool]Source

multi :: ([Signal Bool], [Signal Bool]) -> [Signal Bool]Source

numBreak :: Signal Int -> (Signal Bool, Signal Int)Source

int2bin :: (Eq a, Num a) => a -> Signal Int -> [Signal Bool]Source

bin2int :: [Signal Bool] -> Signal Int Source