Copyright	(C) 2015-2016 University of Twente 2017 Google Inc. 2019 Myrtle Software Ltd
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	Trustworthy
Language	Haskell2010
Extensions	MonoLocalBinds ScopedTypeVariables BangPatterns ViewPatterns GADTs GADTSyntax DataKinds InstanceSigs StandaloneDeriving DeriveDataTypeable DeriveFunctor DeriveTraversable DeriveFoldable DeriveGeneric DefaultSignatures DeriveLift DerivingStrategies MagicHash KindSignatures TupleSections RankNTypes TypeOperators ExplicitNamespaces ExplicitForAll BinaryLiterals TypeApplications

Clash.Explicit.ROM

Contents

Description

ROMs

Synopsis

rom :: (KnownDomain dom, KnownNat n, NFDataX a, Enum addr) => Clock dom -> Enable dom -> Vec n a -> Signal dom addr -> Signal dom a
romPow2 :: (KnownDomain dom, KnownNat n, NFDataX a) => Clock dom -> Enable dom -> Vec (2 ^ n) a -> Signal dom (Unsigned n) -> Signal dom a
rom# :: forall dom n a. (KnownDomain dom, KnownNat n, NFDataX a) => Clock dom -> Enable dom -> Vec n a -> Signal dom Int -> Signal dom a

Synchronous ROM synchronized to an arbitrary clock

Arguments

:: (KnownDomain dom, KnownNat n, NFDataX a, Enum addr)
=> Clock dom	`Clock` to synchronize to
-> Enable dom	Global enable
-> Vec n a	ROM content NB: must be a constant
-> Signal dom addr	Read address `rd`
-> Signal dom a	The value of the ROM at address `rd` from the previous clock cycle

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

Additional helpful information:

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

Arguments

:: (KnownDomain dom, KnownNat n, NFDataX a)
=> Clock dom	`Clock` to synchronize to
-> Enable dom	Global enable
-> Vec (2 ^ n) a	ROM content NB: must be a constant
-> Signal dom (Unsigned n)	Read address `rd`
-> Signal dom 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.Explicit.BlockRam for ideas on how to use ROMs and RAMs

Internal

Arguments

:: forall dom n a. (KnownDomain dom, KnownNat n, NFDataX a)
=> Clock dom	`Clock` to synchronize to
-> Enable dom	Global enable
-> Vec n a	ROM content NB: must be a constant
-> Signal dom Int	Read address `rd`
-> Signal dom a	The value of the ROM at address `rd` from the previous clock cycle

ROM primitive