log package:clash-prelude

log :: Floating a => a -> a

clash-prelude Clash.HaskellPrelude

logBase :: Floating a => a -> a -> a

clash-prelude Clash.HaskellPrelude

log2BNat :: BNat (2 ^ n) -> BNat n

clash-prelude Clash.Promoted.Nat

Get the log2 of a base-2 encoded natural number NB: Not synthesizable

logBaseSNat :: FLog base x ~ CLog base x => SNat base -> SNat x -> SNat (Log base x)

clash-prelude Clash.Promoted.Nat

Exact integer logarithm of a natural number NB: Only works when the argument is a power of the base

SystemVerilog :: HDL

clash-prelude Clash.Annotations.Primitive

clash-prelude Clash.Annotations.Primitive

clogBaseSNat :: (2 <= base, 1 <= x) => SNat base -> SNat x -> SNat (CLog base x)

clash-prelude Clash.Promoted.Nat

Ceiling of the logarithm of a natural number

flogBaseSNat :: (2 <= base, 1 <= x) => SNat base -> SNat x -> SNat (FLog base x)

clash-prelude Clash.Promoted.Nat

Floor of the logarithm of a natural number