dsleung

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

2020-08-25 12:41:39 +08:00

ca9e9c9ca6 Add prototype for instruction/data bus implementation

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

2020-08-25 10:12:11 +08:00

ac7991ae86 Merge instruction and data bus abstractions

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

2020-08-24 14:47:02 +08:00

ca135d024f Wire instruction and data buses (WIP) to Minerva core

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

2020-08-24 13:28:46 +08:00

2a4f6dd07e Wire interrupt signals to Minerva for verification

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

2020-08-24 10:20:44 +08:00

ee80bff3db Merge riscv_formal_parameters.py into verify.py

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

2020-08-21 16:58:43 +08:00

607d82f27c Add "Known Issues" section to README

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

2020-08-21 15:14:52 +08:00

dad6022572 Replace individual instruction checks with ISA check

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

2020-08-21 13:26:02 +08:00

908ecf9e7e Add uniqueness check

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

2020-08-21 12:55:02 +08:00

a7b6b7a169 Add liveness check

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

2020-08-21 11:53:31 +08:00

63fbc10b11 Update README.md

dsleung deleted branch refactoring from M-Labs/riscv-formal-nmigen

2020-08-21 11:48:17 +08:00

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

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

9e530bc729 Merge pull request 'Apply more PEP 8 guidelines, remove hacks and reduce code duplication' (#3) from refactoring into master

c6b9bb9a04 Update README.md

d7d4f8b0ad Reduce code duplication in Minerva verification script

de3ff25da1 Refactor insns directory

3e527b3727 Refactor instructions to use NamedTuple

Compare 5 commits »

dsleung merged pull request M-Labs/riscv-formal-nmigen#3

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

Apply more PEP 8 guidelines, remove hacks and reduce code duplication

dsleung created pull request M-Labs/riscv-formal-nmigen#3

2020-08-21 11:48:09 +08:00

Apply more PEP 8 guidelines, remove hacks and reduce code duplication

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

2020-08-21 11:46:52 +08:00

c6b9bb9a04 Update README.md

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

2020-08-21 11:43:32 +08:00

d7d4f8b0ad Reduce code duplication in Minerva verification script

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

2020-08-21 10:33:16 +08:00

de3ff25da1 Refactor insns directory

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

2020-08-20 17:28:30 +08:00

3e527b3727 Refactor instructions to use NamedTuple

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

2020-08-20 16:05:25 +08:00

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

2020-08-20 15:32:21 +08:00

1a38b37473 Remove copy of Minerva