Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module converts a Lava circuit to a synthesizable VHDL netlist.
- netlistCircuit :: String -> KLEG -> IO Module
- writeVhdlCircuit :: String -> FilePath -> KLEG -> IO ()
- writeVhdlPrelude :: FilePath -> IO ()
- mkTestbench :: String -> FilePath -> KLEG -> IO ()
Documentation
The netlistCircuit
function converts a Lava circuit into a Netlist AST
The circuit type must implement the Ports
class. If the circuit type is
a function, the function arguments will be exposed as input ports, and the
result will be exposed as an output port (or ports, if it is a compound
type).
writeVhdlCircuit :: String -> FilePath -> KLEG -> IO () Source #
The vhdlCircuit
function converts a Lava KLEG into a VHDL entity/architecture pair.
writeVhdlPrelude :: FilePath -> IO () Source #
Write the Lava Prelude into this file. For example:
writeVhdlPrelude "Lava.vhd"