From b095dcce410c2037830307e5f3b5d26b3f0802bc Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 26 Sep 2019 06:42:06 +0100 Subject: [PATCH] add dan gisselquist cross-reference --- nlnet_2019_wishbone_streaming.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2