From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 26 Sep 2019 05:42:06 +0000 (+0100)
Subject: add dan gisselquist cross-reference
X-Git-Tag: convert-csv-opcode-to-binary~3961
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b095dcce410c2037830307e5f3b5d26b3f0802bc;p=libreriscv.git

add dan gisselquist cross-reference
---

diff --git a/nlnet_2019_wishbone_streaming.mdwn b/nlnet_2019_wishbone_streaming.mdwn
index 706f2dc56..8e2b504fb 100644
--- 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