 Donald Sebastian Leung
|
978a620cc6
|
Limit no. of parallel processes to prevent thrashing
|
2020-09-21 13:45:36 +08:00 |
|
Donald Sebastian Leung
|
c1a4617d74
|
Use m-labs nmigen repo
|
2020-09-21 11:30:48 +08:00 |
|
Donald Sebastian Leung
|
425bc49784
|
Parallelize all verification tasks for Minerva
|
2020-09-18 15:59:59 +08:00 |
|
Donald Sebastian Leung
|
b0a914b48e
|
Parallelize instruction verification tasks
|
2020-09-18 13:23:17 +08:00 |
|
Donald Sebastian Leung
|
283d8531e0
|
Update README
|
2020-09-17 17:06:55 +08:00 |
|
Donald Sebastian Leung
|
32388adce0
|
Make liveness checks pass
|
2020-09-17 13:22:52 +08:00 |
|
Donald Sebastian Leung
|
b38f19411a
|
Make uniqueness checks pass
|
2020-09-17 13:08:04 +08:00 |
|
Donald Sebastian Leung
|
e50d35ead5
|
Remove "Known issues" section in README
|
2020-09-16 17:12:40 +08:00 |
|
Donald Sebastian Leung
|
a6b072efcf
|
Fix parser error: invalid slice for memory-related instruction checks
|
2020-09-16 12:30:14 +08:00 |
|
Donald Sebastian Leung
|
e3b124f4eb
|
Fix minor bug in SRL instruction specification
|
2020-09-15 16:35:05 +08:00 |
|
Donald Sebastian Leung
|
c4daa89a88
|
Fix minor bug in JAL instruction specification
|
2020-09-15 16:12:34 +08:00 |
|
Donald Sebastian Leung
|
0f4a2a76bd
|
Tweak parameters for Minerva verification tasks
|
2020-09-15 15:44:02 +08:00 |
|
Donald Sebastian Leung
|
d84852e368
|
Replace unconditional pass and OOM issue with assertion failure
|
2020-09-07 12:32:14 +08:00 |
|
Donald Sebastian Leung
|
b3acff2bf3
|
Update README.md
|
2020-08-28 12:30:39 +08:00 |
|
Donald Sebastian Leung
|
3030839c42
|
Update README.md
|
2020-08-25 13:38:31 +08:00 |
|
Donald Sebastian Leung
|
d1d93a6b6a
|
Update README.md
|
2020-08-25 13:17:16 +08:00 |
|
Donald Sebastian Leung
|
83e65e50c5
|
Fix broken README
|
2020-08-25 12:43:13 +08:00 |
|
Donald Sebastian Leung
|
ca9e9c9ca6
|
Add prototype for instruction/data bus implementation
|
2020-08-25 12:41:30 +08:00 |
|
Donald Sebastian Leung
|
607d82f27c
|
Add "Known Issues" section to README
|
2020-08-21 16:58:33 +08:00 |
|
Donald Sebastian Leung
|
63fbc10b11
|
Update README.md
|
2020-08-21 11:53:20 +08:00 |
|
Donald Sebastian Leung
|
c6b9bb9a04
|
Update README.md
|
2020-08-21 11:46:39 +08:00 |
|
Donald Sebastian Leung
|
1a38b37473
|
Remove copy of Minerva
|
2020-08-20 15:32:10 +08:00 |
|
Donald Sebastian Leung
|
b9e4279ffe
|
Replace nMigen copy with shell.nix config file
|
2020-08-20 12:52:06 +08:00 |
|
Donald Sebastian Leung
|
f7ddbf8cd8
|
Fix broken markdown in README.md
|
2020-08-19 14:58:00 +08:00 |
|
Donald Sebastian Leung
|
c073411bd2
|
Add tests for all RV32I instructions
|
2020-08-19 14:56:26 +08:00 |
|
Donald Sebastian Leung
|
3faa8ed1b8
|
Add build instructions for Minerva
|
2020-08-17 16:46:15 +08:00 |
|
Donald Sebastian Leung
|
d749b297cf
|
Update README.md
|
2020-08-17 12:05:39 +08:00 |
|
Donald Sebastian Leung
|
1982668829
|
Add Minerva core, to be integrated later
|
2020-08-13 17:38:04 +08:00 |
|
Donald Sebastian Leung
|
3eaed129c2
|
Begin re-organization of project structure
|
2020-08-06 12:36:01 +08:00 |
|
Donald Sebastian Leung
|
7c60451bfa
|
Add README for instructions
|
2020-08-05 12:54:46 +08:00 |
|
Donald Sebastian Leung
|
41f01f22a8
|
Update README.md
|
2020-07-22 16:44:46 +08:00 |
|
Donald Sebastian Leung
|
395f29cf93
|
Mention expected scope of project in README
|
2020-07-21 17:55:28 +08:00 |
|
Donald Sebastian Leung
|
10563f5de9
|
Add LUI instruction for RV32I
|
2020-07-21 16:13:52 +08:00 |
|
Donald Sebastian Leung
|
43f6897e2e
|
Copy license from source
|
2020-07-14 10:42:06 +08:00 |
|
dsleung
|
ac668bf4a0
|
Initial commit
|
2020-07-14 10:30:37 +08:00 |