Dear @programmerjake,
I have the grant proposal complete except for adding other people to the
Relevant Previous Involvement section. @cesar
(and others) if you want to work on this Libre-Chip
grant, please send me some text I can put in the NLNet grant proposal
under Relevant Previous Involvement, as I mentioned in Matrix/IRC. I
will be submitting the grant proposal in around 26-28hr.
I'll gladly participate. How about:
"Cesar Strauss - Contributed to the Libre-SOC project, mostly on digital
design and formal verification. Presented the talk "An introduction to
Formal Verification of Digital Circuits" on FOSDEM 2024
(https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)."
Regards,
Cesar