kdrag.printers.verilog.verilog_of_expr

kdrag.printers.verilog.verilog_of_expr(expr: ExprRef) → str

Convert an SMT-LIB expression to a Verilog expression.

>>> x,y,z = smt.Consts("x y z", smt.BitVecSort(8))
>>> a,b,c = smt.Consts("a b c", smt.BoolSort())
>>> verilog_of_expr(x + y + z)
'((x + y) + z)'
>>> verilog_of_expr(smt.Concat(x, y, z))
'{{x, y}, z}'
>>> verilog_of_expr(a & True)
"(a && 1'b1)"

Parameters:

expr (ExprRef)

Return type:

str