dsleung

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 16:07:54 +08:00

e24ddd4269 Fix LUI instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 15:53:48 +08:00

9974db7e7b Refactor BGEU instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 15:50:03 +08:00

331cfda279 Refactor BLTU instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 15:46:25 +08:00

847099e4de Refactor BGE instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 15:42:20 +08:00

583d165ec1 Refactor BLT instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 14:14:32 +08:00

31f6847640 Refactor BNE instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 14:10:55 +08:00

3d1bb14bae Refactor BEQ instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 14:04:10 +08:00

4a695c950d Add SB-type instruction format

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 13:56:40 +08:00

f4f5e94843 Refactor JALR instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 13:48:10 +08:00

e6c6f0462e Add I-type instruction format

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 13:35:08 +08:00

7846ba95ac Refactor JAL instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 13:15:27 +08:00

a84b6d50b8 Add UJ-type instruction format

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 13:01:21 +08:00

3dc2a174fd Refactor AUIPC instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 12:56:06 +08:00

927c12e97c Refactor LUI instruction

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 12:45:42 +08:00

34c8b6cf3d Create U-type instruction format

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 12:07:02 +08:00

c9c47ddc35 Create general instruction class

dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen

2020-07-30 11:45:57 +08:00

dsleung pushed to master at M-Labs/riscv-formal-nmigen

2020-07-29 17:05:43 +08:00

65576d0e70 Add rvfi_unique_check

dsleung pushed to master at M-Labs/riscv-formal-nmigen

2020-07-29 16:47:45 +08:00

b6f72ce7c9 Add rvfi_reg_check

dsleung pushed to master at M-Labs/riscv-formal-nmigen

2020-07-29 13:44:11 +08:00

d24d466e72 Add rvfi_pc_fwd_check