# rtio-nmigen

Formally verified implementation of the ARTIQ RTIO core in nMigen

## Progress

- [ ] Implement the core in nMigen
- [ ] Add suitable assertions for verification (BMC / unbounded proof?)

## License

Copyright (C) 2020 M-Labs Limited.

[LGPLv3](./LICENSE) or later