cesar mentioned in the meeting today that we can always apply and if that application fails we can just try again later...so, I think we should work on writing a nlnet grant proposal and reviewing it then submit it, hopefully before their dec 1 deadline for this grant cycle.
I can start working on that soon, maybe later today, though i'll be busy on wednesday.
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 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/)."
Ok, added to the grant proposal. I'm planning on submitting it in 4-5hr, so please read through it and let me know if you spot anything you think should be changed/added/removed.
I'll be removing the "Others... TODO" before submitting it.