M-Labs
/
rtio-nmigen
7
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Formally verified ARTIQ RTIO core in nMigen
4 Commits
1 Branch
0 Tags
96 KiB
Python 98.3%
Nix 1.7%
 
 
Go to file
Donald Sebastian Leung 79aad630d2 Add shell.nix 2020-09-24 15:11:24 +08:00
LICENSE Add README and LICENSE 2020-09-23 17:14:27 +08:00
README.md Update README.md 2020-09-23 17:16:58 +08:00
shell.nix Add shell.nix 2020-09-24 15:11:24 +08:00

README.md

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 or any later version