diff --git a/README.md b/README.md
index 6618b49..1632d75 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,11 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen
 - - [x] `rtio.sed.output_network`
 - - [x] `rtio.sed.output_driver`
 - [ ] Add suitable assertions for verification (BMC / unbounded proof?)
+- - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only)
+- - [ ] `rtio.rtlink`
+- - [ ] `rtio.sed.layouts`
+- - [ ] `rtio.sed.output_network` - Sorting network (high priority)
+- - [ ] `rtio.sed.output_driver
 
 ## License