From 577a8083f18f5fb2d9cde75d5f5807ba17ff3380 Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Mon, 19 Oct 2020 14:42:38 +0800 Subject: [PATCH] Add refactoring/restructuring to TODO list in README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 7c5f4db..9fb7d93 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,7 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen - - [ ] `rtio.sed.layouts` - - [ ] `rtio.sed.output_network` - Sorting network (high priority) - - [ ] `rtio.sed.output_driver` +- [ ] Restructure to code to follow nMigen convention and re-validate existing assertions ## License