projects
/
soc.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
soc.git
2020-05-22
Michael Nolan
Add formal proof for branch unit, fix bug with bcreg
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
cleanup logical pipe formal proof
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
split out Logical Input and Output stages to common...
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
div probably uses ALU not Logical, needs double-checkin...
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
update comments for ALUCompUnit
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
soc.fu.logical.input_stage no different from ALU: delete
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
covert ALU FU to CommonInputStage
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
create common input pipe spec to avoid code-duplication
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
move CR over to CompCROpSubset
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Convert branch unit to new CR interface
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Complete CR proof
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
increase fu-fu test matrix size
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
remove unneeded code
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
rename ShiftRot to Mul in fu mul test
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
rename Logical to Div in fu div test
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
cookie-cut start on div pipe
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
add cookie-cut mul pipeline template
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
whitespace
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
over 80 chars
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
comment tidyup
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
use CompBROpSubset and reduce it down in size (remove...
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
code-shuffle
commit
|
commitdiff
|
tree
2020-05-22
Luke Kenneth...
remove accidentally added branch input stage
commit
|
commitdiff
|
tree
2020-05-22
Tobias Platen
fix ModuleNotFoundError
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add fu logical_input_record.py
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
update CROutputData to use Data()
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
update comments
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
whitespace cleanup
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
whitespace cleanup
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
remove input_cr, output_cr and is_32bit from CompCROpSubset
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add read_cr_whole and write_cr_whole to CompCROpSubset
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add first cut at cr_input_record.py
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
move Logical over to use CompLogicalOpSubset
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Partial attempt at proving the new cr unit.
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
argh syntax error
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
update and comment CR Input/Output Data specs
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
All CR tests now working
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add CR out decoder debug
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
OP_CROP now working
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Begin porting cr pipeline to new interface
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add third cr register select field to decoder
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
comment CompALUOpSubset, data_len is actually used...
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
comment DecodeCRIn and DecodeCROut, gratuitously
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
document subkls in CompUnitRecord
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
ARSE! frickin git submodules!
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
move CompLDSTOpSubset to fu.ldst.ldst_input_record
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Fix broken unit tests in test_caller
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add cr output decoder to power_decoder2.py
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add CR In decoder to power_decoder2.py
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Convert CR out to enum in power_decoder
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version - convert CR out to enum
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Convert CR In field to enum instead of single bit
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add zero_a flag to CompALUOpSubset
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add zero_a flag to Decode2ExecuteType
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Fix broken test_adde/add overflow handling to caller.py
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
whitespace/shuffle
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
move common functionality between PipeSpecs to soc...
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
move FU IntegerData to directory below
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
branch output spec nia not cia
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add dedicated TrapPipeSpec
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
create and use ShiftRotPipeSpec
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
convert to individual PipeSpecs for each pipeline
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
add regspec to ALUPipeSpec
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
use branch-specific data structures, add "regspecs...
commit
|
commitdiff
|
tree
2020-05-21
Luke Kenneth...
code-morph LDSTCompUnit to use RecordObject structure...
commit
|
commitdiff
|
tree
2020-05-21
Cesar Strauss
Fixed typo and left-over from refactoring
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_MCRF
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_MFCR
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Make test for bpermd exercise the module a bit more
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Revert "*technically* don't use a full crossbar"
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
add link to bugreport in CR pipe formal test
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
*technically* don't use a full crossbar
commit
|
commitdiff
|
tree
2020-05-20
colepoirier
Added OP_BPERMD to fu/logical pipeline, with test
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Revert "assign index to temporary"
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CROP
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
go back to not using LUT in CR pipe
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
assign index to temporary
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
store CR lut result in temporary
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Begin adding CR proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix small bug in op_crop
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
add register specs to pipeline in/out so that they...
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
damn. assigning to temporary signals may turn out...
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
ehn? moo? CR test_pipe_caller locks up 100% CPU on...
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
correct XER variable names
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
correct import on shift_rot maskgen
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Use overflow definition from microwatt
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add overflow handling and proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix bug introduced in rebase
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
fixup XER names in shift_rot pipe tests
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
formal proof rename on XER flags
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
update to new names for XER fields
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
normalise XER regs carry/32 and SO
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CNTZ
commit
|
commitdiff
|
tree
2020-05-20
Luke Kenneth...
add cross-reference to bugtracker and wiki
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add test for edge cases that were previously buggy
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Delete assume left over from testing
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_PRTY
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Formally verify OP_POPCNT
commit
|
commitdiff
|
tree
next