[Libre-soc-dev] daily kanban update 8-FEB-2021

Cole Poirier colepoirier at gmail.com
Mon Feb 8 21:16:23 GMT 2021


On Mon, Feb 8, 2021 at 1:06 PM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> busy.  short reply.

Ok, appreciated.

> On Monday, February 8, 2021, Cole Poirier <colepoirier at gmail.com> wrote:
> >
> > *Can you comment on the ‘icache formal verification’ bug I opened so
> > we can discuss the approach to formally verify it, if at all?
>
> already did.  you didn't see it.  close it.  too much work.

Done.

> >     *Should I start by formally verifying much smaller and simpler
> > modules and eventually work my way up to the caches?
>
> no.

Understood.

> >     * Is there a list of outstanding modules that need formal proofs?
>
> anything on 303 marked "formal".

Helpful, thank you.

> >     * Is there an order that I should work through them in?
>
> shift/rotate.

Great, will do.

Cole



More information about the Libre-soc-dev mailing list