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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Feb 8 21:05:31 GMT 2021

busy.  short reply.

On Monday, February 8, 2021, Cole Poirier <colepoirier at gmail.com> wrote:
> Hi Luke,
> Today:
> * working on the yosys SRAM scripts


> Misc:
> *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.

> *After the yosys SRAM scripts, I'd like to work on formal
> verification. I think this would be helpful to the project as well as
> helping me understand how the fu’s and architecture works thoroughly
> *I'd like some guidance on this:
>     *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".

>     * Is there an order that I should work through them in?



> Cole
> _______________________________________________
> Libre-soc-dev mailing list
> Libre-soc-dev at lists.libre-soc.org
> http://lists.libre-soc.org/mailman/listinfo/libre-soc-dev

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

More information about the Libre-soc-dev mailing list