dsleung

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-18 10:49:10 +08:00

e82a82538b Add simulation for CRI write command(?)

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-11 16:40:40 +08:00

dfba0de5c0 Remove redundant NOTES.md

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-11 13:59:48 +08:00

1d5ee12431 Measure completion time for each unbounded proof

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-10 17:12:58 +08:00

d5a83a65c8 Amend assertion; add unbounded proof for 8 lanes

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-10 13:00:27 +08:00

7b87d8012c Add unbounded proof for 2 lanes

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-10 12:53:48 +08:00

96e7a79502 Remove assertions involving invalid inputs

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-09 11:47:56 +08:00

2d801d1aef Add unbounded proof for output network with 4 lanes

dsleung deleted branch feature/modularize-assertions from M-Labs/rtio-nmigen

2020-11-05 16:39:09 +08:00

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-05 16:39:05 +08:00

25715683ab Merge pull request 'feature/modularize-assertions' (#1) from feature/modularize-assertions into master

8b2351d9a7 Add and verify new assertions for sorting network with BMC

7875c1dcd5 Propose new assertions for sorting network (to be implemented)

ffc74fbb85 Remove assertions from within sorting network itself

Compare 4 commits »

dsleung pushed to feature/modularize-assertions at M-Labs/rtio-nmigen

2020-11-05 16:35:01 +08:00

8b2351d9a7 Add and verify new assertions for sorting network with BMC

dsleung pushed to feature/modularize-assertions at M-Labs/rtio-nmigen

2020-11-05 11:35:07 +08:00

7875c1dcd5 Propose new assertions for sorting network (to be implemented)

dsleung pushed to feature/modularize-assertions at M-Labs/rtio-nmigen

2020-11-04 12:28:13 +08:00

ffc74fbb85 Remove assertions from within sorting network itself

dsleung pushed to feature/modularize-assertions at M-Labs/rtio-nmigen

2020-11-03 17:09:34 +08:00

dsleung pushed to master at M-Labs/rtio-nmigen

2020-11-03 17:08:03 +08:00

16e9b62b54 Change wording on unique (input) channel numbers in rtio.sed.output_network

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-29 13:33:04 +08:00

06f619013c Update README with next objective

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 13:45:47 +08:00

f6fda8ac4a Update rtio.sed.output_driver

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 13:39:25 +08:00

160ac76ee7 Fix typo in rtio.sed.output_driver

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 13:33:48 +08:00

c04d21aa31 Restructure rtio.sed.output_driver to follow nMigen convention

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 12:17:50 +08:00

d3b63098cb Remove rtio.rtlink from verification/restructuring TODO list

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 12:14:55 +08:00

32641851b7 Restructure rtio.cri to follow nMigen convention