package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Xilinx.XMakeSource

Parameters

module X : S
module L : LutSize

Signature

Sourceval x_lut : LutEqn.t -> Signal.t -> Signal.t
Sourceval x_and : Signal.t -> Signal.t -> Signal.t
Sourceval x_xor : Signal.t -> Signal.t -> Signal.t
Sourceval x_not : Signal.t -> Signal.t
Sourceval x_reduce_carry : Base.Bool.t -> (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t -> Signal.t -> Signal.t
Sourceval x_and_reduce : Signal.t -> Signal.t
Sourceval x_or_reduce : Signal.t -> Signal.t
Sourceval x_reduce_tree : (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t
Sourceval x_add_carry : LutEqn.t -> Signal.t -> Signal.t -> Signal.t -> Signal.t * Signal.t
Sourceval x_add : Signal.t -> Signal.t -> Signal.t
Sourceval x_sub : Signal.t -> Signal.t -> Signal.t
Sourceval x_mux_add_carry : LutEqn.t -> Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t * Signal.t
Sourceval x_mux_add : Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t

x_mux_add x (a, a') b gives (x ? a : a') + b

Sourceval x_mux_sub : Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t

x_mux_sub x a (b, b') gives a - (x ? b : b')

Sourceval x_mulu : Signal.t -> Signal.t -> Signal.t
Sourceval x_muls : Signal.t -> Signal.t -> Signal.t