[Libre-soc-dev] Daily Kanban 2020aug10

[Luke Kenneth Casson Leighton]

On Monday, August 10, 2020, Samuel Falvo II <sam.falvo at gmail.com> wrote:

>
> Each column also has a discrete input/output column as well, along
> with WIP limits and such.  ;)


ooo, posh


>
> > ok this i feel should be done slightly differently, by joining the pre,
> > main and post stages together with a combinatorial chain, and the proof
> to
> > run on the whole chain.
>
> I'll need guidance on how to do this.  I just got the proof module to
> actually run, but of course it doesn't actually do anything at the
> moment.  Now that I have a working baseline, now's the perfect time to
> learn how to accomplish this combinatorial chain.


 either do it by hand or use StageChain

https://git.libre-soc.org/?p=nmutil.git;a=blob;f=src/nmutil/stageapi.py;h=b709abd801d5b9c31aa574bcf32bc03c6bd788a0;hb=764550a030df43aaec5fe001c4a7e7481830efbf#l202

* declare an instance of each object, pre, main and post.
* create a list of those 3 objects
* create a StageChain instance (called si) with that list as the (one)
parameter
* create an input spec instance i = si.ispec()
* call o = si.setup(m, i)

now you have instead of dut.i.a and dut.i.b you just have i.a and i.b and
likewise for o.something.

StageChain is *not* an Elaboratable, you still have to add each of the 3
stages (from that list) to the dut.submodules.

l.



-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68