What4.Protocol.VerilogWriter.Backend

Documentation

exprToVerilogExpr :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => Expr n tp -> VerilogM sym n (IExp tp)

Convert a What4 expresssion into a Verilog expression and return a name for that expression's result.