chalmers-lava2000-1.5: Hardware description EDSL
Lava.Arithmetic
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 :: (Num a, Eq a) => a -> Signal Int -> [Signal Bool] Source
bin2int :: [Signal Bool] -> Signal Int Source