[Libre-soc-bugs] [Bug 755] add grev

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sun Dec 12 14:46:50 GMT 2021


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

--- Comment #4 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
this makes the need for a sub-function redundant:

        for i in range(self._log2_width):
            step_o = Signal(self.width, name="step_%d" % i)
            _steps.append(step_o)
            ...
            ...
            step_i = step_o # for next loop, to create the combinatorial chain

then at the end self._steps can be set to _steps.

optionally, a constructor parameter could be added "testing_mode=False"
which does not add that.

or, another technique that i've seen used - and this is for Formal Correctness
Proofs only:

def elaborate(self, platform):

    if platform == 'formal':
        # do some Asserts.

it's a small amount of code, here, so isn't a Big Deal.  if it was a much
larger module, exposing a considerably larger suite of "test" signals,
i'd start to get concerned.

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


More information about the libre-soc-bugs mailing list