# NL.net proposal
+* NLNet Project Page <https://nlnet.nl/project/WishboneStreaming/>
+* 2019-10-043
+* Top Level bugreport <http://bugs.libre-riscv.org/show_bug.cgi?id=175>
+
## Project name
The Libre RISC-V SoC, Wishbone Streaming Proposal
This is a straightforward project. However the timing issues involved
with Bus Negotiation can be awkward to get right and may need formal
-proofs to properly verify.
+proofs to properly verify. Dan Gisselquist's work in his area shows
+how it can be done.
## Describe the ecosystem of the project, and how you will engage with relevant actors and promote the outcomes