[Libre-soc-bugs] [Bug 713] New: PartitionedSignal enhancement to add partition-context-aware lengths

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=713

            Bug ID: 713
           Summary: PartitionedSignal enhancement to add
                    partition-context-aware lengths
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Source Code
          Assignee: lkcl at lkcl.net
          Reporter: lkcl at lkcl.net
                CC: libre-soc-bugs at lists.libre-soc.org
   NLnet milestone: ---

in https://bugs.libre-soc.org/show_bug.cgi?id=708#c4 the idea was raised
to allow the length of signals within each partition to be *less* than
the full length that each partition is actually capable of.

whilst in many cases "workarounds" can be done which mitigate the need
for this as a primary feature, certain circumstances such as IEEE754
FP exponent and mantissa being strange non-partition-aligning values
depending on the partition settings make this challenging to workaround.

this therefore needs a proper evaluation including estimating the time
taken to design, write unit tests and Formal Correctness Proofs, as well
as evaluate if it is possible to cleanly adapt the existing PartitionedSignal.

-- 
You are receiving this mail because:
You are on the CC list for the bug.