Return a PartitionedSignal from the bitwise "not" operation
authorCesar Strauss <cestrauss@gmail.com>
Sat, 23 Jan 2021 20:39:49 +0000 (17:39 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 23 Jan 2021 20:39:49 +0000 (17:39 -0300)
Adjust the proof to accommodate such operations.

src/ieee754/part/formal/proof_partition.py
src/ieee754/part/partsig.py

index fa5d732..534e9e5 100644 (file)
@@ -358,7 +358,12 @@ class OpDriver(Elaboratable):
             out_step = step
         output = Signal(out_width)
         # perform the operation on the partitioned signals
-        comb += output.eq(self.op(*operands))
+        result = self.op(*operands)
+        if isinstance(result, PartitionedSignal):
+            comb += output.eq(result.sig)
+        # TODO: remove when all operations return PartitionedSignal
+        else:
+            comb += output.eq(result)
         # instantiate the partitioned gate generator and connect the gates
         m.submodules.gen = gen = GateGenerator(mwidth)
         comb += gates.eq(gen.gates)
index fb06a1b..84a9618 100644 (file)
@@ -71,7 +71,9 @@ class PartitionedSignal:
     # unary ops that do not require partitioning
 
     def __invert__(self):
-        return ~self.sig
+        result = PartitionedSignal.like(self)
+        self.m.d.comb += result.sig.eq(~self.sig)
+        return result
 
     # unary ops that require partitioning