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