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

[Luke Kenneth Casson Leighton]

busy.  short reply.

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

excellent.

> 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?

no.

>     * 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?

shift/rotate.

l.



>
> 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