projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
actually no need to mux in the svp64_rm, just the id "is this svp64" is enough
[soc.git]
/
src
/
soc
/
decoder
/
formal
/
2020-08-24
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-22
Luke Kenneth Casso...
rename invert_a to invert_in because logical inverts RB
tree
|
commitdiff
2020-07-29
Jacob Lifshay
add __init__.py to all source directories
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
tree
|
commitdiff
2020-07-08
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-07-04
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
tree
|
commitdiff
2020-03-30
Michael Nolan
Fix tests broken by df295b5
tree
|
commitdiff
2020-03-29
Michael Nolan
Update proof_decoder2 to handle signed immediates
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
set bigendian=1 in formal proofs of decoder (TODO:...
tree
|
commitdiff
2020-03-20
Michael Nolan
Fix proof_decoder2
tree
|
commitdiff
2020-03-18
Michael Nolan
Add proof that all other opcodes decode to INVALID
tree
|
commitdiff
2020-03-18
Michael Nolan
Add more to decoder proof
tree
|
commitdiff
2020-03-18
Michael Nolan
Begin adding proof for decoder stage 1
tree
|
commitdiff
2020-03-11
Michael Nolan
Add assertions that instruction fields are correct
tree
|
commitdiff
2020-03-11
Michael Nolan
Add test for remaining bits
tree
|
commitdiff
2020-03-11
Michael Nolan
Add tests for DecodeOut and DecodeRC
tree
|
commitdiff
2020-03-10
Michael Nolan
Add cases for DecodeB and DecodeC
tree
|
commitdiff
2020-03-10
Michael Nolan
Refactor DecodeA test
tree
|
commitdiff
2020-03-10
Michael Nolan
Add proof for power_decoder2.DecodeA
tree
|
commitdiff
2020-03-09
Michael Nolan
Begin adding proof for decoder2
tree
|
commitdiff