projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
remove commented-out vars from ALU input record
[soc.git]
/
src
/
2020-05-26
Luke Kenneth Casso...
try new variant of VirtualRegFile
tree
|
commitdiff
2020-05-26
Luke Kenneth Casso...
use nmutil treereduce
tree
|
commitdiff
2020-05-26
Luke Kenneth Casso...
continue virtual regfile port
tree
|
commitdiff
2020-05-26
Luke Kenneth Casso...
whitespace, add commentary
tree
|
commitdiff
2020-05-26
colepoirier
First attempt at implementing block access rd and wr...
tree
|
commitdiff
2020-05-25
Cesar Strauss
Check that busy_o doesn't rise on its own
tree
|
commitdiff
2020-05-25
Cesar Strauss
Implement the issue_i/busy_o protocol check.
tree
|
commitdiff
2020-05-25
Cesar Strauss
Move process list to CompUnitParallelTest
tree
|
commitdiff
2020-05-25
Michael Nolan
Correct polarity of shadow signal
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
document shadown inversion
tree
|
commitdiff
2020-05-25
Michael Nolan
Add link to compunit wiki page
tree
|
commitdiff
2020-05-25
Michael Nolan
Correct property numbers, add assertions about busy
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
update comments on compalu_multi.py
tree
|
commitdiff
2020-05-25
Michael Nolan
Add assertions about go_wr and wr_rel
tree
|
commitdiff
2020-05-25
Michael Nolan
Minor cleanup of comments
tree
|
commitdiff
2020-05-25
Michael Nolan
Minor changes to alu_hier.py to allow it to be used...
tree
|
commitdiff
2020-05-25
Michael Nolan
Begin working on proof for compunit/fu
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add some more stub comments
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
yield blank so test passes
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add stubs
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add comments
tree
|
commitdiff
2020-05-25
Cesar Strauss
Fix detection of busy_o inside the monitor process
tree
|
commitdiff
2020-05-25
Cesar Strauss
Proof of concept of a parallel test
tree
|
commitdiff
2020-05-25
Tobias Platen
fix own copy/paste error
tree
|
commitdiff
2020-05-25
Tobias Platen
whitespace fix in docstring
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
correct links in regfile docstring
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
document regfiles
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
argh! frickin MACos terminal expanded out to 86x30...
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add docstring
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add INT, SPR and CR regfiles
tree
|
commitdiff
2020-05-25
Tobias Platen
refactoring (see #216 Comment 43)
tree
|
commitdiff
2020-05-25
Tobias Platen
whitespace changes
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
quick addition of zero+immed test to LDSTCompUnit
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
must not do rd-req checking when both imm and zero...
tree
|
commitdiff
2020-05-25
Tobias Platen
implement DataMerger interface
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add zero immed on LDST, untested
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
comment out invalid test
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
lots of greater than 80 chars
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
switch out req rel if immediate enabled
tree
|
commitdiff
2020-05-25
Cesar Strauss
Show oper_r and oper_i in the signal list, in simulation
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
mention zeroing
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
add links to pseudocode
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
spelling
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
spelling
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add comments for SPR pipe_data
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add SPR pipe_data.py
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
over 80 char limit
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add test of reg output, for MFCRF and ISEL
tree
|
commitdiff
2020-05-24
Cesar Strauss
Avoid overwriting the first vcd file with the second one
tree
|
commitdiff
2020-05-24
Cesar Strauss
Rename the internal DFF of latchregisters to avoid...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add gitignore for branch fu formal
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add OP_CMPB formal proof
tree
|
commitdiff
2020-05-24
Michael Nolan
Assert that ctr is only written when needed
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
split out Popcount into separate module: visually it...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
copy code for MTMSR from microwatt into comments
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add links for trap main stage
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add untested OP_MTMSR and OP_MFMSR
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add MFMSR and MTMSRD enums to Function
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
comment and add links to branch formal proof
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add copy of bpermd proof to logical formal proof (not...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
track down overwrite of variable b
tree
|
commitdiff
2020-05-24
Michael Nolan
Fix proof of bpermd module
tree
|
commitdiff
2020-05-24
Michael Nolan
Fix bpermd and make tests pass
tree
|
commitdiff
2020-05-24
Michael Nolan
Fix test_pipe_caller to conform to new Data() interface...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add stub regfiles.py
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
hmm...
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add very rapid DummyALU for test purposes in MultiCompUnit
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
comments on branch pipeline
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
convert CR pipeline to Data.ok
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
convert ALU to output Data on int reg
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
convert logical to output Data on int reg
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
start using Data in pipelines
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
cleanup/code-munge on ALU main stage proof
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
error in alu output stage formal proof setup
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
output registers need to be Data type (consistently)
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
spelling mistake in variable
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
TODO mention OP_MTMSR/OP_MFMSR
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
add RA to trap pipeline, for OP_MTMSR/OP_MFMSR
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
move docstring to wiki for compunit
tree
|
commitdiff
2020-05-23
colepoirier
Added branch and shift_rot imports to fu/compunits...
tree
|
commitdiff
2020-05-23
Cesar Strauss
Add a few test cases with zero_a set, in combination...
tree
|
commitdiff
2020-05-23
Cesar Strauss
Allow zero_a to be set when simulating an operation
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add input / output stage missing modules
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
common function for op zero and op immed
tree
|
commitdiff
2020-05-23
Cesar Strauss
Choose between RA (src1) and zero immediate, conditione...
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
update docs on compunits
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
remove extraneous test_isel
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add comments
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
document purpose of regspec module
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
split out RegSpecs into separate module
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add TODO on multi-in multi-out Function Units
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
split out RegSpec API into separate class (TODO: move...
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add notes on FunctionUnit API
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
make MultiCompUnit and testing ALU use regspec API...
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
make demo/test ALU look like nmigen pipeline API
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add stub DataMerger class
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add link to regspecs on wiki
tree
|
commitdiff
2020-05-23
Luke Kenneth Casso...
add regspec capability to MultiCompUnit
tree
|
commitdiff
2020-05-23
Michael Nolan
Modify proof of isel to use full CR register
tree
|
commitdiff
next