From 1038758d510f65730cdd8ac44e42436a8271cec7 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 20 May 2020 20:31:32 +0100 Subject: [PATCH] add link to bugreport in CR pipe formal test --- src/soc/fu/cr/formal/proof_main_stage.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/soc/fu/cr/formal/proof_main_stage.py b/src/soc/fu/cr/formal/proof_main_stage.py index 18d0d1d8..79c16103 100644 --- a/src/soc/fu/cr/formal/proof_main_stage.py +++ b/src/soc/fu/cr/formal/proof_main_stage.py @@ -1,5 +1,9 @@ # Proof of correctness for partitioned equal signal combiner # Copyright (C) 2020 Michael Nolan +""" +Links: +* https://bugs.libre-soc.org/show_bug.cgi?id=332 +""" from nmigen import (Module, Signal, Elaboratable, Mux, Cat, Repl, signed, Array) -- 2.30.2