[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,
> * working on the yosys SRAM scripts
> *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?
> Libre-soc-dev mailing list
> Libre-soc-dev at lists.libre-soc.org
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
More information about the Libre-soc-dev