From 26b9f25a9fbff87bd63b45f37d488ad079c1a7bd Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Sat, 23 Jan 2021 18:09:28 -0300 Subject: [PATCH] Clarify comment about operations returning plain Signals Possibly not all Signal results will be ported to PartitionedSignal. For instance, comparison operations. --- src/ieee754/part/formal/proof_partition.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ieee754/part/formal/proof_partition.py b/src/ieee754/part/formal/proof_partition.py index 534e9e54..f2ef3074 100644 --- a/src/ieee754/part/formal/proof_partition.py +++ b/src/ieee754/part/formal/proof_partition.py @@ -361,8 +361,9 @@ class OpDriver(Elaboratable): result = self.op(*operands) if isinstance(result, PartitionedSignal): comb += output.eq(result.sig) - # TODO: remove when all operations return PartitionedSignal else: + # handle operations that return plain Signals + # TODO: revise if/when PartitionedBool is implemented comb += output.eq(result) # instantiate the partitioned gate generator and connect the gates m.submodules.gen = gen = GateGenerator(mwidth) -- 2.30.2