verismith-0.4.0.0: Random verilog generation and simulator testing.

Copyright(c) 2019 Yann Herklotz Grave
LicenseGPL-3
Maintaineryann [at] yannherklotz [dot] com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Verismith.Verilog.Eval

Description

Evaluation of Verilog expressions and statements.

Synopsis

Documentation

evaluateConst :: Bindings -> ConstExprF BitVec -> BitVec Source #

Evaluates a ConstExpr using a context of Bindings as input.

resize :: Int -> ConstExpr -> ConstExpr Source #

This probably could be implemented using some recursion scheme in the future. It would also be fixed by having a polymorphic expression type.