xilinx-lava-5.0.1.3: The Lava system for Xilinx FPGA design with layout combinators.

Lava.Diagnostics

Contents

Synopsis

Generating a Lava netlist

The Lava Netlist representation

data Dir Source

Constructors

To 
Downto 

Instances

data CondShiftFn Source

Constructors

CondShiftFn (Int -> Bool, Int -> Int) (Int -> Bool, Int -> Int) 

type Bit = IntSource

type BitVec = (Int, Dir, Int)Source