M-Labs
/
rtio-nmigen
7
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove rtio.sed.layouts from verification/restructuring TODO list

This commit is contained in:
Donald Sebastian Leung 2020-10-27 11:41:55 +08:00
parent f3fa369940
commit 05f37c0c13
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -29,13 +29,11 @@ $ python -m rtio.test.sed.output_network
- [ ] Add suitable assertions for verification (BMC / unbounded proof?) - [ ] Add suitable assertions for verification (BMC / unbounded proof?)
- - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only) - - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only)
- - [ ] `rtio.rtlink` - - [ ] `rtio.rtlink`
- - [ ] `rtio.sed.layouts`
- - [x] `rtio.sed.output_network` - Sorting network (high priority) - - [x] `rtio.sed.output_network` - Sorting network (high priority)
- - [ ] `rtio.sed.output_driver` - - [ ] `rtio.sed.output_driver`
- [ ] Restructure to code to follow nMigen convention and re-validate existing assertions - [ ] Restructure to code to follow nMigen convention and re-validate existing assertions
- - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only) - - [ ] `rtio.cri` (`Interface` and `CRIDecoder` only)
- - [ ] `rtio.rtlink` - - [ ] `rtio.rtlink`
- - [ ] `rtio.sed.layouts`
- - [x] `rtio.sed.output_network` - - [x] `rtio.sed.output_network`
- - [ ] `rtio.sed.output_driver` - - [ ] `rtio.sed.output_driver`