How to do signed operations on intbv

I am trying to implement a simple ALU with add and subtract operations. I got an error once the resulted value is less than 0!

Can anyone provide me with an example of how to do it correctly in MyHDL?
Thank you in advance

I guess you have declared your accumulator as Signal(intbv(0)[8:])
This implies that only positive values can be assigned to this signal.
In order to allow for negative values you need to declare it this way: Signal(intbv(0, min=-128, max=128))
This may not the effective solution for an 8-bit accumulator as you probably also want to accommodate 8-bit unsigned values. So it is better to resolve this by using unsigned two’s arithmetic and declaring the accumulator as Signal(modbv(0)[8:]) and work with this.
I hope this sets you on your way.


Here is my code. It seems that the intbv is okay, but when the value is assigned to the Signal of type intbv the problem is araised.

def ALU(rs1, rs2, op, out):
  outX = intbv(0, min=-2**31, max=2**31-1)
  print(outX.min, len(outX))

  def logic():
    if op == 0b0000:
      outX = rs1 + rs2
    elif op == 0b0001:
      outX = rs1.val - rs2.val
      outX = 0b0 = outX   #The problem arises in this line
  return logic

def Stimulus():
  clk    = Signal(bool(0))
  rs1    = Signal(intbv(0, min=-2**31, max=(2**31)-1)[32:])
  rs2    = Signal(intbv(0, min=-2**31, max=(2**31)-1)[32:])
  op     = Signal(intbv(0)[4:])
  Result = Signal(intbv(0, min=-2**31, max=(2**31)-1)[32:])

  ALU_1 = ALU(rs1, rs2, op, Result)

  def clk_driver(): = rs1 + 1 = rs2 + 10
    print('Results = %d'% Result) = 0b1

  return instances()
if __name__ == '__main__':
    inst = Stimulus()

Thank you again for helping out.

you instantiate it as: outX = intbv(0, min=-2**31, max=2**31)
The max value excludes the upper value