 Donald Sebastian Leung
|
1d5ee12431
|
Measure completion time for each unbounded proof
|
2020-11-11 13:59:40 +08:00 |
|
Donald Sebastian Leung
|
2d801d1aef
|
Add unbounded proof for output network with 4 lanes
|
2020-11-09 11:47:47 +08:00 |
|
Donald Sebastian Leung
|
06f619013c
|
Update README with next objective
|
2020-10-29 13:32:54 +08:00 |
|
Donald Sebastian Leung
|
c04d21aa31
|
Restructure rtio.sed.output_driver to follow nMigen convention
|
2020-10-27 13:33:41 +08:00 |
|
Donald Sebastian Leung
|
d3b63098cb
|
Remove rtio.rtlink from verification/restructuring TODO list
|
2020-10-27 12:17:43 +08:00 |
|
Donald Sebastian Leung
|
32641851b7
|
Restructure rtio.cri to follow nMigen convention
|
2020-10-27 12:14:47 +08:00 |
|
Donald Sebastian Leung
|
05f37c0c13
|
Remove rtio.sed.layouts from verification/restructuring TODO list
|
2020-10-27 11:41:55 +08:00 |
|
Donald Sebastian Leung
|
e3a8229ac2
|
Rewrite sorting network to follow nMigen convention
|
2020-10-23 14:57:29 +08:00 |
|
Donald Sebastian Leung
|
3c1db87457
|
Update README
|
2020-10-23 11:15:47 +08:00 |
|
Donald Sebastian Leung
|
69a3e5606f
|
Add mention of Nix in "Running the verification tasks"
|
2020-10-23 10:43:43 +08:00 |
|
Donald Sebastian Leung
|
2f9d4a6348
|
Add instructions for running verification
|
2020-10-23 10:39:16 +08:00 |
|
Donald Sebastian Leung
|
04640794b9
|
Add breakdown of cmp_wrap() for reference
|
2020-10-22 11:27:08 +08:00 |
|
Donald Sebastian Leung
|
d8c40ce382
|
Add failing trace and trace analysis
|
2020-10-20 13:05:38 +08:00 |
|
Donald Sebastian Leung
|
577a8083f1
|
Add refactoring/restructuring to TODO list in README
|
2020-10-19 14:42:38 +08:00 |
|
Donald Sebastian Leung
|
ec957ad411
|
Fix keyword argument issue for read_port in rtio.cri
|
2020-10-15 13:11:06 +08:00 |
|
Donald Sebastian Leung
|
b4ec588630
|
Fix keyword argument issue in rtio.cri
|
2020-10-14 17:26:38 +08:00 |
|
Donald Sebastian Leung
|
ceab41f9da
|
Fix broken markdown in README
|
2020-10-14 16:50:57 +08:00 |
|
Donald Sebastian Leung
|
3d65ca01e4
|
Update README
|
2020-10-14 16:50:01 +08:00 |
|
Donald Sebastian Leung
|
6746052a60
|
Add rtio.sed.output_driver
|
2020-10-09 11:16:01 +08:00 |
|
Donald Sebastian Leung
|
1d5945f7fa
|
Add rtio.sed.output_network
|
2020-10-08 17:05:04 +08:00 |
|
Donald Sebastian Leung
|
c2ee2fbdef
|
Add rtio.sed.layouts
|
2020-10-08 11:06:35 +08:00 |
|
Donald Sebastian Leung
|
1f838186e8
|
Add rtio.rtlink
|
2020-10-07 16:32:20 +08:00 |
|
Donald Sebastian Leung
|
3cbcb630bd
|
Add rtio.rtlink to progress list
|
2020-10-07 16:06:01 +08:00 |
|
Donald Sebastian Leung
|
85d1523b52
|
Add rtio.cri
|
2020-10-07 12:01:37 +08:00 |
|
Donald Sebastian Leung
|
cc2c1ea11c
|
Refine progress checklist to focus on CRI and outputs
|
2020-09-30 12:21:45 +08:00 |
|
Donald Sebastian Leung
|
c9857bb831
|
Reset translation progress
|
2020-09-30 10:55:08 +08:00 |
|
Donald Sebastian Leung
|
36fb6306b0
|
Add rtio.sed.output_network
|
2020-09-29 16:35:59 +08:00 |
|
Donald Sebastian Leung
|
7c742dc2d1
|
Add rtio.sed.lane_distributor
|
2020-09-28 16:01:43 +08:00 |
|
Donald Sebastian Leung
|
1a83778590
|
Remove redundant 'artiq.gateware' from module names
|
2020-09-25 15:10:07 +08:00 |
|
Donald Sebastian Leung
|
a788c17e3d
|
Add artiq.gateware.rtio.sed.layouts
|
2020-09-25 13:26:01 +08:00 |
|
Donald Sebastian Leung
|
9e81676fd2
|
Add artiq.gateware.rtio.channel
|
2020-09-25 12:59:23 +08:00 |
|
Donald Sebastian Leung
|
f7c1cc23a5
|
Implement artiq.gateware.rtio.rtlink
|
2020-09-25 12:49:14 +08:00 |
|
Donald Sebastian Leung
|
2eb682ee3e
|
Update README
|
2020-09-24 15:43:33 +08:00 |
|
Donald Sebastian Leung
|
4046b4769d
|
Update README.md
|
2020-09-23 17:16:58 +08:00 |
|
Donald Sebastian Leung
|
0cc229e9d6
|
Add README and LICENSE
|
2020-09-23 17:14:27 +08:00 |
|
Donald Sebastian Leung
|
130ef76d83
|
Add initial README
|
2020-09-23 17:10:41 +08:00 |