[HWToBTOR2] operator not are not currently supported #9179
Description
Hi, when I try to generate btor2 from a divider example in Chisel, it reports an error:
variadic operations not are not currently supported
more details:
home/dhp/work/chisel-prove/examples/src/main/scala/examples/Radix2Divider.scala:72:31: error: variadic operations not are not currently supported
home/dhp/work/chisel-prove/examples/src/main/scala/examples/Radix2Divider.scala:72:31: note: see current operation: %212 = "comb.concat"(%13, %58, %211) : (i1, i1, i5) -> i7
related code snippet:
val canSkipShift = (len.U + Log2(bReg)) - Log2(aValx2Reg)Metadata
Metadata
Assignees
Labels
No labels