Lava.Diagnostics
Contents
- data Component
- data Dir
- data NetType
- data PortDirection
- = InputPort
- | OutputPort
- data PortDeclaration = Port String PortDirection NetType [Int]
- data Position
- = NoPlacement
- | Unplaced
- | Placed
- data Layout
- sizeOfLayout :: Layout -> (Int, Int)
- data XilinxArchitecture
- data Instance = Instance {
- component :: Component
- componentName :: String
- instanceNumber :: Int
- position :: Position
- componentSize :: Maybe (Int, Int)
- data Netlist = Netlist {
- ports :: [PortDeclaration]
- instances :: [Instance]
- netCount :: Int
- instCount :: Int
- layout :: [Layout]
- layoutNesting :: Int
- computedShifts :: (Array Int Int, Array Int Int)
- xilinxArchitecture :: XilinxArchitecture
- getNetCount :: Out Int
- getInstCount :: Out Int
- pushLayout :: Layout -> Out ()
- popLayout :: Out Layout
- incrementLayoutNesting :: Out ()
- decrementLayoutNesting :: Out ()
- type Out a = State Netlist a
- type Bit = Int
Documentation
The Lava Netlist representation
sizeOfLayout :: Layout -> (Int, Int)Source
data XilinxArchitecture Source
Instances
Constructors
| Instance | |
Fields
| |
Constructors
| Netlist | |
Fields
| |
pushLayout :: Layout -> Out ()Source