 Donald Sebastian Leung
|
5a78e7aba0
|
Fix copyright holder in license
|
2020-08-03 12:19:14 +08:00 |
|
Donald Sebastian Leung
|
65576d0e70
|
Add rvfi_unique_check
|
2020-07-29 17:05:34 +08:00 |
|
Donald Sebastian Leung
|
b6f72ce7c9
|
Add rvfi_reg_check
|
2020-07-29 16:47:36 +08:00 |
|
Donald Sebastian Leung
|
d24d466e72
|
Add rvfi_pc_fwd_check
|
2020-07-29 13:43:50 +08:00 |
|
Donald Sebastian Leung
|
e0bc557d49
|
Add rvfi_pc_bwd_check
|
2020-07-29 13:35:21 +08:00 |
|
Donald Sebastian Leung
|
226b225324
|
Add rvfi_liveness_check
|
2020-07-29 13:18:23 +08:00 |
|
Donald Sebastian Leung
|
0aaf7e8d03
|
Resolve import issue in rvfi_insn_check.py for now
|
2020-07-29 12:55:36 +08:00 |
|
Donald Sebastian Leung
|
0c971e96ce
|
Update rvfi_insn_check.py
|
2020-07-28 17:55:30 +08:00 |
|
Donald Sebastian Leung
|
032e4c254d
|
Create template for RVFI instruction check
|
2020-07-28 14:25:14 +08:00 |
|
Donald Sebastian Leung
|
bae6fb38bd
|
Add rvfi_imem_check
|
2020-07-28 14:21:51 +08:00 |
|
Donald Sebastian Leung
|
9908c603fe
|
Add rvfi_ill_check
|
2020-07-28 14:04:13 +08:00 |
|
Donald Sebastian Leung
|
26a0af8517
|
Add rvfi_hang_check
|
2020-07-28 13:42:38 +08:00 |
|
Donald Sebastian Leung
|
0ae0e9c356
|
Add rvfi_dmem_check
|
2020-07-27 15:31:46 +08:00 |
|
Donald Sebastian Leung
|
4ba5262165
|
Add rvfi_channel check
|
2020-07-27 14:37:10 +08:00 |
|
Donald Sebastian Leung
|
8cb5110199
|
Add check for causality
|
2020-07-27 14:16:42 +08:00 |
|
Donald Sebastian Leung
|
2421f1f6b6
|
Add RV32IM ISA
|
2020-07-24 13:51:04 +08:00 |
|
Donald Sebastian Leung
|
5bce84836c
|
Add REMU instruction for RV32M
|
2020-07-24 13:32:43 +08:00 |
|
Donald Sebastian Leung
|
4600eaeb74
|
Add REM instruction for RV32M
|
2020-07-24 13:30:06 +08:00 |
|
Donald Sebastian Leung
|
7f3f88cb69
|
Add DIVU instruction for RV32M
|
2020-07-24 13:27:48 +08:00 |
|
Donald Sebastian Leung
|
2b198303c6
|
Add DIV instruction for RV32M
|
2020-07-24 13:25:17 +08:00 |
|
Donald Sebastian Leung
|
f13208455d
|
Add MULHU instruction for RV32M
|
2020-07-24 13:22:41 +08:00 |
|
Donald Sebastian Leung
|
7a61919a88
|
Add MULHSU instruction for RV32M
|
2020-07-24 13:20:05 +08:00 |
|
Donald Sebastian Leung
|
9b4f6ac359
|
Add MULH instruction for RV32M
|
2020-07-24 13:16:47 +08:00 |
|
Donald Sebastian Leung
|
c72205d433
|
Modify MUL instruction to use alternative operations
|
2020-07-24 13:13:03 +08:00 |
|
Donald Sebastian Leung
|
dec39cb11d
|
Re-add MUL instruction
|
2020-07-24 12:55:11 +08:00 |
|
Donald Sebastian Leung
|
f33d229b2c
|
Fix XOR instruction
|
2020-07-24 12:49:33 +08:00 |
|
Donald Sebastian Leung
|
d54269d3f0
|
Fix SUB instruction
|
2020-07-24 12:48:08 +08:00 |
|
Donald Sebastian Leung
|
fe2ff5150a
|
Fix SRL instruction
|
2020-07-24 12:46:24 +08:00 |
|
Donald Sebastian Leung
|
6d35ecdc80
|
Fix SRA instruction
|
2020-07-24 12:44:44 +08:00 |
|
Donald Sebastian Leung
|
3c1510ebbc
|
Fix SLT instruction
|
2020-07-24 12:42:27 +08:00 |
|
Donald Sebastian Leung
|
18e43d9689
|
Fix SLL instruction
|
2020-07-24 12:40:28 +08:00 |
|
Donald Sebastian Leung
|
d59ebda628
|
Fix OR instruction
|
2020-07-24 12:32:59 +08:00 |
|
Donald Sebastian Leung
|
3028246b73
|
Fix AND instruction
|
2020-07-24 12:24:43 +08:00 |
|
Donald Sebastian Leung
|
eedfc843f7
|
Fix ADD instruction
|
2020-07-24 12:21:07 +08:00 |
|
Donald Sebastian Leung
|
73005eb3c3
|
Revert MUL instruction
|
2020-07-24 12:17:02 +08:00 |
|
Donald Sebastian Leung
|
14c87fdde2
|
Add MUL instruction for RV32M
|
2020-07-24 12:13:40 +08:00 |
|
Donald Sebastian Leung
|
35a53071aa
|
Complete generator for RV32I ISA
|
2020-07-23 14:33:25 +08:00 |
|
Donald Sebastian Leung
|
2e7cc106aa
|
Add missing return in ports in RV32I ISA
|
2020-07-23 12:57:32 +08:00 |
|
Donald Sebastian Leung
|
badd480a45
|
Prepare generator script for RV32I ISA
|
2020-07-23 12:42:59 +08:00 |
|
Donald Sebastian Leung
|
d54a60879d
|
Add list of supported instructions for RV32I
|
2020-07-23 11:18:41 +08:00 |
|
Donald Sebastian Leung
|
41f01f22a8
|
Update README.md
|
2020-07-22 16:44:46 +08:00 |
|
Donald Sebastian Leung
|
61393b9a4f
|
Add AND instruction for RV32I
|
2020-07-22 16:39:08 +08:00 |
|
Donald Sebastian Leung
|
93978ccdb4
|
Add OR instruction for RV32I
|
2020-07-22 16:36:40 +08:00 |
|
Donald Sebastian Leung
|
4eae7064fb
|
Add SRA instruction for RV32I
|
2020-07-22 16:32:51 +08:00 |
|
Donald Sebastian Leung
|
ada2a09818
|
Add SRL instruction for RV32I
|
2020-07-22 16:16:27 +08:00 |
|
Donald Sebastian Leung
|
192aec2347
|
Add XOR instruction for RV32I
|
2020-07-22 16:11:58 +08:00 |
|
Donald Sebastian Leung
|
c6c18765f5
|
Add SLTU instruction for RV32I
|
2020-07-22 16:08:09 +08:00 |
|
Donald Sebastian Leung
|
adcf7dc4ab
|
Add SLT instruction for RV32I
|
2020-07-22 16:04:47 +08:00 |
|
Donald Sebastian Leung
|
728e24b0df
|
Add SLL instruction for RV32I
|
2020-07-22 16:00:46 +08:00 |
|
Donald Sebastian Leung
|
6940574d73
|
Add SUB instruction for RV32I
|
2020-07-22 15:55:44 +08:00 |