2020-09-23 17:10:41 +08:00
# rtio-nmigen
2020-09-23 17:14:27 +08:00
Formally verified implementation of the ARTIQ RTIO core in nMigen
2020-10-20 13:05:38 +08:00
## File Synopsis
- `LICENSE` : License terms (LGPLv3+) for this project
- `README.md` : this document
- `shell.nix` : Nix file for setting up the environment for this project
- `rtio` : RTIO core in nMigen
2020-10-23 10:39:16 +08:00
## Running the verification tasks
2020-11-11 13:59:40 +08:00
To run the verification tasks for the sorting network (unbounded proofs with variable numbers of lanes), change directory to the root of this project, set up the [Nix ](https://nixos.org ) environment by running `nix-shell` and do
2020-10-23 10:39:16 +08:00
```bash
$ python -m rtio.test.sed.output_network
```
2020-11-11 13:59:40 +08:00
This should complete in under an hour. The time to complete each verification task (2 lanes, 4 lanes, 8 lanes) is printed to standard output.
2020-09-23 17:14:27 +08:00
## License
Copyright (C) 2020 M-Labs Limited.
2020-09-23 17:16:58 +08:00
[LGPLv3 ](./LICENSE ) or any later version