From cc2c1ea11c095b9f396740926f30d86b15cba848 Mon Sep 17 00:00:00 2001
From: Donald Sebastian Leung
Date: Wed, 30 Sep 2020 12:21:45 +0800
Subject: [PATCH] Refine progress checklist to focus on CRI and outputs
---
README.md | 10 +---------
1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/README.md b/README.md
index c89463b..087f0d5 100644
--- a/README.md
+++ b/README.md
@@ -6,18 +6,10 @@ Formally verified implementation of the ARTIQ RTIO core in nMigen
- Devise a suitable migration strategy for `artiq.gateware.rtio` from Migen to nMigen
- [ ] Implement the core in nMigen
-- - [ ] `rtio.core`
- - [ ] `rtio.cri`
-- - [ ] `rtio.rtlink`
-- - [ ] `rtio.channel`
-- - [ ] `rtio.sed.core`
- - [ ] `rtio.sed.layouts`
-- - [ ] `rtio.sed.lane_distributor`
-- - [ ] `rtio.sed.fifos`
-- - [ ] `rtio.sed.gates`
-- - [ ] `rtio.sed.output_driver`
- - [ ] `rtio.sed.output_network`
-- - [ ] `rtio.input_collector`
+- - [ ] `rtio.sed.output_driver`
- [ ] Add suitable assertions for verification (BMC / unbounded proof?)
## License