| Copyright | (c) 2019 Yann Herklotz Grave |
|---|---|
| License | GPL-3 |
| Maintainer | yann [at] yannherklotz [dot] com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Verismith.Verilog.Eval
Description
Evaluation of Verilog expressions and statements.
Synopsis
- evaluateConst :: Bindings -> ConstExprF BitVec -> BitVec
- resize :: Int -> ConstExpr -> ConstExpr
Documentation
evaluateConst :: Bindings -> ConstExprF BitVec -> BitVec Source #
Evaluates a ConstExpr using a context of Bindings as input.