Commit Graph

70 Commits

Author SHA1 Message Date
Donald Sebastian Leung e82a82538b Add simulation for CRI write command(?) 2020-11-18 10:49:03 +08:00
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