[Libre-soc-dev] daily kanban update 8-FEB-2021
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.
> 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.
> > *Should I start by formally verifying much smaller and simpler
> > modules and eventually work my way up to the caches?
> > * 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?
Great, will do.
More information about the Libre-soc-dev