# NL.net proposal
-2022-08-
+**This project is part of [NLnet NGI0 Entrust](https://nlnet.nl/entrust)
+and has received funding from the European Union’s Horizon Europe research and innovation programme under grant agreement No 101069594.**
+
+* 2022-08E-107
+* [[nlnet_2022_ongoing/discussion]]
+* <https://bugs.libre-soc.org/show_bug.cgi?id=961>
## Project name
<https://libre-soc.org/nlnet_2022_ongoing>
+# Summary
+
+The funding to date from NLnet via EU Grants has been amazing and resulted
+in significant development of Digitally-Sovereign VLSI designs.
+Continuing to further that initial research to create High Performance
+Compute for ultimate use in end-user products such as smartphones desktops
+laptops and Industrial Embedded PCs is clearly important.
+We therefore aim to further the IEEE754 Pipelines, associated Formal
+Correctness Proofs, and continue implementing unit tests, Simulator,
+Processor Core implementing Power ISA and Draft SVP64, as well as
+documentation and attending conferences.
+
+# Submitted to NLnet
+
Please be short and to the point in your answers; focus primarily on
the what and how, not so much on the why. Add longer descriptions as
attachments (see below). If English isn't your first language, don't