Module Hardcaml.Xilinx

include Hardcaml__.Xilinx_intf.Xilinx
module LutEqn : sig ... end

Allow expressions to generate LUT init values

module Hardcaml_api : S

Hardcaml simulation based models of Xilinx primitives

module Unisim : S

Unisim library based Xilinx primitives

module type T : Hardcaml__.Xilinx_intf.T with module LutEqn := LutEqn
module type LutSize = sig ... end
module Lut4 : LutSize
module Lut6 : LutSize
module XMake : functor (X : S) -> functor (L : LutSize) -> T
module XComb : functor (Synth : T) -> Comb.Primitives with type t = Signal.t
module XSynthesizeComb : functor (X : S) -> functor (L : LutSize) -> Transform.TransformFn

combinatorial only transform

module XSynthesize : functor (X : S) -> functor (L : LutSize) -> Transform.TransformFn

sequential and combinatorial transform TODO memories