Formally verified ARTIQ RTIO core in nMigen
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Donald Sebastian Leung e82a82538b Add simulation for CRI write command(?) 2 weeks ago
..
sed Remove assertions from within sorting network itself 4 weeks ago
test Add simulation for CRI write command(?) 2 weeks ago
__init__.py Reset translation progress 2 months ago
cri.py Restructure rtio.cri to follow nMigen convention 1 month ago
rtlink.py Remove redundant (object) in rtio.rtlink 1 month ago