 Donald Sebastian Leung
|
dfba0de5c0
|
Remove redundant NOTES.md
|
2020-11-11 16:40:27 +08:00 |
|
Donald Sebastian Leung
|
1d5ee12431
|
Measure completion time for each unbounded proof
|
2020-11-11 13:59:40 +08:00 |
|
Donald Sebastian Leung
|
d5a83a65c8
|
Amend assertion; add unbounded proof for 8 lanes
|
2020-11-10 17:12:49 +08:00 |
|
Donald Sebastian Leung
|
7b87d8012c
|
Add unbounded proof for 2 lanes
|
2020-11-10 13:00:18 +08:00 |
|
Donald Sebastian Leung
|
96e7a79502
|
Remove assertions involving invalid inputs
|
2020-11-10 12:53:30 +08:00 |
|
Donald Sebastian Leung
|
2d801d1aef
|
Add unbounded proof for output network with 4 lanes
|
2020-11-09 11:47:47 +08:00 |
|
dsleung
|
25715683ab
|
Merge pull request 'feature/modularize-assertions' (#1) from feature/modularize-assertions into master
|
2020-11-05 16:39:05 +08:00 |
|
Donald Sebastian Leung
|
8b2351d9a7
|
Add and verify new assertions for sorting network with BMC
|
2020-11-05 16:34:53 +08:00 |
|
Donald Sebastian Leung
|
7875c1dcd5
|
Propose new assertions for sorting network (to be implemented)
|
2020-11-05 11:35:00 +08:00 |
|
Donald Sebastian Leung
|
ffc74fbb85
|
Remove assertions from within sorting network itself
|
2020-11-04 12:28:05 +08:00 |
|
Donald Sebastian Leung
|
16e9b62b54
|
Change wording on unique (input) channel numbers in rtio.sed.output_network
|
2020-11-03 17:07:55 +08:00 |
|
Donald Sebastian Leung
|
06f619013c
|
Update README with next objective
|
2020-10-29 13:32:54 +08:00 |
|
Donald Sebastian Leung
|
f6fda8ac4a
|
Update rtio.sed.output_driver
|
2020-10-27 13:45:40 +08:00 |
|
Donald Sebastian Leung
|
160ac76ee7
|
Fix typo in rtio.sed.output_driver
|
2020-10-27 13:39:19 +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
|
f3fa369940
|
Fix grammatical error
|
2020-10-23 15:47:00 +08:00 |
|
Donald Sebastian Leung
|
b391f0e413
|
Remove dependence on custom version of nMigen
|
2020-10-23 15:02:11 +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
|
01026026fa
|
Refine assertions for case with replacements in sorting network
|
2020-10-23 10:31:56 +08:00 |
|
Donald Sebastian Leung
|
25a8a741bb
|
Refine assertions for case with replacements in sorting network
|
2020-10-22 13:32:12 +08:00 |
|
Donald Sebastian Leung
|
40930878a2
|
Add assertions for case with replacements
|
2020-10-22 12:53:55 +08:00 |
|
Donald Sebastian Leung
|
04640794b9
|
Add breakdown of cmp_wrap() for reference
|
2020-10-22 11:27:08 +08:00 |
|
Donald Sebastian Leung
|
1766fbeca9
|
Prepare rtio.sed.output_network for assertions on replacements
|
2020-10-22 10:56:59 +08:00 |
|
Donald Sebastian Leung
|
c8775cba44
|
Remove outdated failing trace
|
2020-10-21 14:49:02 +08:00 |
|
Donald Sebastian Leung
|
96d470921b
|
Fix assertions for no replacements case
|
2020-10-21 14:03:35 +08:00 |
|
Donald Sebastian Leung
|
b7a69557de
|
Add assertion for no replacements given unique inputs
|
2020-10-21 13:09:54 +08:00 |
|
Donald Sebastian Leung
|
67130ed79e
|
Add uniqueness assertion for case with no replacements
|
2020-10-21 12:40:16 +08:00 |
|
Donald Sebastian Leung
|
d8c40ce382
|
Add failing trace and trace analysis
|
2020-10-20 13:05:38 +08:00 |
|
Donald Sebastian Leung
|
b9481cecf5
|
Reduce lane count to 4 for easier debugging
|
2020-10-20 11:40:19 +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
|
8fe67cf6f4
|
Skip assertions for configurable no. of clock cycles
|
2020-10-19 12:39:32 +08:00 |
|
Donald Sebastian Leung
|
5011245007
|
Increase BMC depth for sorting network assertions
|
2020-10-16 13:41:38 +08:00 |
|
Donald Sebastian Leung
|
036c91539b
|
Start preparing assertions for sorting network
|
2020-10-16 12:18:09 +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
|
7db66ee9a0
|
Update shell.nix
|
2020-10-08 13:52:35 +08:00 |
|
Donald Sebastian Leung
|
c2ee2fbdef
|
Add rtio.sed.layouts
|
2020-10-08 11:06:35 +08:00 |
|
Donald Sebastian Leung
|
fd1b469322
|
Remove redundant (object) in rtio.rtlink
|
2020-10-08 09:34:29 +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 |