projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add memory loads and stores to simulator
[soc.git]
/
src
/
soc
/
2020-03-23
Michael Nolan
Add memory loads and stores to simulator
tree
|
commitdiff
2020-03-23
Michael Nolan
Begin adding backend simulator
tree
|
commitdiff
2020-03-23
Michael Nolan
Move gnu assembler interface to separate file
tree
|
commitdiff
2020-03-23
Luke Kenneth Casso...
split sim classes out into separate module
tree
|
commitdiff
2020-03-23
Luke Kenneth Casso...
add twin partial address mapper class
tree
|
commitdiff
2020-03-23
Luke Kenneth Casso...
sort out unit test for address split
tree
|
commitdiff
2020-03-22
Luke Kenneth Casso...
get AddrSplitter working for data len=8
tree
|
commitdiff
2020-03-22
Luke Kenneth Casso...
working on simulation to test Address Splitter
tree
|
commitdiff
2020-03-22
Luke Kenneth Casso...
link up output from ld1/ld2 and merge into request
tree
|
commitdiff
2020-03-22
Luke Kenneth Casso...
start putting LDSTSplitter together
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
set bigendian=1 in formal proofs of decoder (TODO:...
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
whoops cut/paste error
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
start on address splitter, idea is to use Queues
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
mention instruction fetch mapping section
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
shorten variables, add comments
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
add option to switch endianness on gnu as
tree
|
commitdiff
2020-03-21
Luke Kenneth Casso...
add big/little byte-reversing
tree
|
commitdiff
2020-03-20
Michael Nolan
Fix proof_decoder2
tree
|
commitdiff
2020-03-20
Michael Nolan
Delete log messages in power_fields and power_fieldsn
tree
|
commitdiff
2020-03-20
Michael Nolan
Minor cleanup
tree
|
commitdiff
2020-03-20
Michael Nolan
Add test for branch to lr/ctr
tree
|
commitdiff
2020-03-20
Michael Nolan
Add tests for branch instructions
tree
|
commitdiff
2020-03-20
Michael Nolan
Add test for rotate/shift instructions
tree
|
commitdiff
2020-03-20
Michael Nolan
Remove unneeded condition register decoder
tree
|
commitdiff
2020-03-19
Michael Nolan
Add test for cmp with register
tree
|
commitdiff
2020-03-19
Michael Nolan
Add tests for load/store with immediate offset
tree
|
commitdiff
2020-03-19
Michael Nolan
Add ld and st instructions to the reg/reg test
tree
|
commitdiff
2020-03-19
Michael Nolan
Add checks for the decoding of RC (the . in some instru...
tree
|
commitdiff
2020-03-19
Michael Nolan
Add tests for register+immediate ops
tree
|
commitdiff
2020-03-19
Michael Nolan
Factor out instruction generation and testing from...
tree
|
commitdiff
2020-03-19
Michael Nolan
Cleanup test_decoder_gas.py
tree
|
commitdiff
2020-03-19
Michael Nolan
Add assertions for input registers
tree
|
commitdiff
2020-03-19
Luke Kenneth Casso...
fix silly errors in power_fieldsn.py
tree
|
commitdiff
2020-03-19
Luke Kenneth Casso...
invert bits of field in decoder (not instruction bits)
tree
|
commitdiff
2020-03-18
Michael Nolan
Begin adding a test using GNU AS
tree
|
commitdiff
2020-03-18
Michael Nolan
Add proof that all other opcodes decode to INVALID
tree
|
commitdiff
2020-03-18
Michael Nolan
Fix bug where enum values weren't getting set to int
tree
|
commitdiff
2020-03-18
Luke Kenneth Casso...
use function which reverses bit-order
tree
|
commitdiff
2020-03-18
Luke Kenneth Casso...
comment reverse-order of bit-fields
tree
|
commitdiff
2020-03-18
Luke Kenneth Casso...
done, bugs.libre-riscv.org/show_bug.cgi?id=261
tree
|
commitdiff
2020-03-18
Michael Nolan
Create SPR enum from sprs.csv
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-18
Luke Kenneth Casso...
add comment about SPRs CSV
tree
|
commitdiff
2020-03-18
Luke Kenneth Casso...
add comments
tree
|
commitdiff
2020-03-18
Luke Kenneth Casso...
import absolute paths
tree
|
commitdiff
2020-03-16
Luke Kenneth Casso...
clarify is_match manually
tree
|
commitdiff
2020-03-16
Luke Kenneth Casso...
add exploratory unit test for partial address matching
tree
|
commitdiff
2020-03-16
Luke Kenneth Casso...
comment out addr_we_i, seems not to be used
tree
|
commitdiff
2020-03-16
Luke Kenneth Casso...
connect up expander output, set up is_match to check...
tree
|
commitdiff
2020-03-16
Luke Kenneth Casso...
connect LenExpanders into PartialAddrBitmap
tree
|
commitdiff
2020-03-15
Luke Kenneth Casso...
crossreference to bugreport
tree
|
commitdiff
2020-03-15
Luke Kenneth Casso...
add description of how PartialAddrBitmap works
tree
|
commitdiff
2020-03-15
Luke Kenneth Casso...
add beginnings of link to lenexpanders
tree
|
commitdiff
2020-03-14
Luke Kenneth Casso...
add a LenExpand class which takes a (length, addr)...
tree
|
commitdiff
2020-03-14
Luke Kenneth Casso...
add beginnings of PartialAddrBitmap elaborate
tree
|
commitdiff
2020-03-13
Luke Kenneth Casso...
allow over-ride of address match function in PartialAdd...
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
fix more imports
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
fix more imports
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
enable rvfi, fix imports
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
destarify debug
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcardify units
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcardify unitsg
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
sort out imports to get minerva generate working
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcard core.py
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcard cache.py
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcard stage.py
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
dewildcard wishbone.py
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
replace isa import
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
de-starify csr.py
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
import minerva from soc.minerva
tree
|
commitdiff
2020-03-11
Luke Kenneth Casso...
add minerva source from https://github.com/lambdaconcep...
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-11
Luke Kenneth Casso...
store ra in intermediate, to avoid creation of decoding...
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
add "done" signal to CompALU and LDSTCompALU to be...
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
initial test LD comp unit in scoreboard
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
hmmm set store latch based on go_rd_i
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
add ADD/ADDI test to LDSTCompUnit
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
amazingly got LD working on LDSTCompUnit
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
comments explaining what alu_hier.py does
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
LD appears to be working as well although there is...
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
whoops as simple as having inverted the LD/ST bit in...
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-10
Luke Kenneth Casso...
hmm not quite right, errr ST is working when setting...
tree
|
commitdiff
2020-03-10
Luke Kenneth Casso...
get LDSTCompALU debugged a bit: ST functionality working
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
add comment on oper_i field
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
disable transparent=False for now
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
connect up LD to memory: set transparent mode to False.
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
more comments for LDSTCompUnit
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
update LDSTCompUnit comments
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
try adding test memory store to LDSTCompUnit
tree
|
commitdiff
2020-03-09
Michael Nolan
Fix logical loop in DecodeA
tree
|
commitdiff
2020-03-09
Michael Nolan
Begin adding proof for decoder2
tree
|
commitdiff
2020-03-09
Michael Nolan
Migrate imports to use absolute imports
tree
|
commitdiff
2020-03-09
Michael Nolan
Fix test
tree
|
commitdiff
2020-03-09
Luke Kenneth Casso...
sort imports on scoreboard
tree
|
commitdiff
next