[Libre-soc-bugs] [Bug 449] FU unit tests checking output one cycle too late

[bugzilla-daemon at libre-soc.org]

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

--- Comment #9 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #8)
> (In reply to Cole Poirier from comment #7)
> 
> > Ok, so what you were referring to here, "indeed. however given that there
> > are 8+ pipelines using MultiCompUnit, and after 4+ months of work by both
> > myself, cesar and michael we are reeeeasonably confident it's stable.", is
> > the pipeline API?
> 
> no, i was referring to MultiCompUnit, because the context was MultiCompUnit
> and that formal proofs of MultiCompUnit had been mentioned.  no mention
> of the pipeline API had been made.
> 
> (it so happens that MultiCompUnit *interacts* with pipelines *via* the
> pipeline API).

That's true, I'm grasping at straws because I was having trouble understanding
what you were saying, my fault not yours. Ok, so to be explicit, MultiCompUnit
has a formal proof that you are confident in,
soc/fu/compunits/formal/proof_fu.py still needs to be completed?

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