libre-chip/website
2
0
Fork 1
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

submitted to NLNet, add NLNet's grant proposal ID
All checks were successful
Deploy / deploy (push) Successful in 34s
Details

Browse source
This commit is contained in:
Jacob Lifshay 2024-11-30 20:37:02 -08:00
parent 80c7463550
commit 364340fcaa
Signed by: programmerjake
SSH key fingerprint: SHA256:HnFTLGpSm4Q4Fj502oCFisjZSoakwEuTsJJMSke63RQ
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/SUMMARY.md
View file

@ -2,7 +2,7 @@
* [Proposal for Libre-Chip's First CPU Architecture](first_arch/index.md)
* [Register Renaming](first_arch/register_renaming.md)
* [Grants](grants/index.md)
* [First NLNet Grant Proposal](grants/nlnet-first.md)
* [First NLNet Grant Proposal -- 2024-12-324](grants/nlnet-first.md)
* [Conduct](Conduct.md)
* [License](LICENSE.md)
* [GPL 3.0](gpl-3.0.md)

4
src/grants/nlnet-first.md
View file

@ -1,4 +1,4 @@
# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs
# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324
Project Name: Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs
@ -21,8 +21,6 @@ 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/>).
* Others... TODO
# Requested support
Requested Amount &euro;50000