From 04640794b956ba2214c6d2a6a6fbb767cdbfdaa8 Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Thu, 22 Oct 2020 11:27:08 +0800 Subject: [PATCH] Add breakdown of cmp_wrap() for reference --- NOTES.md | 18 ++++++++++++++++++ README.md | 1 - rtio/sed/output_network.py | 2 ++ 3 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 NOTES.md diff --git a/NOTES.md b/NOTES.md new file mode 100644 index 0000000..5942345 --- /dev/null +++ b/NOTES.md @@ -0,0 +1,18 @@ +| a | b | cmp_wrap(a, b) | +| --- | --- | --- | +| 00 | 00 | 0 | +| 00 | 01 | 1 | +| 00 | 10 | 1 | +| 00 | 11 | 0 | +| 01 | 00 | 0 | +| 01 | 01 | 0 | +| 01 | 10 | 1 | +| 01 | 11 | 1 | +| 10 | 00 | 0 | +| 10 | 01 | 0 | +| 10 | 10 | 0 | +| 10 | 11 | 1 | +| 11 | 00 | 1 | +| 11 | 01 | 0 | +| 11 | 10 | 0 | +| 11 | 11 | 0 | diff --git a/README.md b/README.md index d7c3b6e..5d01018 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,6 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen - `README.md`: this document - `shell.nix`: Nix file for setting up the environment for this project - `rtio`: RTIO core in nMigen -- `traces`: History of traces for debugging ## Progress diff --git a/rtio/sed/output_network.py b/rtio/sed/output_network.py index affdb0d..3905a78 100644 --- a/rtio/sed/output_network.py +++ b/rtio/sed/output_network.py @@ -164,6 +164,7 @@ class OutputNetwork(Elaboratable): with m.If(match): m.d.comb += appeared.eq(1) m.d.comb += Assert(appeared) + # Otherwise, TODO with m.If(f_output_valid): nodes_unique = Signal(reset=1) @@ -181,6 +182,7 @@ class OutputNetwork(Elaboratable): # are unique then there should be no replacements with m.If(nodes_unique): m.d.comb += Assert(~replacement_occurred) + # Otherwise, TODO def elaborate(self, platform): return self.m