Copyright	(C) 2015-2016 University of Twente 2017 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	Safe
Language	Haskell2010
Extensions	DataKinds FlexibleContexts MagicHash TypeOperators ExplicitNamespaces

Clash.Prelude.ROM

Contents

Description

ROMs

Synopsis

asyncRom :: (KnownNat n, Enum addr) => Vec n a -> addr -> a
asyncRomPow2 :: KnownNat n => Vec (2 ^ n) a -> Unsigned n -> a
rom :: (KnownNat n, KnownNat m, HiddenClock domain gated) => Vec n a -> Signal domain (Unsigned m) -> Signal domain a
romPow2 :: (KnownNat n, HiddenClock domain gated) => Vec (2 ^ n) a -> Signal domain (Unsigned n) -> Signal domain a
asyncRom# :: KnownNat n => Vec n a -> Int -> a

Asynchronous ROM

Arguments

:: (KnownNat n, Enum addr)
=> Vec n a	ROM content NB: must be a constant
-> addr	Read address `rd`
-> a	The value of the ROM at address `rd`

An asynchronous/combinational ROM with space for n elements

Additional helpful information:

See Clash.Sized.Fixed and Clash.Prelude.BlockRam for ideas on how to use ROMs and RAMs

Arguments

:: KnownNat n
=> Vec (2 ^ n) a	ROM content NB: must be a constant
-> Unsigned n	Read address `rd`
-> a	The value of the ROM at address `rd`

An asynchronous/combinational ROM with space for 2^n elements

Additional helpful information:

See Clash.Sized.Fixed and Clash.Prelude.BlockRam for ideas on how to use ROMs and RAMs

Synchronous ROM synchronised to an arbitrary clock

Arguments

:: (KnownNat n, KnownNat m, HiddenClock domain gated)
=> Vec n a	ROM content NB: must be a constant
-> Signal domain (Unsigned m)	Read address `rd`
-> Signal domain a	The value of the ROM at address `rd`

A ROM with a synchronous read port, with space for n elements

Additional helpful information:

See Clash.Sized.Fixed and Clash.Prelude.BlockRam for ideas on how to use ROMs and RAMs

Arguments

:: (KnownNat n, HiddenClock domain gated)
=> Vec (2 ^ n) a	ROM content NB: must be a constant
-> Signal domain (Unsigned n)	Read address `rd`
-> Signal domain a	The value of the ROM at address `rd`

A ROM with a synchronous read port, with space for 2^n elements

Additional helpful information:

See Clash.Sized.Fixed and Clash.Prelude.BlockRam for ideas on how to use ROMs and RAMs

Arguments

:: KnownNat n
=> Vec n a	ROM content NB: must be a constant
-> Int	Read address `rd`
-> a	The value of the ROM at address `rd`

asyncROM primitive