add dan gisselquist cross-reference

diff --git a/nlnet_2019_wishbone_streaming.mdwn b/nlnet_2019_wishbone_streaming.mdwn
index 706f2dc566939647d731debeab1686232ed772dc..8e2b504fbbe696c918117bb95c549702143941f1 100644 (file)
--- a/nlnet_2019_wishbone_streaming.mdwn
+++ b/nlnet_2019_wishbone_streaming.mdwn
@@ -106,7 +106,8 @@ Dan Gisselquist in SystemVerilog, but none are written in nmigen.
 
 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