Language.Netlist.Util

Utility functions for constructing Netlist AST elements.

Documentation

data Direction

Constructors

Up

Down

unsizedInteger :: Integer -> Expr

unsizedIntegral :: Integral a => a -> Expr

sizedInteger :: Int -> Integer -> Expr

sizedIntegral :: Integral a => Int -> a -> Expr

makeRange :: Direction -> Size -> Maybe Range

Given a direction and size, maybe generate a Range, where a size of 1 yields Nothing.

exprConcat :: [Expr] -> Expr

Concatenate a list of expressions, unless there is just one expression.

statements :: [Stmt] -> Stmt

Make a Seq statement from a list of statements, unless there is just one statement.

generateReg :: Expr -> Expr -> Maybe (Expr, Expr) -> Maybe (Expr, Expr) -> Maybe Expr -> Expr -> Decl

generate a process declaration for a generic register based on the following:

• the register name (as an expression)
• clock expression
• width of the register
• optional asynchronous reset and initial value
• optional clock enable
• optional synchronous restart and initial value
• optional load enable
• when enabled, the expression to assign to the identifier

You can implement a shift register by passing in a concatenation for the register expression and the input expression, though that is not compatible with VHDL.