x.LShR(10)
x.RotateLeft(8)
x.RotateRight(8)
solver.And(x == y, x > 0)
solver.Or(x == y, y < 10)
solver.Not(x == y)
is the same as x != y
solver.If(x > y, x, y)
x.ULE(y)
x.ULT(y)
x.UGE(y)
x.UGT(y)
x.SLE(y)
x.SLT(y)
x.SGE(y)
x.SGT(y)
n
sign bitsx.sign_extend(n)
n
zero bitsx.zero_extend(n)
x[7:0]
x.concat(y, ...)
n
bits with val.chop(n)
x.reversed
val.length
val.symbolic
val.variables