clash-prelude-0.99: CAES Language for Synchronous Hardware - Prelude library

Copyright(C) 2017 Google Inc
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Xilinx.DDR

Description

DDR primitives for Xilinx FPGAs

For general information about DDR primitives see Clash.Explicit.DDR.

For more information about the Xilinx DDR primitives see: * Vivado Design Suite 7 Series FPGA and Zynq-7000 All Programmable SoC Libraries Guide, UG953 (v2017.2) June 7, 2016, p294-296,p404-406, https://www.xilinx.com/support/documentation/sw_manuals/xilinx2017_2/ug953-vivado-7series-libraries.pdf

Synopsis

Documentation

iddr Source #

Arguments

:: (HasCallStack, fast ~ Dom n pFast, slow ~ Dom n (2 * pFast), KnownNat m) 
=> Clock slow gated

clock

-> Reset slow synchronous

reset

-> Signal fast (BitVector m)

DDR input signal

-> Signal slow (BitVector m, BitVector m)

normal speed output pairs

Xilinx specific variant of ddrIn implementend using the Xilinx IDDR primitive.

Reset values are 0

oddr Source #

Arguments

:: (slow ~ Dom n (2 * pFast), fast ~ Dom n pFast, KnownNat m) 
=> Clock slow gated

clock

-> Reset slow synchronous

reset

-> Signal slow (BitVector m, BitVector m)

normal speed input pairs

-> Signal fast (BitVector m)

DDR output signal

Xilinx specific variant of ddrOut implementend using the Xilinx ODDR primitive.

Reset value is 0