Language.KansasLava.VHDL

This module converts a Lava circuit to a synthesizable VHDL netlist.

Documentation

netlistCircuit

Arguments

:: String

The name of the generated entity.

-> KLEG

The Lava circuit.

-> IO Module

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 ()

The vhdlCircuit function converts a Lava KLEG into a VHDL entity/architecture pair.

writeVhdlPrelude :: FilePath -> IO ()

Write the Lava Prelude into this file. For example:

writeVhdlPrelude "Lava.vhd" 

mkTestbench :: String -> FilePath -> KLEG -> IO ()