diff --git a/README.md b/README.md index 51d09a9..fe18cc2 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,7 @@ 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 - - [x] `rtio.cri` (`Interface` and `CRIDecoder` only) +- - [ ] `rtio.rtlink` - - [ ] `rtio.sed.layouts` - - [ ] `rtio.sed.output_network` - - [ ] `rtio.sed.output_driver`